Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

This is an old revision of the document!


PhD school at CIRM

Dates and location

The school covers two full weeks, from Monday April 7 (morning) till Friday April 18 (noon) 2014, and will be held at CIRM in Luminy, near Marseille, France.

Programme

This two week school is aimed as an intensive preparation and training for PhD students and master students who will participate to the IHP program, starting right after the two week school at the CIRM and running until mid July, 2014.

Week 1

From 7 to 11 April 2014.

  • A 6-hour intensive course on constructive mathematics and homotopy type theory by Thierry Coquand (Chalmers University): principles of constructive mathematics, Curry-Howard correspondence, typed λ-calculi, Martin-Löf type theory, homotopy type theory, univalence axiom, proof-irrelevance.
  • A 6-hour intensive course on formalization of mathematics in proof assistants by Assiah Mahboubi (INRIA, LIX, Ecole Polytechnique): introduction to the theoretical as well as the practical aspects of formalization, with illustrations on the proof assistant Coq.
  • A 6-hour intensive course on computational interpretation of proofs and realizability by Alexandre Miquel (LIP, ENS Lyon): continuation-passing style translations, Kripke semantics, Kleene realizability, forcing and models of set-theory, Krivine classical realizability.
  • Discussion sessions as well as practical sessions on the computer.

Organizers

  • Pierre-Louis Curien, directeur de recherche CNRS, Laboratoire Preuves, Programmes, Systèmes (PPS), Université Paris Diderot
  • Hugo Herbelin, directeur de recherche INRIA, Laboratoire Preuves, Programmes, Systèmes (PPS), Université Paris Diderot
  • Paul-André Melliès, chargé de recherche CNRS, Laboratoire Preuves, Programmes, Systèmes (PPS), Université Paris Diderot
cirm.1381788556.txt.gz · Last modified: 2013/10/15 00:09 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