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-2 [2019/09/10 13:04]
bouyer
cours:c-2-8-2 [2019/09/10 13:21] (current)
bouyer [Dates]
Line 13: Line 13:
 Basic knowledge in Automata, Logics, Complexity. Basic knowledge in Automata, Logics, Complexity.
  
-While not mandatory, it is useful to know the basics of verification. See for instance the level 1 course 1-22 Basics of verification which can also be taken during M2. Course 1-22 is organized at ENS Cachan.+While not mandatory, it is useful to know the basics of verification. See for instance the level 1 course 1-22 Basics of verification which can also be taken during M2. Course 1-22 is organized at ENS Paris-Saclay.
  
  
 
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