(We apologize for the reception of multiple copies) *********************** CALL FOR PARTICIPATION ********************** Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) DATES 4 - 7 November 2003 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands URL http://fmco.liacs.nl/fmco03.html
EARLY REGISTRATION DEADLINE (15/09/2004) IS APPROACHING <<<<<
OBJECTIVES The objective of this symposium is to bring together researchers and practioners in the areas of software engineering and formal methods to discuss the concepts of reusability and modifiability in component-based and object-oriented software systems. FORMAT The symposium is a four days event in the style of the former REX workshops, organised to provide an atmosphere that fosters collaborative work, discussions and interaction. The program consists of keynote and technical presentations, and contains an exquisite social event. Speakers' contributions will be published after the symposium in Lecture Notes in Computer Science by Springer-Verlag. PRELIMINARY PROGRAM TUESDAY 4th, November 2003 8:45 - 9:00 Welcome 9:00 - 10:00 Keynote: David Parnas (University of Limerick, IE) Mathematical Documentation of Software 10:00 - 10:30 Break 10:30 - 11:15 Razvan Diaconescu (IMAR, RO) Behavioural specification for hierarchical object composition 11:15 - 12:00 Heike Wehrheim (University of Oldenburg, DE) Preserving Properties under Change 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Andrew D. Gordon (Microsoft Research Cambridge, UK) Formal Tools for Securing Web Services 14:30 - 15:00 Break 15:00 - 15:45 Jeannette Wing (Carnegie Mellon University, USA) Vulnerability Analysis Using Attack Graphs 15:45 - 16:00 Break 16:00 - 16:45 Albert Benveniste (IRISA/INRIA - Rennes, FR) Heterogeneous reactive systems formal modeling 16:45 - 17:30 Yassine Lakhnech (University of Grenoble, FR) t.b.a. WEDNSDAY 5th, November 2003 9:00 - 10:00 Keynote: Tony Hoare (Microsoft Research Cambridge, UK) The Verifying Compiler: a Grand Challenge for Computing Research 10:00 - 10:30 Break 10:30 - 11:15 Willem-Paul de Roever (University of Kiel, DE) Data Refinement: model-oriented proof methods and their comparison 11:15 - 12:00 Frank de Boer (CWI, Amsterdam, NL) Hoare Logics for Object-Oriented Programming: State of the Art 12:00 - 13:30 Lunch break 13:30 - 14:15 Jean-Marc Jezequel (IRISA, Rennes, FR) Model-Driven Engineering: Basic Principles and Open Problems 14:15 - 15:00 Jan Friso Groote (Eindhoven University of Technology, NL) t.b.a. 17:00 - 19:15 Social Event 19:30 - Dinner THURSDAY 6th, November 2003 9:00 - 10:00 Keynote: Yuri Gurevich (Microsoft Research Redmond, USA) The Semantics of AsmL 10:00 - 10:30 Break 10:30 - 11:15 Egon Boerger (Pisa University, IT) Exploiting the "A" in Abstract State Machines for Specification Reuse. A Java/C# Case Study. 11:15 - 12:00 Werner Damm (University of Oldenburg, DE) t.b.a. 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Desmond D'Souza (Kinetium, Austin, USA) t.b.a. 14:30 - 15:00 Break 15:00 - 15:45 Rob van Ommering (Philips Research Laboratories, Eindhoven, NL) Component Based Architectures and Formalization 15:45 - 16:30 Jose Luiz Fiadeiro (University of Leicester, UK) CommUnity on the move: architectures for distribution and mobility 16:30 - 16:45 Break 16:45 - 17:30 Gregor Engels (University of Paderborn, DE) Consistent interaction of components FRIDAY 7th, November 2003 9:00 - 10:00 Keynote: E. Allen Emerson (The University of Texas at Austin, USA) Model Checking Many Components 10:00 - 10:30 Break 10:30 - 11:15 Amir Pnueli (The Weizmann Institute of Science, ISR) t.b.a. 11:15 - 12:00 Natalia Sidorova (Eindhoven University of Technology, NL) Practical approaches for the verification of asynchronous components: model checking, abstraction and static analysis 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Joseph Sifakis (Verimag, FR) t.b.a. 14:30 - 15:00 Break 15:00 - 15:45 Philippe Schnoebelen (CNRS, Cachan, FR) The Verification of Lossy Channel Systems 15:45 - 16:30 Bengt Jonsson (Uppsala University, SE) t.b.a. 16:30 - 17:15 Jan Rutten (CWI, Amsterdam, NL) A case study in coinductive stream calculus: signal flow graphs for dummies MOBI-J WORKSHOP On Monday 3rd, November 2003, there will be a one-day Mobi-J workshop on "Assertional Methods for Java and its Extension with Mobile Asynchronous Channels". REGISTRATION Participation is limited to about 80 people, using a first-in first-served policy. To register, please fill in the registration form at http://fmco.liacs.nl/fmco03.html. The EARLY registration fee (BEFORE September 15, 2003) is 375 euro for regular participants and 250 euro for students It includes the participation to the symposium, a copy of the proceedings, all lunches and refreshments, and a social event (with dinner). ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) For more information about participation and registration see the FMCO site above or consult either F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).