29th November 2011


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 :



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


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


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


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


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




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