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:2011-2012-c-1-22 [2012/10/03 11:28]
gastin created
cours:2011-2012-c-1-22 [2012/10/03 11:44] (current)
gastin [Exams]
Line 121: Line 121:
 | **Date** | **Type** | **Topics and comments** | | **Date** | **Type** | **Topics and comments** |
 |**2011/10/12** | H1: [[http://www.lsv.ens-cachan.fr/~schmitz/teach/2011_verif/homework01.pdf|Temporal Logic with Binding]] | To hand in on November 2nd.\\ Don't be late. | |**2011/10/12** | H1: [[http://www.lsv.ens-cachan.fr/~schmitz/teach/2011_verif/homework01.pdf|Temporal Logic with Binding]] | To hand in on November 2nd.\\ Don't be late. |
 +|**2011/11/11** | E1: [[http://www.lsv.ens-cachan.fr/~gastin/Verif/Partiel-30-11-11.pdf|Exam]] | Exam on the first half of the course. |
 |**2011/10/12** | H2: [[http://www.lsv.ens-cachan.fr/~schmitz/teach/2011_verif/homework02.pdf|Simulations in Petri nets]] | To hand in on February 15th.\\ Don't be late. | |**2011/10/12** | H2: [[http://www.lsv.ens-cachan.fr/~schmitz/teach/2011_verif/homework02.pdf|Simulations in Petri nets]] | To hand in on February 15th.\\ Don't be late. |
 |**2012/02/29** | E2: [[http://www.lsv.ens-cachan.fr/~schwoon/enseignement/verification/ws1112/exam.pdf|Exam]], [[http://www.lsv.ens-cachan.fr/~schwoon/enseignement/verification/ws1112/solution.pdf|sample solutions]] | Exam on the second half of the course. | |**2012/02/29** | E2: [[http://www.lsv.ens-cachan.fr/~schwoon/enseignement/verification/ws1112/exam.pdf|Exam]], [[http://www.lsv.ens-cachan.fr/~schwoon/enseignement/verification/ws1112/solution.pdf|sample solutions]] | Exam on the second half of the course. |
 
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