26 Novembre - 2 Décembre


Retour à la vue des calendrier
Jeudi 29 Novembre
Heure: 10:15 - 12:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Linear MSO and Church synthesis
Description: Pierre Pradic