ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands

ETAPS 2016 Programme

Programme at a glance

Workshops Main conferences Workshops
Saturday
2 April
Sunday
3 April
Monday
4 April
Tuesday
5 April
Wednesday
6 April
Thursday
7 April
Friday
8 April
    ESOP ESOP ESOP ESOP  
    FoSSaCS FoSSaCS FoSSaCS FoSSaCS  
    POST POST      
      FASE FASE FASE  
    TACAS TACAS TACAS TACAS  
          SPIN SPIN

 

Main conferences programme at a glance

  Monday
4 April
Tuesday
5 April
Wednesday
6 April
Thursday
7 April
08h30 - 09h00 Opening  
09h00 - 10h00 Invited Talk
Andrew Gordon
Invited Speaker
Vitaly Shmatikov
Invited Speaker
Oscar Nierstrasz
Invited Speaker
Rupak Majumdar
10h00 - 10h30 Coffee Break
10h30 - 12h30 ESOP - FoSSaCS
POST - TACAS
FASE - FoSSaCS
POST - TACAS
ESOP - FoSSaCS
FASE - TACAS
ESOP - FoSSaCS
FASE - TACAS
12h30 - 14h00 Lunch
14h00 - 15h00 ESOP - FoSSaCS
POST - TACAS
Invited Speaker
Cristina Lopes
ESOP - FoSSaCS
FASE - TACAS
ESOP - FoSSaCS
FASE - TACAS
15h00 - 15h30 Coffee Break
15h30 - 16h00 ESOP
FoSSaCS
FASE
TACAS
16h00 - 16h30 Coffee Break Coffee Break
16h30 - 18h00 Tutorial Peter Ryan - TACAS Tutorial Grigore Rosu
- TACAS
TACAS
18h00 - 19h00   SC meeting    
19h00 - 22h30

Reception
(map / directions)

(19h30) SC dinner

Banquet
(map / directions)