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-35-1 [2017/09/01 13:51]
soliman [Tentative Schedule]
cours:c-2-35-1 [2017/09/01 13:53] (current)
soliman [Tentative Schedule]
Line 48: Line 48:
 | 25/09/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp3.pdf|class 3]] * CLP logical semantics; CSP: solving by simplification and domain reduction | | 25/09/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp3.pdf|class 3]] * CLP logical semantics; CSP: solving by simplification and domain reduction |
 | 02/10/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp4.pdf|class 4]] * CLP: the Warren Abstract Machine; CSP: Symmetries | | 02/10/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp4.pdf|class 4]] * CLP: the Warren Abstract Machine; CSP: Symmetries |
-09/10/17 | //deadline for the programming project// /*[[http://lifeware.inria.fr/~soliman/project.html|programming project]]* //(no class)// +08/10/17 | //deadline for the programming project// /*[[http://lifeware.inria.fr/~soliman/project.html|programming project]]*| 
-16/10/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp5.pdf|class 5]] * CLP: typing; CHR; Programming project discussion |+09/10/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp5.pdf|class 5]] * CLP: typing; CHR; Programming project discussion 
 +| 16/10/17 | //(no class)// |
 | 23/10/17 | //(no class)// | | 23/10/17 | //(no class)// |
-| 30/10/17 | //(no class)// | +| 30/10/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp6.pdf|class 6]] * CC: examples, operational and denotational semantics | 
-| 06/11/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp6.pdf|class 6]] * CC: examples, operational and denotational semantics | +06/11/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp7.pdf|class 7]] * CC: linear logic semantics; LCC | 
-13/11/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp7.pdf|class 7]] * CC: linear logic semantics; LCC | +13/11/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp8.pdf|class 8]] * LCC: logical semantics, links with CHR, typing and modules for CLP | 
-20/11/17 | /* [[http://lifeware.inria.fr/~soliman/publi/mpri_clp8.pdf|class 8]] * LCC: logical semantics, links with CHR, typing and modules for CLP | +20/11/17 | //exam 16.15-18.15// |
-27/11/17 | //exam 12.45-14.45// |+
 
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