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, 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, "Réseaux de logique tensorielle et sémantique
des jeux"
Tom Hirschowitz, "Innocent strategies as presehaves and
interactive equivalences for CCS"
