FMCO: Last Call and Final Program

F.S.de.Boer@cwi.nl F.S.de.Boer@cwi.nl
Tue, 8 Oct 2002 17:30:29 +0200


We apologize for the reception of multiple copies.

**************************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)