Registration
This is an old revision of the document!
The trimester will begin with a kick-off afternoon on April 22, intended for a large audience of mathematicians and computer scientists. It will consist of 4 talks:
We shall take benefit of the context offered by the thematic to trimester to organize an afternoon session on Formal methods for reliable software development in industry on April 28. The primary aim of the session will be to give an opportunity to students and academics and non-academic researchers to hear about recent developments of this kind carried out in an industry context. The programme of this afternoon is under elaboration.
14h-15h | Gonthier | Group Theory of the Odd Order Theorem |
15h-16h | Hales | Formalizing the proof of the Kepler Conjecture |
16h-16h30 | pause | |
16h30-17h30 | Leroy | Proof assistants in computer science research |
17h30-18h30 | Voevodsky | Univalent Foundations - new type-theoretic foundations of mathematics |
18h30 | cocktail |