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-1 [2019/10/10 17:07]
kesner [Langues du cours]
cours:c-2-1 [2019/10/15 19:25] (current)
kesner [Dates des examens pour 2019-2020]
Line 8: Line 8:
 Le cours commence le **vendredi 14 septembre**! Le cours commence le **vendredi 14 septembre**!
  
-  -  Introduction à la Logique Linéaire (12h, Michele Pagani : **16/9, 23/9, 30/09, 7/10**)  +  -  Introduction à la Logique Linéaire (12h, Michele Pagani : **16/09, 23/09, 30/09, 07/10**)  
-  -  Interprétation calculatoire des séquents (12h, Delia Kesner: **14/10, 21/10, 28/10, 4/11**)  +  -  Interprétation calculatoire des séquents (12h, Delia Kesner: **14/10, 21/10, 28/10, 04/11**)  
-  -  Stratégies d’evaluation, machines abstraites, et modeles de couts (12h, Beniamino Accattoli: **21/12, 11/118/125/1**) +  -  Stratégies d’evaluation, machines abstraites, et modeles de couts (12h, Beniamino Accattoli: **09/12, 16/1206/0113/01**) 
-  -  Recherche de preuve et calcul logique (12h, Dale Miller: **1/28/215/222/2**) +  -  Recherche de preuve et calcul logique (12h, Dale Miller: **20/0127/0103/0210/02**) 
  
 ==== Dates des examens pour 2019-2020  ==== ==== Dates des examens pour 2019-2020  ====
  
   -  Partie  I: 18/11/2019, aux horaires du cours (tous documents autorisés, ordinateurs et téléphones portables interdits)   -  Partie  I: 18/11/2019, aux horaires du cours (tous documents autorisés, ordinateurs et téléphones portables interdits)
-  -  Partie II: **TBA**, aux horaires du cours (tous documents autorisés, ordinateurs et téléphones portables interdits)+  -  Partie II: 02/03/2019, aux horaires du cours (tous documents autorisés, ordinateurs et téléphones portables interdits)
 ==== Motivations et objectifs ==== ==== Motivations et objectifs ====
  
 
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