2nd December 2011
DAY 5 of MAP 2011
Mathematics : Algorithms and Proofs A 5 Day Meeting ( 28 November to 2 December 2011 ) held at The
Lorentz Centre, Leiden, Netherlands
See here for Program of Meeting :
http://www.lorentzcenter.nl/lc/web/2011/467/info.php3?wsid=467
http://www.lorentzcenter.nl/lc/web/2011/467/program.pdf
Videos made by Jelle HEROLD and links made available here by kind permission of Conference Organisers
Talks on Day 5 Friday 2 December 2011
09:00 – 09:30 Laurent Théry Geometric Algebras: a formalization
09:30 – 10:00 Julio Rubio Verifying software, verifying mathematics
10:00- 10:30 Coffee and tea
10:30 – 11:30 Robert van der Vorst Computational Conley Theory and Dynamics
Go to
http://pulse.defekt.nl/lectures/MAP2011/6345_R_Vandervorst_1.MOV
http://pulse.defekt.nl/lectures/MAP2011/0278_R_Vandervorst_2.MOV
and highlight link to open Video of this Talk
11:30 – 13:30 Lunch and informal discussions
13:30 – 14:30 Martin Hyland Identity, Isomorphism, Homotopy
Go to
http://pulse.defekt.nl/lectures/MAP2011/9942_Martin_Hyland.MOV
and highlight link to open Video of this Talk
14:30 – 15:00 Closing
15:00 – Formath business meeting
—-oOo—-