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/03/12 16:17]
smimram [Registration]
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–20 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**| 
-|2123 May|[[Lectures]]| +|2228 May|[[http://​wiki.portal.chalmers.se/​agda/​pmwiki.php?​n=Main.AIMXIX|AIM XIX]]|**19th Agda Implementor'​s Meeting**| 
-|26–30 May|[[http://​perso.crans.org/​cohen/​map2014/​|MAP 2014]]|+|26–28 ​May|[[Lectures]]|**Timothy Gowers** and ** Bruno Valette **
 +|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|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]]|
Line 51: Line 52:
  
  
-==== Related events ​in 2014 ====+==== Related events ​hosted at IHP ====
  
-  ​* A five-weeks event on the [[http://​smc2014.univ-lyon1.fr/​|Mathematical Structures of Computation]] is organised in Lyon from January 13th to February 14th, as a progamme of the Laboratoire d'​Excellence MILYON, Together, the two programmes may be considered as a French Semester on certified mathematics,​ programming languages and the mathematical structures of computation. +  * The [[http://​www.pps.univ-paris-diderot.fr/​types2014/​|TYPES 2014]] conference ​was held at IHP on week 4, 12-15 May, followed by the Proof, Computation,​ Complexity workshop
-  ​* The [[http://​www.pps.univ-paris-diderot.fr/​types2014/​|TYPES 2014]] conference ​will be held at IHP on week 4, 12-15 May, followed by the Proof, Computation,​ Complexity workshop.+  * The [[http://​wiki.portal.chalmers.se/​agda/​pmwiki.php?​n=Main.AIMXIX|XIX-th Agda Implementors'​ Meeting]] is being held on weeks 5 and 6, 22-28 May.
   * A special edition on constructive mathematics of the [[http://​perso.crans.org/​cohen/​map2014/​|MAP 2014]] conference (Mathematics,​ Algorithms and Proofs) will be held at IHP on week 6, 26-30 May.   * A special edition on constructive mathematics of the [[http://​perso.crans.org/​cohen/​map2014/​|MAP 2014]] conference (Mathematics,​ Algorithms and Proofs) will be held at IHP on week 6, 26-30 May.
   * [[http://​www.bourbaki.ens.fr/​|Bourbaki seminar]] on Saturday 21 June with talks by Thierry Coquand et Thomas Hales.   * [[http://​www.bourbaki.ens.fr/​|Bourbaki seminar]] on Saturday 21 June with talks by Thierry Coquand et Thomas Hales.
 +
 +==== Other related events in 2014 ====
 +
 +  * A five-weeks event on the [[http://​smc2014.univ-lyon1.fr/​|Mathematical Structures of Computation]] was organised in Lyon from January 13th to February 14th, as a progamme of the Laboratoire d'​Excellence MILYON, Together, the two programmes may be considered as a French Semester on certified mathematics,​ programming languages and the mathematical structures of computation.
 +
 +
 ==== Registration ==== ==== Registration ====
  
 **Registration is open and free**. It is requested for logistic reasons. All participants are invited to **Registration is open and free**. It is requested for logistic reasons. All participants are invited to
   -  [[http://​www.ihp.fr/​en/​program/​10226/​register|visit IHP's website to register for the general event]], mentioning the dates of presence (kick-off, industry afternoon, lectures, workshops 1 to 5)   -  [[http://​www.ihp.fr/​en/​program/​10226/​register|visit IHP's website to register for the general event]], mentioning the dates of presence (kick-off, industry afternoon, lectures, workshops 1 to 5)
-  - workshops 1 to 5 need an [[http://​www.ihp.fr/​fr/​program/​10225/​conference/​register|extra specific registration]]\\ (please register first to the whole programme above if you intend to participate to one or several of the workshops)+  - workshops 1 to 5 need an [[http://​www.ihp.fr/​fr/​program/​10225/​conference/​register|extra specific registration]] (please register first to the whole programme above if you intend to participate to one or several of the workshops)
 Submission for funding is not possible anymore. Submission for funding is not possible anymore.
  
Line 78: Line 85:
 ==== Sponsors ==== ==== Sponsors ====
  
-{{:​systematic.gif?​nolink&​200|}} +[[http://​www.systematic-paris-region.org/​|{{:​systematic.gif?​nolink&​300|}}]] 
 +[[http://​www.agence-nationale-recherche.fr/​|{{:​anr.png?​100|}}]] 
 +[[http://​recre.ens-lyon.fr/​|{{:​recre.png?​100|}}]]
 ==== Contacts ==== ==== Contacts ====
  
start.1394637476.txt.gz · Last modified: 2014/03/12 16:17 by smimram
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