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é