22 Janvier - 28 Janvier
Retour à la vue des calendrier
Mardi 23 Janvier
Heure:
14:00 - 17:00
Lieu:
Salle B107, bâtiment B, Université de Villetaneuse
Résumé:
Uniform generation of infinite concurrent runs: the case of trace monoids
Description:
Vincent Jugé