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:26]
smimram [Sponsors]
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 ====
  
Line 78: Line 85:
 ==== Sponsors ==== ==== Sponsors ====
  
-{{:​systematic.gif?​nolink&​300|}}+[[http://​www.systematic-paris-region.org/​|{{:​systematic.gif?​nolink&​300|}}]]
 [[http://​www.agence-nationale-recherche.fr/​|{{:​anr.png?​100|}}]] [[http://​www.agence-nationale-recherche.fr/​|{{:​anr.png?​100|}}]]
 [[http://​recre.ens-lyon.fr/​|{{:​recre.png?​100|}}]] [[http://​recre.ens-lyon.fr/​|{{:​recre.png?​100|}}]]
start.1394637965.txt.gz · Last modified: 2014/03/12 16:26 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