LICS 2017: THIRTY-SECOND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE
PROGRAM FOR THURSDAY, JUNE 22ND: 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
17:30
18:00
18:30
19:00
19:30
20:00
20:30
21:00
21:30
22:00
22:30
10:00-10:30 Coffee Break
10:30-10:55
Benjamin Kaminski, Joost-Pieter Katoen
10:55-11:20
Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan
11:20-11:45
Richard Mayr, Sven Schewe, Patrick Totzke, Dominik Wojtczak
11:45-12:10
Christoph Haase, Stefan Kiefer, Markus Lohrey
10:30-10:55
Abbas Edalat, Mehrdad Maleki
10:55-11:20
Mathieu Hoyrup, Walid Gomaa
11:20-11:45
Florian Steinberg, Matthias Schröder
11:45-12:10
Venanzio Capretta, Jonathan Fowler
12:10-13:40 Lunch
14:05-14:30
Johan Thapper, Stanislav Živný
14:55-15:20
L. Barto, M. Kompatscher, M. Olsak, T.V. Pham, M. Pinsker
13:40-14:05
Pierre-Marie Pédrot, Nicolas Tabareau
14:30-14:55
Patrick Bahr, Hans Bugge Grathwohl, Rasmus Ejlers Møgelberg
14:55-15:20
Vincent Rahli, Mark Bickford, Robert Constable
15:20-15:50 Coffee Break
15:50-17:50 Award Session and LICS Business Meeting
19:30-22:30 Conference Banquet