ETAPS 2019 (series) / GaLoP 2019 (series) /
GaLoP 2019 Program
This is the GaLoP 2019 program - see the full program for ETAPS 2019 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 6 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 6 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mTalk | Intertwining game theory and game semantics GaLoP | ||
10:00 30mTalk | Universal property of the monad for infinite trace strategies (work in progress) GaLoP Paul Blain Levy University of Birmingham, Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz Schröder FAU Erlangen-Nürnberg, Lehrstuhl 8 |
11:00 - 12:00 | |||
11:00 30mTalk | Characterizing Downwards Closed Strongly First Order Dependencies GaLoP Pietro Galliani Free University of Bozen-Bolzano | ||
11:30 30mTalk | Logics for first-order definable team properties GaLoP |
13:30 - 15:30 | |||
13:30 60mTalk | Model checking games: the recent advances on parity games GaLoP | ||
14:30 30mTalk | A Framework for Compositional Model Checking GaLoP | ||
15:00 30mTalk | Modalities as prices: a game model of intuitionistic linear logic with subexponentials GaLoP Timo Lang Vienna University of Technology, Chris Fermüller Vienna University of Technology, Elaine Pimentel Federal University of Rio Grande do Norte, Brazil, Carlos Olarte Federal University of Rio Grande do Norte, Brazil |
16:00 - 18:00 | |||
16:00 30mTalk | Sequential algorithms and innocent strategies share the same execution mechanism GaLoP Pierre-Louis Curien Univ. Paris Diderot and INRIA Paris-Rocquencourt | ||
16:30 40mTalk | A Dialectica-Like Interpretation of a Linear MSO on Infinite Words GaLoP |
Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 7 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:30 | |||
09:00 60mTalk | Template games: a homotopy model of differential linear logic GaLoP | ||
10:00 30mTalk | Simple game semantics and Day convolution GaLoP Clovis Eberhart National Institute of Informatics, Japan, Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Alexis Laouar Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS |
11:00 - 12:00 | |||
11:00 30mTalk | A game semantics understanding of asynchronous multiparty session types subtyping GaLoP | ||
11:30 30mTalk | Probabilistic Programming Inference via Intensional Semantics GaLoP |
13:30 - 15:30 | |||
13:30 30mTalk | Full Abstraction for the Quantum Lambda-Calculus GaLoP | ||
14:00 30mTalk | Some ideas for a finite geometry of interaction model of second-order MLL GaLoP | ||
14:30 30mTalk | Bouncing Threads for Infinitary and Circular Proofs GaLoP | ||
15:00 30mTalk | Towards Circular Proof Nets GaLoP |