ETAPS 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
Toggle navigation
About
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Accommodation
Registration
Travel
Food
Social Events
Conferences
Scholarships
Proceedings
Awards
Conduct
ETAPS'19 Photos
Program
ETAPS Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Conferences
ETAPS 2019
Keynotes
Mentoring Workshop
Mooly Fest
Posters
Social
Student Volunteers
TOOLympics
Tutorials
Workshops
Co-hosted Conferences
ESOP
FASE
FOSSACS
POST
TACAS
Workshops
BEHAPI
CREST
DICE-FOPARA
GaLoP
HCVS
HSB
InterAVT
LiVe
MeTRiD
PERR
PLACES
QAPL
SPIoT
SYNT Camp
SynCoP
VerifyThis
Organization
ETAPS 2019 Committees
Organizing Committee
Steering Committee
Executive Board
Track Committees
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Posters
TOOLympics
Workshops
Contributors
People Index
Co-hosted Conferences
ESOP
Program Committee
FASE
Program Committee
FOSSACS
Invited Speaker
Program Committee
POST
Program Committee
TACAS
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
BEHAPI
Organizing Committee
Program Committee
CREST
Invited Speakers
Program Committee
DICE-FOPARA
Program Committee
Steering Committe (FOPARA)
Steering Committee (DICE)
GaLoP
Program Committee
Steering Committee
HCVS
Invited Speakers
Organizing Committee
Program Committee
HSB
Organizing Committee
Program Committee
InterAVT
Organizing Committee
Program Committee
LiVe
Program Committee
MeTRiD
Organizing Committee
Program Committee
PERR
Organizing Committee
Program Committee
PLACES
Organizing Committee
Program Committee
QAPL
Organizing Committee
Steering Committee
SPIoT
Organizing Committee
Program Committee
SYNT Camp
Organizing Committee
Program Committee
SynCoP
Organizing Committee
Steering Committee (and PC)
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
Charles University
/
Room information: S3
Venue
Charles University
Room name
S3
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
.
Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+04:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
I
GaLoP
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
II
GaLoP
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
III
GaLoP
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
16:00 - 18:00
IV
GaLoP
at
S3
16:00
30m
Talk
Sequential algorithms and innocent strategies share the same execution mechanism
GaLoP
Pierre-Louis Curien
Univ. Paris Diderot and INRIA Paris-Rocquencourt
16:30
40m
Talk
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
GaLoP
Colin Riba
,
Pierre Pradic
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
09:00 - 10:30
V
GaLoP
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
VI
GaLoP
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
13:30 - 15:30
VII
GaLoP
at
S3
13:30
30m
Talk
Full Abstraction for the Quantum Lambda-Calculus
GaLoP
Pierre Clairambault
CNRS & ENS Lyon
,
Marc De Visme
ENS Lyon
14:00
30m
Talk
Some ideas for a finite geometry of interaction model of second-order MLL
GaLoP
Lê Thành Dũng Nguyễn
14:30
30m
Talk
Bouncing Threads for Infinitary and Circular Proofs
GaLoP
David Baelde
LSV, ENS Cachan
,
Amina Doumane
,
Denis Kuperberg
,
Alexis Saurin
15:00
30m
Talk
Towards Circular Proof Nets
GaLoP
Abhishek De
IRIF, CNRS, France
,
Alexis Saurin
16:00 - 18:00
VIII
GaLoP
at
S3
Sat 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
S3
GaLoP
I
GaLoP
II
GaLoP
III
GaLoP
IV
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
S3
GaLoP
V
GaLoP
VI
GaLoP
VII
GaLoP
VIII
Sat 6 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
S3
GaLoP
Intertwining game theory and game semantics
09:00 - 10:00
GaLoP
Universal property of the monad for infinite trace strategies (work in ...
10:00 - 10:30
GaLoP
Characterizing Downwards Closed Strongly First Order Dependencies
11:00 - 11:30
GaLoP
Logics for first-order definable team properties
11:30 - 12:00
GaLoP
Model checking games: the recent advances on parity games
13:30 - 14:30
GaLoP
A Framework for Compositional Model Checking
14:30 - 15:00
GaLoP
Modalities as prices: a game model of intuitionistic linear logic with ...
15:00 - 15:30
GaLoP
Sequential algorithms and innocent strategies share the same execution ...
16:00 - 16:30
GaLoP
A Dialectica-Like Interpretation of a Linear MSO on Infinite Words
16:30 - 17:10
Sun 7 Apr
Displayed time zone:
Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
S3
GaLoP
Template games: a homotopy model of differential linear logic
09:00 - 10:00
GaLoP
Simple game semantics and Day convolution
10:00 - 10:30
GaLoP
A game semantics understanding of asynchronous multiparty session types ...
11:00 - 11:30
GaLoP
Probabilistic Programming Inference via Intensional Semantics
11:30 - 12:00
GaLoP
Full Abstraction for the Quantum Lambda-Calculus
13:30 - 14:00
GaLoP
Some ideas for a finite geometry of interaction model of second-order MLL
14:00 - 14:30
GaLoP
Bouncing Threads for Infinitary and Circular Proofs
14:30 - 15:00
GaLoP
Towards Circular Proof Nets
15:00 - 15:30
x
Sun 22 Dec 07:22