[Club2] Invitation: The Flow of ODEs @ Wed Aug 17, 2016 14:00 - 15:00 (CEST) (Club2)

[julianbrunner at gmail.com]

You have been invited to the following event.

Title: The Flow of ODEs
Authors: Fabian Immler and Christoph Traut
Type: ITP Rehearsal Talk
Abstract: Formal analysis of ordinary differential equations (ODEs) and  
dynamical systems requires a solid formalization of the underlying theory.  
The formalization needs to be at the correct level of abstraction, in order  
to avoid drowning in tedious reasoning about technical details. The flow of  
an ODE, i.e., the solution depending on initial conditions, and a dedicated  
type of bounded linear functions yield suitable abstractions. The dedicated  
type integrates well with the type-class based analysis in Isabelle and we  
prove advanced properties of the flow, most notably, differentiable  
dependence on initial conditions via the variational equation and a  
rigorous numerical algorithm to solve it.
When: Wed Aug 17, 2016 14:00 – 15:00 Berlin
Where: MI 00.09.038 (Turing)
Calendar: Club2
Who:
     * julianbrunner at gmail.com - creator
     * club2 at mailbroy.informatik.tu-muenchen.de

Event details:  
https://www.google.com/calendar/event?action=VIEW&eid=cDd1MGVkMTc2cWw3YmNhNzhmYnNmOW5jcXMgY2x1YjJAbWFpbGJyb3kuaW5mb3JtYXRpay50dS1tdWVuY2hlbi5kZQ&tok=NTIjc2U2ZWJlM3RvZmY0Y2g1bm11bmlibTVtOThAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbTVjNjA0NTc1YzI4ZWQ3MmZiODZhNWIwNjRjMTdlOTVmNGRiNmUwNmU&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/20160810/613c099f/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/calendar
Size: 1833 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160810/613c099f/attachment.ics>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: invite.ics
Type: application/ics
Size: 1872 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20160810/613c099f/attachment.bin>