Programme Overview

Saturday Sunday Monday Tuesday Wednesd. Thursday Friday Saturday Sunday
Session 1
Tutorials
Stratego/XT
SoftwGen
Workshops
FESCA
HFL
QAPL
SC
WITS
Workshops
ACCAT
COCV
HAV
HFL
LDTA
QAPL
SC
WITS
09:00 - 10:30
General
FOSSACS
09:00 - 10:00
CC
09:00 - 10:10
General
09:00 - 10:00
FASE
09:00 - 10:00
ESOP
Workshops
Bytecode
FinCo
GT-VMT
MBT
MOMPES
OpenCert
SLA++P
TERMGRAPH
Tutorials
Mobius
Workshops
GT-VMT
MBT
Coffee
Session 2
11:00 - 12:30
CC
FOSSACS
TACAS
10:30 - 12:30
CC
FOSSACS
TACAS
10:30 - 12:30
ESOP
FASE
FOSSACS
TACAS
10:30 - 12:30
ESOP
FASE
TACAS
10:30 - 12:30
ESOP
FASE
TACAS
Lunch
Session 3
14:30 - 16:30
CC
FOSSACS
TACAS
14:30 - 16:30
FOSSACS
TACAS (I)
TACAS (II)
14:30 - 15:40
TACAS
15:50 - 16:50
ESOP (I)
ESOP (II)
FASE
TACAS
14:30 - 15:30
General
15:50 - 16:50
ESOP
TACAS
14:30 - 16:30
ESOP
FASE
TACAS
Coffee
Session 4
17:00 - 18:30
CC
FOSSACS
TACAS
17:00 - 18:30
FASE
FOSSACS
TACAS
17:15 - 18:45
ESOP (I)
ESOP (II)
FASE
TACAS
17:15 - 18:45
ESOP
FASE
TACAS
17:00 - 18:30
ESOP
FASE
TACAS
Break
Evening
18:45
IFIP wg1.3
18:45
Pre-Conf. WS-Dinner
19:00
Reception
19:00
10th Anniv.
19:00
Banquet
18:45
Post-Conf. WS-Dinner



Detailed Programme Information:


ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-02-13