Benjamin Werner

Professeur Chargé de Cours

Systèmes de Preuves   -     INF 565

Le cours 2-7-1 du MPRI (Master 2e année)

• Les Sujets de Stage (2008-2009) !
• Une page ancienne contenant des pointeurs vers des sujets d'examen des années passées.
• Notes de cours (par Gilles Dowek): pdf et ps.gz
• Course notes in english (slightly dfferent from the french version but still useful)
• La page des TDs par Assia Mahboubi

INF 431 (2007-2008)

La pages des Projets Infos

Me trouver:

Ma page web principale.

Mon téléphone à l'X: 01 69 33 41 41.

Bureau : LIX, aîle 0, RdC, bureau 1015-b.

Mon agenda.