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:
Social Programme
Main Conferences:
Complete Programme
,
CC
,
ESOP
,
FASE
,
FOSSACS
,
TACAS
Workshops:
ACCAT
,
Bytecode
,
COCV
,
FESCA
,
FinCo
,
GT-VMT
,
HAV
,
HFL
,
LDTA
,
MBT
,
MOMPES
,
OpenCert
,
QAPL
,
SC
,
SLA++P
,
TERMGRAPH
,
WITS
Tutorials:
Stratego/XT
,
SoftwGen
,
Mobius
ETAPS 2007
|
Top
|
HTML 4.01
| Last Update: 2007-02-13