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
————————————————————————————————–