DAY 3  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 3

Wednesday 30 November 2011
——————————————————————————————————————————————-

09:00 – 09:45 Tutorial 1c Mohamed Barakat / Alban Quadrat D-modules

09:45 – 10:15 Bassel Mannaa Dynamic Newton Theorem

Go to

http://pulse.defekt.nl/lectures/MAP2011/6934_Bassel_Mannaa.MOV

highlight and click on link to see Video of this Talk

10:15 – 10.45 Coffee and tea 10:45 – 11:30 Tutorial 2c Alex Simpson / Martin Escardo Categorical axioms for functional
real-number computation

11:30 – 14:30 Lunch and informal discussions

14:30 – 15:30 Thomas Streicher Isomorphic Types are Equal!

Go to

http://pulse.defekt.nl/lectures/MAP2011/7230_Thomas_Streicher.MOV

for Quick Time Video of this Talk

15:30 – 16.00 Ieke Moerdijk Fibre bundles & univalence

16:15 Departure by bus to boat

16.45 – 20.45 Boat trip & Workshop Dinner

20.45 Return by bus to Leiden Central Station, Lorentz Center and Hotel van der Valk

—-oOo—-