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 yearsDinner Dinner SC Dinner