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:45]
herbelin [Related events hosted at IHP]
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]]|+|12–16 May|[[http://​www.pps.univ-paris-diderot.fr/​types2014/​|TYPES 2014]]|**TYPES conference**|
 |19–21 May|[[federation|Journées]]|**Journées de la Fédération de recherche en mathématiques de Paris-Centre**| |19–21 May|[[federation|Journées]]|**Journées de la Fédération de recherche en mathématiques de Paris-Centre**|
-|21–23 May|[[Lectures]]| +|22–28 May|[[http://​wiki.portal.chalmers.se/​agda/​pmwiki.php?​n=Main.AIMXIX|AIM XIX]]|**19th Agda Implementor'​s Meeting**| 
-|22–28 May|[[http://​wiki.portal.chalmers.se/​agda/​pmwiki.php?​n=Main.AIMXIX|Lectures]]|**19th Agda Implementor'​s Meeting**| +|26–28 May|[[Lectures]]|**Timothy Gowers** and ** Bruno Valette ​**| 
-|26–30 May|[[http://​perso.crans.org/​cohen/​map2014/​|MAP 2014]]|+|26–30 May|[[http://​perso.crans.org/​cohen/​map2014/​|MAP 2014]]|**Mathematics,​ Algorithms, Proofs conference **|
 |2–6 June |[[Workshop 2]] |**Constructive mathematics and models of type theory** | |2–6 June |[[Workshop 2]] |**Constructive mathematics and models of type theory** |
 |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.1400755545.txt.gz · Last modified: 2014/05/22 12:45 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