LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
PROGRAM FOR WEDNESDAY, JULY 6TH: TALK VIEW
Days:
previous day
next day
all days

View: with abstractssession overview

9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
09:25-09:50
Lucas Heimberg, Dietrich Kuske, Nicole Schweikardt
10:15-10:40
Michael Benedikt, Pierre Bourhis, Gabriele Puppis, Balder Ten Cate
09:00-09:25
Damien Pous
09:25-09:50
Rasmus Ejlers Møgelberg, Marco Paviotti
10:15-10:40
Dirk Pattinson, Lutz Schröder
11:10-12:10 Invited Tutorial: Mai Gehrke
14:30-14:55
G. Jaber, G. Lewertowski, P.-M. Pédrot, M. Sozeau, N. Tabareau
14:55-15:20
Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin
13:40-14:05
Emmanuel Filiot, Olivier Gauwin, Nathan Lhote
14:05-14:30
Michael Elberfeld, Marlin Frickenschmidt, Martin Grohe
14:30-14:55
Mikołaj Bojańczyk, Michał Pilipczuk
14:55-15:20
Silvio Ghilardi, Samuel J. van Gool
15:50-16:15
Thomas Seiller
16:15-16:40
Dominic Hughes, Willem Heijltjes
15:50-16:15
Emanuele D'Osualdo, Roland Meyer, Georg Zetzsche
16:15-16:40
Ranko Lazic, Sylvain Schmitz