LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
PROGRAM FOR FRIDAY, JUNE 23RD: TALK VIEW
Days:
previous 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
17:30
09:00-10:00
Thomas Colcombet
10:00-10:30 Coffee Break
10:30-10:55
E. Filiot, I. Jecker, N. Lhote, G. Perez, J.-F. Raskin
10:55-11:20
Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Dominik Wojtczak
11:20-11:45
Thomas Colcombet, Marcin Jurdzinski, Ranko Lazic, Sylvain Schmitz
10:55-11:20
Miguel Romero Orth, Pablo Barceló, Moshe Vardi
11:45-12:10
Samson Abramsky, Anuj Dawar, Pengming Wang
12:10-13:40 Lunch
13:40-14:05
Karin Quaas, Mahsa Shirmohammadi, James Worrell
14:05-14:30
Lorenzo Clemente, Slawomir Lasota, Ranko Lazic, Filip Mazowiecki
14:30-14:55
Bakh Khoussainov, Toru Takisaka
14:55-15:20
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Vardi
14:55-15:20
Michaël Cadilhac, Charles Paperman
15:20-15:50 Coffee Break
15:50-16:15
Krzysztof Bar, Jamie Vicary
16:15-16:40
Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu, Dmitriy Traytel
16:40-17:05
Ohad Kammar, Paul Blain Levy, Sean Moss, Sam Staton
17:05-17:30
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
15:50-16:15
M. Biernacka, D. Biernacki, S. Lenglet, P. Polesiuk, D. Pous, A. Schmitt
16:15-16:40
Bahareh Afshari, Graham Leigh
17:30-17:35 Closing Remarks