[GdT Log&Prog] Prochaines séances

Bonjour, Après une petite pause, le séminaire LCR / gdt Log&Prog reprend ce mois de juin avec un exposé sur calculs concurrents réversibles et structures d'événements, et un exposé sur réseaux de preuve et critères de correction : 05/06/2015 : Clément Aubert (LACL, Univ. Créteil) 12/06/2015 : Alexis Saurin (PPS, CNRS) Je vous invite à consulter les résumés sur la page web des séminaires : https://lipn.univ-paris13.fr/fr/lcr/seminaires Amicalement, Damiano