ETAPS 2014: 5-13 April 2014, Grenoble, France

ETAPS 2014 Programme

Programme at glance

Workshops Main conferences Workshops
Saturday
April 5th
Sunday
April 6th
Monday
April 7th
Tuesday
April 8th
Wednesday
April 9th
Thursday
April 10th
Friday
April 11th
Saturday
April 12th
Sunday
April 13th
CMCS CMCS CC            
DICE DICE   ESOP ESOP ESOP   CASSTING  
  F-IDE   FASE FASE FASE FASE FESCA  
   FPS   FOSSACS FOSSACS FOSSACS FOSSACS GALOP GALOP
GRAPHITE   POST POST       GRAMSEC  
GT-VMT GT-VMT TACAS TACAS TACAS TACAS TACAS HAS  
HOT-SPOT             MSFP  
  MBT           PLACES  
  MEALS           QAPL QAPL
  RePP              
SR SR              
  SynCop              
VSSE                
WRLA WRLA              

 

Main conferences programme at glance

  Monday
April 7th
Tuesday
April 8th
Wednesday
April 9th
Thursday
April 10th
Friday
April 11th
08h30 - 09h00 Opening  
09h00 - 10h00 CC Invited Speaker
Benoit Dupont
de Dinechin
FASE Invited
Speaker
Christel Baier
ETAPS Invited
Speaker
Geoffrey Smith
ETAPS Invited
Speaker
John Launchbury
FOSSACS Invited
Speaker
Petr Jančar
10h00 - 10h30 Coffee Break
10h30 - 12h30 CC - POST
TACAS
ESOP - FASE
FOSSACS - TACAS
ESOP - FASE
TACAS
ESOP - FOSSACS
TACAS SV-COMP
FASE - FOSSACS
TACAS
12h30 - 14h00 Lunch
14h00 - 16h00 CC - POST
TACAS
POST Invited
Speaker
David Mazières


ESOP - FASE
FOSSACS - POST
- TACAS 20 years -
ESOP Invited
Speaker
Maurice Herlihy


ESOP - FASE
FOSSACS - TACAS
  
TACAS Invited
Speaker
Orna Kupferman


ESOP - FASE
FOSSACS - TACAS
   
FASE - FOSSACS
TACAS
16h00 - 16h30 Coffee Break
16h30 - 18h00 CC - POST
TACAS
ESOP - POST
- Tutorial I:
Andy Gordon
 -
- TACAS 20 years -

ESOP - FASE
FOSSACS - TACAS
 
 

ESOP - FASE
TACAS
- Tutorial II:
Bernd Finkbeiner
-  
FOSSACS - TACAS
18h15 - 20h15   SC Meeting  
  Reception  TACAS 20 years
Dinner
Dinner SC Dinner