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 (=C5bo 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)