DAY 1 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 1 Monday 28 November 2011
——————————————————————————————————————————————-

09:30 – 10:00 Arrival, coffee and tea

10:00 – 10:15 Welcome by the manager of the Lorentz Center Mieke Schutte

10:15 – 10:30 Introduction by the scientific organizers

10:30 – 11:15 Tutorial 1a Mohamed Barakat / Alban Quadrat D-modules

11:15 – 12:00 Tutorial 2a Alex Simpson / Martin Escardo Categorical axioms for functional
real-number computation

Go to

http://pulse.defekt.nl/lectures/MAP2011/8912_Alex_Simpson_1.MOV

http://pulse.defekt.nl/lectures/MAP2011/0972_Alex_Simpson_2.MOV

highlight and click on link to watch Video of this Talk

12:00 – 14:00 Lunch and informal discussions

14:00 – 14:30 Andrej Bauer How to make the impossible functionals run even faster

14:30 – 15:00 Cyril Cohen A construction of the discrete field of real algebraic numbers in Coq

15:15 – 15:45 Coffee and tea

15:45 – 16:45 Ieke Moerdijk An introduction to Quillen model categories

16:45 – Wine & Cheese party

—oOo—

—————————————————————————-