Workshop Program


GaLoP 2018

Saturday 14 April 2018, Kalliopi

08:45 – 09:00 Welcome
09:00 – 10:00 Invited Talk by Matteo Mio
10:00 – 10:30 Coffee Break
10:30 – 12:30
Session 1
Simon Castellan, Pierre Clairambault and Nobuko Yoshida. Using session types to understand the gap between synchronous syntaxes and asynchronous game semantics.
Jules Hedges and Josef Bolt. Bisimulations of open games
Guilhem Jaber and Nikos Tzevelekos. An overview of game semantics for polymorphism
12:30 – 14:00 Lunch Break
14:00 – 16:00
Session 2
Pietro Galliani. Safe Dependency Atoms for Logics with Team Semantics
Gabriel Sandu. Causal and counterfactual dependence on probabilistic causal teams
Fausto Barbero. Counterfactual logic over teams
16:00 – 16:30 Coffee Break
16:30 – 17:50
Session 3
Ondrej Majer and Christian Fermüller. On the Expressivity of the Propositional Fragment of Independence Friendly Logic
Christian Fermüller and Timo Lang. Interpretpreting Substructural Logics by Games of Information Extraction


Sunday 15 April 2018, Kalliopi

09:00 – 10:00 Invited Talk by Ulrich Schoepp
10:00 – 10:30 Coffee Break
10:30 – 12:30
Session 4
Pierre Clairambault and Hugo Paquet. Comparing Strategies and Böhm Trees in a Probabilistic Setting
Paul Blain Levy. Finite play nondeterministic strategies form a final coalgebra
Pierre Clairambault, Marc de Visme, Frank Roumen and Glynn Winskel. Quantum Game Semantics
12:30 – 14:00 Lunch
14:00 – 16:00
 Session 5
Thomas Cuvillier. A semantic criterion for MLL and MALL full-completeness
Ian Mackie. Conservation of Data
Raphaëlle Crubillé and Ugo Dal Lago. Towards Higher-Order Cryptography.
16:00 – 16:30 Coffee Break
16:30 – 17:50
Session 6
Matthias Hofer. Natural Language Games, or: The Logic of Random Witness Selection
William Gowers. A unified approach to the semantics of effects