Programme
timezone:
UTC+2
UTC+2
12:00-12:30
12:30-13:00
13:00-13:30
13:30-14:00
14:00-14:30
14:30-15:00
15:00-15:30
15:30-16:00
16:00-16:30
16:30-17:00
17:00-17:30
17:30-18:00
18:00-18:30
18:30-19:00
Mon
06.07.2020
06.07.2020
Workshops
This is just a placeholder – please check the websites of the individual workshops for their exact schedules:
This is just a placeholder – please check the websites of the individual workshops for their exact schedules:
LCC:
Logic and Computational Complexity
LMW:
Logic Mentoring Workshop
PRiML:
Programming Research in Mainstream Languages
Tue
07.07.2020
07.07.2020
Workshops
This is just a placeholder – please check the websites of the individual workshops for their exact schedules:
This is just a placeholder – please check the websites of the individual workshops for their exact schedules:
AATG:
Algorithmic Aspects of Temporal Graphs
INFINITY:
Verification of Infinite-State Systems
Wed
08.07.2020
08.07.2020
Invited Talk (LICS/ICALP)
Andrew Yao
when is this in my timezone?
when is this in my timezone?
Opening Ceremony (LICS/ICALP)
and Best Video Awards
when is this in my timezone?
when is this in my timezone?
Break
Q/A Session A
ICALP-A: A1-A3
ICALP-B: A4
LICS: A5-A6
click to see detailed paper schedule
when is this in my timezone?
ICALP-A: A1-A3
ICALP-B: A4
LICS: A5-A6
click to see detailed paper schedule
when is this in my timezone?
Break
Invited Talk (ICALP-A)
Virginia Vassilevska Williams
when is this in my timezone?
when is this in my timezone?
Break
Q/A Session B
ICALP-A: B1-B3
ICALP-B: B4
LICS: B5-B6
click to see detailed paper schedule
when is this in my timezone?
ICALP-A: B1-B3
ICALP-B: B4
LICS: B5-B6
click to see detailed paper schedule
when is this in my timezone?
Thu
09.07.2020
09.07.2020
Invited Talk (LICS/ICALP)
Jerome Leroux
when is this in my timezone?
when is this in my timezone?
Break
Tutorial (LICS/ICALP)
Erich Grädel
when is this in my timezone?
when is this in my timezone?
Break
Q/A Session C
ICALP-A: C1-C3
ICALP-B: C4
LICS: C5-C6
click to see detailed paper schedule
when is this in my timezone?
ICALP-A: C1-C3
ICALP-B: C4
LICS: C5-C6
click to see detailed paper schedule
when is this in my timezone?
Break
Q/A Session D
ICALP-A: D1-D3
ICALP-B: D4
LICS: D5-D6
click to see detailed paper schedule
when is this in my timezone?
ICALP-A: D1-D3
ICALP-B: D4
LICS: D5-D6
click to see detailed paper schedule
when is this in my timezone?
EATCS Award (ICALP)
and Best Paper Announcement
when is this in my timezone?
when is this in my timezone?
Fri
10.07.2020
10.07.2020
Invited Talk (ICALP-B)
Stefan Kiefer
when is this in my timezone?
when is this in my timezone?
Break
Award Session (LICS/ICALP)
Presburger Award, Gödel Prize, Test of Time (LICS)
when is this in my timezone?
when is this in my timezone?
Break
Q/A Session E
ICALP-A: E1-E3
ICALP-B: E4
LICS: E5-E6
click to see detailed paper schedule
when is this in my timezone?
ICALP-A: E1-E3
ICALP-B: E4
LICS: E5-E6
click to see detailed paper schedule
when is this in my timezone?
Break
Tutorial (LICS)
Brigitte Pientka
when is this in my timezone?
when is this in my timezone?
Sat
11.07.2020
11.07.2020
Invited Talk (LICS)
Mariangiola Dezani
when is this in my timezone?
when is this in my timezone?
Break
Q/A Session F
ICALP-A: F1-F2
ICALP-B: F3
LICS: F4-F5
click to see detailed paper schedule
when is this in my timezone?
ICALP-A: F1-F2
ICALP-B: F3
LICS: F4-F5
click to see detailed paper schedule
when is this in my timezone?
Break
Invited Talk (ICALP-A)
Robert Krauthgamer
when is this in my timezone?
when is this in my timezone?
Break