MPI
Organisateurs
- Pour SWS, Joël Ouaknine
org/~joel/ . Transparents des présentations
zip
- Pour INF, Christoph Weidenbach
de/departments/automation-of-logic/people/christoph-weidenbach
Pour des stages à MPI, le site centralisé est
La date limite normale de candidature est le 1er novembre, mais pour nous c'est le 1er décembre.