The following tutorials will be held during ETAPS 2002 :
T1:
Theory and Practice of Coordination Technologies
Presenters
J. Fiadero,
A. Lopes,
M. Wermelinger.
Date
April 7, 2002 full day
ABSTRACT
WEB PAGE
T2:
Cordination Models and Languages: a Formal Introduction
Presenters
N. Busi,
Gianluigi Zavattaro.
Date
April 7, 2002, morning
ABSTRACT
T3:
ACL2 Tutorial
Presenters
M. Kaufmann,
P. Manolios,
J Strother Moore.
Date
April 7, 2002, full day
ABSTRACT
WEB PAGE
T4:
Components Models and Component Based Architectures
Presenters
J. Estublier,
J. M. Favre.
Date
April 7, 2002, afternoon
ABSTRACT
WEB PAGE
T5:
Functional Web Programming
Presenters
P. Thiemann.
Date
April 14, 2002, morning
ABSTRACT
WEB PAGE
T12:
Basic SPIN Tutorial
Presenters
T. Ruys.
Date
April 11, 2002, morning
ABSTRACT
WEB PAGE
T6:
Formal Methods for Timing and Schedlability Analysis of Embedded Systems
Presenters
I. Lee,
A. Philippou,
O. Sokolsky.
Date
April 13, 2002, morning
ABSTRACT
WEB PAGE
T8:
Software Metrology Basics
Presenters
Hans-Ludwig Hausen,
Date
April 13, 2002, full day
ABSTRACT
T9:
Beyond Model Checking: Formal Specification and Verification
of Practical Mission-Critical Systems
Presenters
R. Bharadwaj.
Date
April 13, 2002, morning
ABSTRACT
WEB PAGE
T10:
Using the Bandera Tool Set and JPF to Model-check Properties of Concurrent
Java Software
Presenters
J. Hatcliff,
M. Dwyer,
Willem Visser.
Date
April 13, 2002, full day
ABSTRACT
WEB PAGE
T11:
Foundations andApplication of Graph Transformation
Presenters
Luciano Baresi,
Reiko Heckel,
Date
April 13, 2002, afternoon
ABSTRACT
T7:
Strategies for Program Transformation
Presenters
E. Visser,
Date
April 14, 2002, full day
ABSTRACT
WEB PAGE