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—-