jeudi 1 Mars, nous avons une double seance.
Le séminaire debute cette semaine a 10h (salle 1D23), et
sera précédé d'un pot informel avec café et croissants à partir de 09h45.
Nous accueillerons:
Benoît Valiron (Philadelphia, US) -- 10h
Toward duplication in denotational semantics of quantum computation.
Arthur Charguéraud (Max Planck Institute, Saarbruecken) - 11h20
Characteristic Formulae for the Verification of Imperative Programs
https://www.pps.jussieu.fr/seminaire/
A bientot,
Claudia
Aucun commentaire:
Enregistrer un commentaire