Final Program

Programme overview

Sat Sun Mon Tue Wed Thu Fri Sat Sun
16 Mar 17 Mar 18 Mar 19 Mar 20 Mar 21 Mar 22 Mar 23 Mar 24 Mar
Workshops ETAPS 2013 main conferences Workshops
9:00-18:00 9:00-18:00 9:00-10:30 9:00-10:00 9:00-10:00 9:00-10:00 9:00-10:30 9:00-18:00 9:00-18:00
DICE Opening POST:Hubaux Unifying: Barthe FASE:Czarnecki CC:Berger GT-VMT
SR FOSSACS:Hofmann


Böhm Fest QAPL
Found. Sys. Spec.
HAS 11:00-12:30 10:30-12:30 10:30-12:30 10:30-12:30 11:00-12:30 FESCA MLQA
VSSE HotSpot FoSSaCS FoSSaCS ESOP ESOP CC PLACES GRAPHITE
AiSoS MBT POST POST FASE FASE ESOP TERM-GRAPH IC1201 (COST Action meeting)
 MEALS TACAS TACAS FoSSaCS TACAS FASE Bytecode

ACCAT

TACAS TACAS SV competition
CerCo

BX 14:00-15:30 14:00-15:30 14:00-16:15 14:00-16:15 14:00-16:15


Tutorials FoSSaCS ESOP Unifying: Fournet TACAS:Grumberg ESOP:Miller



POST FoSSaCS ESOP CCTribute to Kohei Honda




TACAS TACAS FASE ESOP CC





TACAS FASE  






TACAS tool demo




16:00-18:00 16:00-18:00 16:30-18:00 16:30-18:00 16:30-18:00



FoSSaCS ESOP ESOP CC CC



POST FoSSaCS FASE ESOP ESOP



TACAS TACAS FoSSaCS FASE FASE





TACAS TACAS



Pre-wksh dinner Welcome reception SC meeting Conf dinner SC meeting
Post-wksh dinner

Who's online

We have 65 guests and no members online

Site Hosted by

ETAPS 2013

logo_sapienza