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:
Main Conferences:
Complete Programme
,
CC
,
ESOP
,
FASE
,
FOSSACS
,
TACAS
Workshops:
ACCAT
,
ByteCode
,
COCV
,
CMCS
,
DCC
,
FESCA
,
FIT
,
FORMED
,
GALOP
,
GT-VMT
,
LDTA
,
MBT
,
MOMPES
,
PDMC
,
QAPL
,
RV
,
SafeCert
,
SC
,
SLA++P
,
WGT
,
WRLA
ETAPS 2008
|
Top
|
HTML 4.01
| Last Update: 2008-01-21