MPI
Organisateurs
- Pour SWS, Joël Ouaknine https://people.mpi-sws.org/~joel/ . Transparents des présentations http://www.lsv.fr/~leroux/To_be_downloaded/Teaching/Visites_Labo/MPI_SWS.zip
- Pour INF, Christoph Weidenbach https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/christoph-weidenbach
Pour des stages à MPI, le site centralisé est
https://www.cis.mpg.de/internships/
La date limite normale de candidature est le 1er novembre, mais pour nous c'est le 1er décembre.