Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

start [2014/05/22 12:57]
herbelin [IHP Trimester] Uniformisation, corrections
start [2014/05/28 09:30] (current)
mellies
Line 36: Line 36:
 |23–25 April|[[Lectures]]|**Gérard Berry** and **Jean-Yves Girard**| |23–25 April|[[Lectures]]|**Gérard Berry** and **Jean-Yves Girard**|
 |28 April|[[industry|Industry]]|**Formal methods for reliable software development in industry**| |28 April|[[industry|Industry]]|**Formal methods for reliable software development in industry**|
-|28–30 April|[[Lectures]]|**François Pottier**, ​**Thorsten Altenkirch** ​and **Jean-Louis Krivine**|+|28–30 April|[[Lectures]]|**Thorsten Altenkirch****Jean-Louis Krivine**, **Per Martin-Löf** and **François Pottier**|
 |5–9 May |[[Workshop 1|Workshop 1]] |**Formalization of mathematics in proof assistants** | |5–9 May |[[Workshop 1|Workshop 1]] |**Formalization of mathematics in proof assistants** |
 |12–16 May|[[http://​www.pps.univ-paris-diderot.fr/​types2014/​|TYPES 2014]]|**TYPES conference**| |12–16 May|[[http://​www.pps.univ-paris-diderot.fr/​types2014/​|TYPES 2014]]|**TYPES conference**|
Line 46: Line 46:
 |10–14 June |[[Workshop 3]] |**Semantics of proofs and programs** | |10–14 June |[[Workshop 3]] |**Semantics of proofs and programs** |
 |16–18 June|[[http://​lipn.univ-paris13.fr/​~mazza/​HOComplexity/​|Workshop]]|**Higher order computation:​ types, complexity, applications**| |16–18 June|[[http://​lipn.univ-paris13.fr/​~mazza/​HOComplexity/​|Workshop]]|**Higher order computation:​ types, complexity, applications**|
-|16–20 June|[[Lectures]]|+|16–20 June|[[Lectures]]|**Martin Hyland**, **Marc Pouzet**, **Olivier Serre** and **Thomas Streicher**|
 |23–27 June |[[Workshop 4]] |**Abstraction and verification in semantics** | |23–27 June |[[Workshop 4]] |**Abstraction and verification in semantics** |
 |30 June–4 July|[[Lectures]]| |30 June–4 July|[[Lectures]]|
start.1400756244.txt.gz · Last modified: 2014/05/22 12:57 by herbelin
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0