[Prev][Next][Index][Thread]
FMCO: Last Call and Final Program
**************************CALL FOR PARTICIPATION*******************************
First International Symposium on
FORMAL METHODS FOR OBJECTS AND COMPONENTS
(FMCO 2002)
http://fmco.liacs.nl/fmco02.html
IMPORTANT DATES
- The symposium will be held November 5-8, 2002.
Place: Leiden, The Netherlands.
- The deadline for REGISTRATION is October 15, 2002.
For more information about participation and registration see the FMCO
site http://fmco.liacs.nl/fmco02.html
For further information consult
F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).
**************************FMCO: PROGRAM***************************
TUESDAY 5th
8:45 - 9:00 Welcome
9:00 - 10:00 Tutorial: Bertrand Meyer (ETH Zurich and ISE)
Trusted components: concepts and progress report
10:00 - 10:30 Break
10:30 - 11:15 Farhad Arbab (CWI)
Abstract Behavior Types: a foundation model for
components and their composition
11:15 - 12:00 Martin Wirsing (University of Munich)
A calculus for mobile components and its final semantics
12:00 - 13:30 Lunch break
13:30 - 14:30 Tutorial: David Harel (The Weizmann Institute of Science)
Specifying and executing behavioral requirements:
the play-in/play-out approach
14:30 - 15:00 Break
15:00 - 15:45 Joseph Sifakis (Verimag)
Composition for component-based design.
15:45 - 16:30 Amir Pnueli (The Weizmann Institute of Science)
Title to be announced
16:30 - 16:45 Break
16:45 - 17:30 Jozef Hooman (University of Nijmegen)
Formal reasoning about components of a
distributed dataspace architecture
WENSDAY 6th
9:00 - 10:00 Tutorial: Werner Damm (University of Oldenburg)
A formal look at UML, understanding your model and
learning to reason about it too.
10:00 - 10:30 Break
10:30 - 11:15 Rustan Leino (Microsoft Research)
Extended Static Checking for Java
11:15 - 12:00 John Hatcliff (Kansas State University)
Cadena: An Integrated Development, Analysis, and Verification
Environment for Component-based Systems
12:00 - 13:30 Lunch break
14:30 - 15:15 Emil Sekerinski (McMaster University)
Stepwise refinement of concurrent object-oriented programs
15:15 - 16:00 Kaisa Sere (Åbo Akademi University)
Component-based circuit design using action systems
17:00 - 19:15 Social Event
19:30 - Dinner
THURSDAY 7th
9:00 - 10:00 Tutorial: Clemens Szyperski (Microsoft Research)
Components meet web services
10:00 - 10:30 Break
10:30 - 11:15 Oscar Nierstrasz (University of Bern)
Towards a practical composition language
11:15 - 12:00 David Garlan (Carnegie Mellon University)
Towards Reliable Self-Healing Systems
12:00 - 13:30 Lunch break
13:30 - 14:30 Tutorial: Manfred Broy (Technical University of Munich)
Specification, composition, and decomposition of
software components
14:30 - 15:00 Break
15:00 - 15:45 Ernst-Ruediger Olderog (University of Oldenburg)
Specification with CSP and Object-Z
15:45 - 16:30 Leslie Lamport (Microsoft Research)
High-Level Specifications: Lessons from Industry
16:30 - 16:45 Break
16:45 - 17:30 Ugo Montanari (Pisa University)
HD-automata: foundations and implementation
FRIDAY 8th
9:00 - 10:00 Tutorial: Perdita Stevens (Edinburgh University)
Playing games with UML tools?
10:00 - 10:30 Break
10:30 - 11:15 Bernhard Rumpe (Technical University of Munich)
Interplay of testing and refactoring within UML
11:15 - 12:00 Paul Klint (CWI)
ToolBus: the next generation
12:00 - 13:30 Lunch break
13:30 - 14:30 Tutorial: Jos Warmer (Klasse Objecten)
The role of OCL in the Model Driven Architecture
14:30 - 15:00 Break
15:00 - 15:45 Bart Jacobs (University of Nijmegen)
WP-reasoning for Java
15:45 - 16:30 Gary Leavens (Iowa State University)
Advances and issues in JML
16:30 - 16:45 Break
16:45 - 17:30 Erika Abraham-Mumm (Christian-Albrechts University)
Verification for Java's monitor concept
ORGANISING COMMITTEE
F.S. de Boer (CWI)
M.M. Bonsangue (LIACS-Leiden University)
S. Graf (Verimag)
W.-P. de Roever (CAU)