1st December 2011

1st December 2011

 

DAY 4 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 4  Thursday 1 December 2011

 

Talk 1

09:45 – 10:15 Ihsen Yengui Algorithms for computing syzygies over V[X1; … ;Xk], V a valuation
ring

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

http://pulse.defekt.nl/lectures/MAP2011/Ihsen_Yengui_1.MOV

http://pulse.defekt.nl/lectures/MAP2011/Ihsen_Yengui_2.MOV

10:15 – 10.45 Coffee and tea

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

Go to

http://pulse.defekt.nl/lectures/MAP2011/4283_Martin_Escardo_1.MOV

http://pulse.defekt.nl/lectures/MAP2011/8291_Martin_Escardo_2.MOV

highlight and click on link to see  Quick Time Video of talk

11:30 – 15:00 Lunch and informal discussions

15:00 – 16:00 Georges Gonthier Group theory in Coq

Go to

http://pulse.defekt.nl/lectures/MAP2011/1743_Georges_Gonthier_1.MOV

http://pulse.defekt.nl/lectures/MAP2011/2873_Georges_Gonthier_2.MOV

highlight and click on link to view Video of this talk

16:00 – 16:30 Coffee and tea

16:30 – 17:30 MAP Business meeting

————————————————————————————————–