Programme Overview

ETAPS will be held at the Danubius Health Spa Resort Margitsziget and Danubius Grand Hotel Margitsziget .
Saturday
(March 29)		 Sunday
(March 30)		 Monday
(March 31)		 Tuesday
(April 1)		 Wednesd.
(April 2)		 Thursday
(April 3)		 Friday
(April 4)		 Saturday
(April 5)		 Sunday
(April 6)
Session 1
Tutorial
Spec#
Hol-Testgen
Learning meets Verification
Workshops
DCC
FESCA
FORMED
GT-VMT
IFIP
PDMC
QAPL
SafeCert
SC
WRLA
Tutorial
JML and ESC/Java2
Workshops
ACCAT
DCC
GT-VMT
MBT
QAPL
RV
SC
WRLA
09:00 - 9:30
Welcome
09:30 - 10:30
Invited Talk
(FASE)
09:00 - 10:00
Invited Talk
(ESOP)
9:00 - 10:00
Invited Talk
(Unifying)
9:00 - 10:00
Invited Talk
(TACAS)
9:00 - 10:00
Invited Talk
(CC)
09:30 - 10:30
CMCS
Tutorial
Static Analysis: Heap
Model vs. Code Verification
Workshops
Bytecode
CMCS
COCV
FIT
GALOP
LDTA
MOMPES
SLA++P
WGT
Web Services
Phoenix
Workshops
CMCS
GALOP
Coffee
Session 2
11:00 - 12:30
ESOP
FASE
TACAS
10:30 - 12:30
ESOP
FASE
TACAS
10:30 - 12:30
ESOP
FASE
FOSSACS
10:30 - 12:30
CC
FOSSACS
TACAS
10:30 - 12:30
CC
FOSSACS
11:00 - 12:30
CMCS
Lunch
Session 3
14:30 - 16:30
ESOP
FASE
TACAS
14:30 - 16:30
ESOP
FASE
TACAS
14:15 - 15:15
Invited Talk
(Unifying)
15:30 - 16:30
ESOP
FOSSACS
TACAS
14:15 - 15:15
Invited Talk
(FOSSACS)
15:30 - 16:30
FOSSACS
TACAS
14:30 - 16:30
CC
FOSSACS
13:45 - 16:00
CMCS
Coffee
Session 4
17:00 - 18:30
ESOP
FASE
TACAS
17:00 - 18:30
ESOP
FASE
TACAS
17:00 - 18:30
FASE
FOSSACS
TACAS
17:00 - 18:30
CC
FOSSACS
TACAS
17:00 - 18:30
CC
FOSSACS
16:30 - 18:00
CMCS
Evening
IFIP
Dinner
FORMED
Dinner
19:00 - 23:30
Pre-Banquet
19:00 - 21:00
Reception
19:30 -
Banquet
18:45 - 23:30
Post-Banquet

The registration desk opens daily from 8am to 6pm.

Detailed Programme Information:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-21