W1: WFAST - Workshop on Formal Aspects in Security & Trust

T. Dimitrakos (CLRC)
F. Martinelli (CNR-IIT, Pisa, Italy)

W2: FACS - Formal Aspects of Component Software

H. Jifeng (UNU/IIST, Macau)
B. K. Aichernig (UNU/IIST, Macau)
D. Van Hung (UNU/IIST, Macau)
C. George (UNU/IIST, Macau)
Z. Liu (UNU/IIST, Macau)

W3: SBSE - Service-based Software Engineering

M. Broy (Tech. Univ. Muenchen, Germany)
H. Hussmann (Ludwig Maximilian Univ. Muenchen, Germany)
I. Krueger (Univ. of California, San Diego, USA)
B. Schätz (Tech. Univ. Muenchen, Germany)

W4: ITCLS CoLogNet Workshop - Implementation Technology for Computational Logic Systems

J. Correas (UPM, Madrid, Spain)
G. Puebla (UPM, Madrid, Spain)
M. Hermenegildo (UPM, Madrid, Spain)
M. Carro (UPM, Madrid, Spain)
C. Schulte (KTH, Stockholm, Sweden)

W5: FMGALS - Formal Methods for Globally Asynchronous Locally Synchronous Architecture

J. P. Talpin (IRISA-INRIA, Rennes, France)
S. K. Shukla (Virginia Tech., USA)
R. K. Gupta (Univ. of California, San Diego, La Jolla, USA)

W6: ST.EVE- State-oriented vs. Event-oriented thinking (in requirements analysis, formal specification and software engineering)

T. Bolognesi (CNR-ISTI, Pisa, Italy)
J. Derrick (Univ. of Kent at Canterbury, UK)

W7: WTRTES - Testing Real-Time and Embedded Systems

H. Fouchal (Univ. de Reims Champagne-Ardenne, France)