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