DAY 2  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 2  Tuesday 29 November 2011

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

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

Go to

http://pulse.defekt.nl/lectures/MAP2011/2741_Mohamed_Barakat.MOV

highlight and click on link to see Quick Time Video of this Tutorial

09:45 – 10:15 Timothy G. Griffin Building Algebraic Structures with Combinators

10:15 – 10.45 Coffee and tea

10:45 – 11:30 Tutorial 2b Alex Simpson / Martin Escardo Categorical axioms for functional
real-number computation

Go to

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

highlight and click on link to see Quick Time Video of this Talk

11:30 – 15:00 Lunch and informal discussions

15:00 – 15:30 Steve Awodey Some constructions in homotopy type theory

Go to

http://pulse.defekt.nl/lectures/MAP2011/8253_Steve_Awodey.MOV

highlight and click on link to see Quick Time Video of this Talk

15:30 – 15:45 Chris Kapulkin Fibration categories and type theory

Go to

http://pulse.defekt.nl/lectures/MAP2011/2952_Chris_Kapulkin.MOV

for Video of Chris KAPULKIN’s Talk

15:45 – 16:15 Robert Harper Canonicity for Two-Dimensional Type Theory

16:15 – 16:45 Coffee and tea

16:45 – 17:45 Jeremy Avigad Computability, constructivity, and convergence in measure theory

Go to

http://pulse.defekt.nl/lectures/MAP2011/2034_Jeremy_Avigad_1.MOV

http://pulse.defekt.nl/lectures/MAP2011/9361_Jeremy_Avigad_2.MOV

http://pulse.defekt.nl/lectures/MAP2011/4318_Jeremy_Avigad_3.MOV

highlight and click on link to see Video of Jeremy AVIGAD’s Talk

—-oOo—-