ETAPS 2018: 14-20 April 2018, Thessaloniki, Greece

Programme

Programme at a glance

View the Detailed Programme

The detailed programme includes proceeding links to specific papers.

If you wish to download the complete volumes please click on the appropriate link below.

TACAS (Vol.1) - TACAS (Vol.2) - FoSSaCS - ESOP - POST - FASE

Monday
Apr 16

Tuesday
Apr 17

Wednesday
Apr 18

Thursday
Apr 19
08:00

Registration opens

      
08:30 - 09:00

ETAPS Opening
Alexandros I

      
09:00 - 10:00

Keynote Speech
Benjamin Pierce
Alexandros I
09:00 - 10:00

Keynote Speech
Martin Abadi
Alexandros I
09:00 - 10:00

Keynote Speech
Pamela Zave
Alexandros I
09:00 - 10:00

Keynote Speech
Derek Dreyer
Alexandros I
10:00 - 10:30

Coffee Break
10:00 - 10:30

Coffee Break
10:00 - 10:30

Coffee Break
10:00 - 10:30

Coffee Break
10:30 - 12:30

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
POST
Amfitrion II
10:30 - 12:30

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
POST
Amfitrion II
10:30 - 12:30

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
FASE
Amfitrion II
10:30 - 12:30

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
FASE
Amfitrion II
12:30 - 14:00

Lunch
12:30 - 14:00

Lunch
12:30 - 14:00

Lunch
12:30 - 14:00

Lunch
14:00 - 16:00

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
POST
Amfitrion II
14:00 - 16:00

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
POST
Amfitrion II
14:00 - 16:00

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
FASE
Amfitrion II
14:00 - 16:00

TACAS
Alexandros I
TACAS
Amfitrion I
ESOP
Aristotelis II
FASE
Amfitrion II
16:00 - 16:30

Coffee Break
16:00 - 16:30

Coffee Break
16:00 - 16:30

Coffee Break
16:00 - 16:30

Coffee Break
16:30 - 18:00

TACAS
Aristotelis II
Invited Tutorial
Fabio Somenzi
Alexandros I
16:30 - 18:00

TACAS
Alexandros I
FoSSaCS
Amfitrion I
ESOP
Aristotelis II
16:30 - 18:00

TACAS
Aristotelis II
Invited Tutorial
Armin Biere, Johannes Kepler 
Alexandros I
16:30 - 18:00

TACAS
Alexandros I
TACAS
SV-COMP Community Meeting 
Amfitrion I
ESOP
Aristotelis II
FASE
Amfitrion II
18:30 - 20:00

Reception
Hotel Lounge / Poolside

  
 
  
   
20:00

Conference Dinner
Kitchen Bar restaurant