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] |
| | 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// | | + | |