SPIoT 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS3
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
IGaLoP at S3
09:00
60m
Talk
Intertwining game theory and game semantics
GaLoP
I: Jules Hedges University of Oxford
10:00
30m
Talk
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
IIGaLoP at S3
11:00
30m
Talk
Characterizing Downwards Closed Strongly First Order Dependencies
GaLoP
Pietro Galliani Free University of Bozen-Bolzano
11:30
30m
Talk
Logics for first-order definable team properties
GaLoP
Juha Kontinen , Fan Yang University of Helsinki
13:30 - 15:30
IIIGaLoP at S3
13:30
60m
Talk
Model checking games: the recent advances on parity games
GaLoP
I: Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute
14:30
30m
Talk
A Framework for Compositional Model Checking
GaLoP
Yu-Yang Lin Queen Mary University of London, Nikos Tzevelekos Queen Mary University of London
15:00
30m
Talk
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

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
VGaLoP at S3
09:00
60m
Talk
Template games: a homotopy model of differential linear logic
GaLoP
I: Paul-André Melliès CNRS and University Paris Diderot
10:00
30m
Talk
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
VIGaLoP at S3
11:00
30m
Talk
A game semantics understanding of asynchronous multiparty session types subtyping
GaLoP
Simon Castellan , Alceste Scalas Aston University, Nobuko Yoshida Imperial College London
11:30
30m
Talk
Probabilistic Programming Inference via Intensional Semantics
GaLoP
Simon Castellan Imperial College London, UK, Hugo Paquet University of Cambridge
16:00 - 18:00
VIIIGaLoP at S3

Sat 6 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S3

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
S3