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-8-1 [2020/01/12 17:03]
bollig [Outline of the course]
cours:c-2-8-1 [2020/02/11 11:07] (current)
bollig [Outline of the course]
Line 13: Line 13:
 The lectures will take place on Wednesday, **10:15 - 11:45**, in Bat. Sophie Germain, room 1013. The lectures will take place on Wednesday, **10:15 - 11:45**, in Bat. Sophie Germain, room 1013.
  
-**The first exam (partiel) takes place on Wednesday, 20th November 2019, 10:15 - 11:45, in Bat. Sophie Germain, room 1013.**+**The second exam takes place on Wednesday, 26th February 2020, 10:15 - 11:45, in Bat. Sophie Germain, room 1013.**
 ==== Description ==== ==== Description ====
  
Line 36: Line 36:
 | **10th** || 18/12/2019 || Synthesis of CPDS from PDL formulas (1) || | **10th** || 18/12/2019 || Synthesis of CPDS from PDL formulas (1) ||
 | **11th** || 08/01/2020 || Synthesis of CPDS from PDL formulas (2) || | **11th** || 08/01/2020 || Synthesis of CPDS from PDL formulas (2) ||
-| **12th** || 15/01/2020 || Underapproximate verification for ICPDL ||+| **12th** || 15/01/2020 || Underapproximate verification for ICPDL (1) ||
 | || **22/01/2020** || **No lecture** || | || **22/01/2020** || **No lecture** ||
-| **13th** || 29/01/2020 || Asynchronous automata || +| **13th** || 29/01/2020 || Underapproximate verification for ICPDL (2) || 
-| **14th** ||  || Exercises || +| **14th** || 05/02/2020 || Asynchronous automata || 
-|  ||  || Second exam ||+| **15th** || 12/02/2020 || Exercises || 
 +|  || 26/02/2020 || Second exam ||
 ==== Lecture Notes ==== ==== Lecture Notes ====
  
 
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