Catégorie : Actualités

Étienne André a reçu le best paper FORTE 2017 et DisCOTec 2017, pour son article Learning-based compositional parameter synthesis for event-recording automata, avec Shang-Wei Lin.

Le 8 novembre 2016 Matin : accueil à 11h00 en salle A 201 du LIPN 11h00 : Ouverture de la journée par Laure Petrucci (petit historique) 11h10 : Visite du laboratoire avec présentations para-scientifques : Thomas Fernique (A111) : « Des puzzles qui calculent » Haïfa Zargayouna (B207) : Read more