Programme

(preliminary)

timezone:
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
Workshops
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
Workshops
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
Invited Talk (LICS/ICALP) Andrew Yao

when is this in my timezone?
Opening Ceremony (LICS/ICALP) and Best Video Awards

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?
Break
Invited Talk (ICALP-A) Virginia Vassilevska Williams

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?
Thu
09.07.2020
Invited Talk (LICS/ICALP) Jerome Leroux

when is this in my timezone?
Break
Tutorial (LICS/ICALP) Erich Grädel

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?
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?
EATCS Award (ICALP) and Best Paper Announcement

when is this in my timezone?
Fri
10.07.2020
Invited Talk (ICALP-B) Stefan Kiefer

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?
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?
Break
Tutorial (LICS) Brigitte Pientka

when is this in my timezone?
Sat
11.07.2020
Invited Talk (LICS) Mariangiola Dezani

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?
Break
Invited Talk (ICALP-A) Robert Krauthgamer

when is this in my timezone?
Break
Business Meetings

LICS Business Meeting
EATCS General Assembly

when is this in my timezone?