seminaire pps, 1 mars **10h** , salle 1D23

Chers tous,
petit rappel que demain, jeudi 1 Mars, nous avons une double seance.

Le séminaire debute 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

seminaire PPS jeudi 1 Mars: Valiron a 10h00, Chargueraud a 11h20, salle 1D23

Chers tous,

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

Seminaire PPS: Margherita Zorzi, jeudi 16/02 11h salle 1D23

Chers tous,

jeudi prochain,  16 fevrier, nous recevons

Margherita Zorzi (LIPN, Paris)

qui nous donnera un expose sur

An introduction to quantum complexity and quantum ICC

https://www.pps.jussieu.fr/seminaire/

Le séminaire est a 11h en salle 1D23,
et sera précédé d'un pot informel avec café et croissants à partir de 10h45. 

A bientot,

Claudia