[Club2] Invitation: An Isabelle Formalization of the Expressive Power of Deep... @ Wed Jul 20, 2016 10:00 - 10:45 (CEST) (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: An Isabelle Formalization of the Expressive Power of Deep Learning
Speaker: Alexander Bentkamp
Type: Master's Thesis Presentation
Abstract: Deep Learning has had a profound impact on computer science in  
recent years,
with applications to search engines, image recognition and language  
processing,
bioinformatics, and more. Recently, Cohen et al. (2015) provided theoretical
evidence for the superiority of deep learning over shallow learning. In this
talk, I will present my Isabelle/HOL formalization of their proof. It  
simplifies
and generalizes the original proof, while working around the limitations of  
the
Isabelle type system. To support the formalization, I developed reusable
libraries of formalized mathematics, including results about the matrix  
rank,
the Lebesgue measure and multivariate polynomials as well as a library for
tensor analysis.
When: Wed Jul 20, 2016 10:00 – 10:45 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * julianbrunner at gmail.com - creator
     * Alexander Bentkamp
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=NWd2ZWoxdnE2YzlpMzJyOXNqMzduNjZxbGsgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbWMyMTc0MmQ1OWIyNWQ4OTNkYjc4YWEyMTUwZmU2MDdhY2I2NDkwNGU&ctz=Europe/Berlin&hl=en

Invitation from Google Calendar: https://www.google.com/calendar/

You are receiving this courtesy email at the account  
club2 at mailbroy.informatik.tu-muenchen.de because you are an attendee of  
this event.

To stop receiving future updates for this event, decline this event.  
Alternatively you can sign up for a Google account at  
https://www.google.com/calendar/ and control your notification settings for  
your entire calendar.

Forwarding this invitation could allow any recipient to modify your RSVP  
response. Learn more at  
https://support.google.com/calendar/answer/37135#forwarding
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160713/0b32c358/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 2059 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160713/0b32c358/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 2101 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160713/0b32c358/attachment.bin>