LICS 2016: THIRTY FIRST ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
PROGRAM FOR TUESDAY, JULY 5TH: TALK VIEW
Days:
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:00-09:25
Nicolas Behr, Vincent Danos, Ilias Garnier
09:25-09:50
Souymodip Chakraborty, Joost-Pieter Katoen
09:50-10:15
Stefan Kiefer, A. Prasad Sistla
10:15-10:40
Krishnendu Chatterjee, Thomas Henzinger, Jan Otop
09:25-09:50
Lorenzo Clemente, Paweł Parys, Sylvain Salvati, Igor Walukiewicz
09:50-10:15
Andreas Krebs, Kamal Lodaya, Paritosh Pandya, Howard Straubing
10:15-10:40
Brijesh Dongol, Rob Hierons
11:10-12:10 Invited Talk: Pedro Domingos
14:30-14:55
Olaf Beyersdorff, Jan Pich
13:40-14:05
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
14:05-14:30
Jakub Gajarský, Petr Hlineny, Daniel Lokshtanov, Jan Obdrzalek, M. S. Ramanujan
14:30-14:55
Azadeh Farzan, Zachary Kincaid, Andreas Podelski
14:55-15:20
K. Chatterjee, W. Dvořák, M. Henzinger, V. Loitzenbauer
15:50-16:15
M.F. Atig, D. Chistikov, P. Hofman, K. Narayan Kumar, P. Saivasan, G. Zetzsche
16:15-16:40
Luc Dartois, Emmanuel Filiot, Pierre-Alain Reynier, Jean-Marc Talbot
16:40-17:05
Arnaud Carayol, Christof Löding, Olivier Serre
16:40-17:05
Thomas Colcombet, Stefan Göller