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.

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
Établissements associés