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
