Groupe Méthodes Formelles

Calendriers des prochains slots disponibles.




DateEvénementLieu
mardi 23 juillet 2019
mardi 30 juillet 2019
mardi 06 août 2019
mardi 13 août 2019
mardi 20 août 2019
mardi 27 août 2019
mardi 03 septembre 2019GanDALF in Bordeaux
mardi 10 septembre 2019Anantha Padmanabha 178
mardi 17 septembre 2019Highlights of Logic, Games, and Automata in Warsaw
mardi 24 septembre 2019Bruno Courcelle178
mardi 01 octobre 2019Hugo Gimbert178
mardi 08 octobre 2019Christine Tasson178
mardi 15 octobre 2019Engel Lefaucheux178
mardi 22 octobre 2019
mardi 29 octobre 2019
mardi 05 novembre 2019
mardi 12 novembre 2019
mardi 19 novembre 2019
mardi 26 novembre 2019
mardi 03 décembre 2019
mardi 10 décembre 2019
mardi 17 décembre 2019
mardi 24 décembre 2019
mardi 31 décembre 2019
mardi 07 janvier 2020
mardi 14 janvier 2020
mardi 21 janvier 2020
mardi 28 janvier 2020
mardi 04 février 2020
mardi 11 février 2020
mardi 18 février 2020
mardi 25 février 2020
mardi 03 mars 2020
mardi 10 mars 2020
mardi 17 mars 2020
mardi 24 mars 2020
mardi 31 mars 2020
mardi 07 avril 2020
mardi 14 avril 2020
mardi 21 avril 2020
mardi 28 avril 2020
mardi 05 mai 2020
mardi 12 mai 2020
mardi 19 mai 2020
mardi 26 mai 2020
mardi 02 juin 2020
mardi 09 juin 2020
mardi 16 juin 2020
mardi 23 juin 2020
mardi 30 juin 2020
mardi 07 juillet 2020
mardi 14 juillet 2020



Responsables

Nathanaël Fijalkow, Filip Mazowiecki