Program Overview 

Click image for PDF, or choose poster version (updated 2014-06-24)

Monday July 7

• (Registration open 8.00–18.00)
• 8.55–17.00: Workshops TOLA/YR-ICALP (with breaks/lunch; poster session is 13.30–15)
• 17.30–20.00 Welcome reception

Tuesday July 8

• (Registration open 8.00–10.00)
• 8.30–9.30 Invited talk: Claire Mathieu
• 10.00–16.35: Talks in 3 parallel sessions (with breaks/lunch)
• 17.00–19.00 EATCS general assembly

Wednesday July 9

• (Registration open 8.00–8.30)
• 8.30–9.30 Invited talk: Viktor Kuncak
• 10.00–14.35: Talks in 3 parallel sessions (with breaks/lunch)
• 15.00–16.30 Presburger, EATCS, and best paper awards
• 16.50–19.00 Canal Tour
• 19.00–24.00 Conference dinner and Gödel Prize

Thursday July 10

• (Registration open 8.00–8.30)
• 8.30–9.30 Invited talk: Sanjeev Arora
• 10.00–16.35: Talks in 3 parallel sessions (with breaks/lunch)
• 17.00–18.30: Football match

Friday July 11

• (Registration open 8.00–8.30)
• 8.30–9.30 Invited talk: Maurice Herlihy
• 10.00–15.25: Talks in 3 parallel sessions (with breaks/lunch)

Detailed session programs: track A, track B, track C, TOLA, YR-ICALP