Parisian Master of Research in Computer Science
Master Parisien de Recherche en Informatique (MPRI)

Differences

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

Link to this comparison view

cours:c-2-36-1 [2017/11/24 14:11]
marche [Proof of Programs (24h, 3 ECTS)]
cours:c-2-36-1 [2019/09/03 14:49] (current)
marche [Proof of Programs (24h, 3 ECTS)]
Line 3: Line 3:
 Teacher in charge: Claude Marché Teacher in charge: Claude Marché
  
-Teachers for 2017-2018: François Bobot, Jean-Marie Madiot+Teachers for 2018-2019Claude Marché, Jean-Marie Madiot
  
 Lessons will be given in French by default, in English upon request. The slides and the lecture notes will be in English. In the past 3 years, the course has been taught in English.  Lessons will be given in French by default, in English upon request. The slides and the lecture notes will be in English. In the past 3 years, the course has been taught in English. 
  
-Dates and files associated with the course are posted on the [[http://francois.bobot.eu/mpri2017/|webpage of the course]].+Dates and files associated with the course are posted on the webpage of the course (2019-2020 version available soon) 
 + 
 +Web pages for 2018-2019 are [[http://francois.bobot.eu/mpri2018/|here]] and [[https://madiot.fr/sepcourse/|there]].
 ==== Objectives of the Course ==== ==== Objectives of the Course ====
  
 
Universités partenaires Université Paris-Diderot
Université Paris-Saclay
ENS Cachan École polytechnique Télécom ParisTech
ENS
Établissements associés Université Pierre-et-Marie-Curie CNRS INRIA CEA