september 6th, Lyon: A Cogip seminar
I. Hasuo (Dept. of Computer Science, University of Tokyo),
Semantics of Higher-Order Quantum Computation via Geometry of
Interaction
september 27th 2011, Lyon: Cogip invites Matteo Mio
The meeting will start at 10.00 and end at 17.00
We will have three talks:
Matteo Mio, "Probabilistic modal mu-calculus with independent product"
Paul-André Melliès, TBA
Tom Hirschowitz, TBA
June 20th 2012, Lyon: Cogip invites Pawel Sobocinski
Pawel Sobocinski is guest of the Plume team for 3 months.
We will have three talks:
Tom Hirschowitz,
A construction of operational and game semantics for CCS
Samuel Mimram,
A Non-Standard Semantics for Kahn Networks in Continuous Time
Pawel Sobocinski,
Relational presheaves and labelled transition systems
december 7th, Lyon: Cogip invites Fabio Gadducci
We will have three talks:
Jean-Marie Madiot, "Subtyping in pi-calculi"
Olivier Laurent, "Sequentialisation in multiplicative proof nets"
Fabio Gadducci, "A Quantified Modal Logic for Systems with
Dynamic Structure"
