ETAPS 2015 Programme

Programme at glance

Workshops Main conferences Workshops
Saturday
11 April
Sunday
12 April
Monday
13 April
Tuesday
14 April
Wednesday
15 April
Thursday
16 April
Friday
17 April
Saturday
18 April
  DICE         CC HotSpot
  FESCA   ESOP ESOP ESOP   MBT
 FMSPLE   FASE FASE FASE     PLACES
FOPARA   FOSSACS FOSSACS FOSSACS FOSSACS   TTATT
GALOP GALOP       POST POST TPDP
GaM GaM TACAS TACAS TACAS TACAS TACAS  
QAPL QAPL            
SynCop              
  VerifyThis            
VPT              
  WoC            
  WPLI            

 

Main conferences programme at glance

  Monday
13 April
Tuesday
14 April
Wednesday
15 April
Thursday
16 April
Friday
17 April
08h30 - 09h00 Opening  
09h00 - 10h00 Invited Speaker
Invited Speaker
Invited Speaker
Invited Speaker
Invited Speaker
10h00 - 10h30 Coffee Break
10h30 - 12h30 FASE - FOSSACS
TACAS
ESOP - FASE
FOSSACS
ESOP - FOSSACS
TACAS
ESOP - POST
TACAS SV-COMP
CC - POST
TACAS
12h30 - 14h00 Lunch
14h00 - 16h00 FASE - FOSSACS
TACAS
ESOP - FASE
TACAS
ESOP - FASE
TACAS
ESOP - FOSSACS
POST - TACAS
CC - POST
TACAS
16h00 - 16h30 Coffee Break
16h30 - 18h00 FASE - FOSSACS
TACAS
ESOP - FOSSACS
Tutorial
ESOP - FOSSACS
TACAS
ESOP - TACAS
Tutorial
CC - POST
TACAS
18h00 - 19h30   SC Meeting  
  Reception   Dinner SC Dinner  

Who's online

We have 93 guests and no members online

Site Hosted by