ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueCharles University
Room nameS3
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: IGaLoP at S3
09:00 - 10:00
Talk
Intertwining game theory and game semantics
GaLoP
I: Jules HedgesUniversity of Oxford
10:00 - 10:30
Talk
Universal property of the monad for infinite trace strategies (work in progress)
GaLoP
Paul Blain LevyUniversity of Birmingham, Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8
11:00 - 12:00: IIGaLoP at S3
11:00 - 11:30
Talk
Characterizing Downwards Closed Strongly First Order Dependencies
GaLoP
Pietro GallianiFree University of Bozen-Bolzano
11:30 - 12:00
Talk
Logics for first-order definable team properties
GaLoP
Juha Kontinen, Fan YangUniversity of Helsinki
13:30 - 15:30: IIIGaLoP at S3
13:30 - 14:30
Talk
Model checking games: the recent advances on parity games
GaLoP
I: Nathanaël FijalkowCNRS, LaBRI, and Alan Turing Institute
14:30 - 15:00
Talk
A Framework for Compositional Model Checking
GaLoP
Yu-Yang LinQueen Mary University of London, Nikos TzevelekosQueen Mary University of London
15:00 - 15:30
Talk
Modalities as prices: a game model of intuitionistic linear logic with subexponentials
GaLoP
Timo LangVienna University of Technology, Chris FermüllerVienna University of Technology, Elaine PimentelFederal University of Rio Grande do Norte, Brazil, Carlos OlarteFederal University of Rio Grande do Norte, Brazil

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30: VGaLoP at S3
09:00 - 10:00
Talk
Template games: a homotopy model of differential linear logic
GaLoP
I: Paul-André MelliesCNRS and University Paris Diderot
10:00 - 10:30
Talk
Simple game semantics and Day convolution
GaLoP
Clovis EberhartNational Institute of Informatics, Japan, Tom HirschowitzUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry, Alexis LaouarUniv. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS
11:00 - 12:00: VIGaLoP at S3
11:00 - 11:30
Talk
A game semantics understanding of asynchronous multiparty session types subtyping
GaLoP
Simon Castellan, Alceste ScalasAston University, Nobuko YoshidaImperial College London
11:30 - 12:00
Talk
Probabilistic Programming Inference via Intensional Semantics
GaLoP
Simon CastellanImperial College London, UK, Hugo PaquetUniversity of Cambridge
16:00 - 18:00: VIIIGaLoP at S3

Sat 6 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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