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"