|
Tuesday October 21st
12:45 pm - 2:00 pm Lunch
2:00 pm - 2:15 pm
Opening
COMPAS SESSION
2:15 pm - 3:00 pm
Formal Behavioral
Models and Compliance Analysis for Service Oriented Systems
Farhad Arbab & Natallia Kokash, CWI, NL
3:00 pm - 3:45 pm
Towards Compliance-driven Models,
Languages, and Architectures for Service-oriented Computing
Schahram Dustdar,
Vienna University of Technology, AT
3:45 pm - 4:30 pm
Coffee break
4:30 pm - 6:00 pm
Panel : The Future of FMCO
7:00 pm
Welcome Event
Wednesday October 22nd
GRIDCOMP SESSION
9:30 am - 10:15 am
Distributed Components and Futures:
Models and Challenges
Ludovic Henrio, INRIA
Sophia-Antipolis, FR
10:15 am - 11:00 pm
Semi-formal models to support
program development: autonomic management within component based parallel
and distributed programming
Marco Danelutto, University of Pisa, IT
11:00 am - 11:30 am
Coffee break
11:30 am - 12:15 pm
Specification and Verification Tools
for Grid Component-based Applications
Eric Madelaine, INRIA Sophia-Antipolis, FR
12:45 pm - 2:00 pm
Lunch
DEPLOY SESSION
2:00 pm - 2:45 pm
Developing Programs by Splitting
Atoms
Cliff B. Jones, Newcastle University, UK
2:45 pm - 3:30 pm
Formal component models for sensor
networks
Kaisa Sere & Mats Neovius,
Aabo Akademi, FI
3:30 pm - 4:00 pm
Coffee break
4:00 pm - 4:45 pm
Demonstrably Correct Compilation of
Java Bytecode
Michael Leuschel, Dusseldorf
University, DE
4:45 pm - 5:30 pm
The Rodin
Platform for Incremental Modelling in Event-B
Stefan Hallerstede, Southampton University, UK
Thursday October 23rd
CREDO SESSION
9:30 am - 10:15 am
Object-Oriented Modelling and Heterogeneous Networks
Marcel Kyas, University of Oslo, NW
10:15 am - 11:00 pm
Testing Concurrent Objects
Bernhard Aichernig, Graz University of
Technology, AT, and UNU-IST
11:00 am - 11:30 am
Coffee break
11:30 am - 12:15 pm
Formal Verification for Dynamic
Coordination Models
Sascha Klueppelholz, Techn. University of Dresden, DE
12:45 pm - 2:00 pm
Lunch
MOBIUS SESSION
2:00 pm - 2:45 pm
Mobility and Global Progress in
Asynchronous Multiparty Sessions
Nobuko Yoshida, Imperial College, UK
2:45 pm - 3:30 pm
Abstract Interpretation of Symbolic
Execution for Information Flow Analysis
Reiner Hahnle,
Chalmers, SE
3:30 pm - 4:00 pm
Coffee break
4:00 pm - 4:45 pm
BML: Specification and Verification
at the Bytecode Level
Aleksy Schubert, Warsaw University, PL
4:45 pm - 5:00 pm
Presentation of the Hats project
proposal
Reiner Hahnle,
Chalmers, SE
7:00 pm
Conference Dinner
|
