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:25-09:50
Souymodip Chakraborty, Joost-Pieter Katoen
10:15-10:40
Krishnendu Chatterjee, Thomas Henzinger, Jan Otop
09:00-09:25
Marco Voigt, Christoph Weidenbach, Thomas Sturm
09:25-09:50
Lorenzo Clemente, Paweł Parys, Sylvain Salvati, Igor Walukiewicz
09:50-10:15
Andreas Krebs, Kamal Lodaya, Paritosh Pandya, Howard Straubing
11:10-12:10 Invited Talk: Pedro Domingos
14:55-15:20
Chuck Liang
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
Model and Objective Separation with Conditional Lower Bounds: Disjunction is Harder than Conjunction
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:15-16:40
Krishnendu Chatterjee, Laurent Doyen