Final call: Formal Methods for Components and Objects (Leiden NL, 11/03)

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


REGISTRATION FORM http://fmco.liacs.nl/fmco03.html
REGISTRATION FEES 400 euro for regular participants and
                                        275 euro for students




FINAL 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, 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:30 Yassine Lakhnech (University of Grenoble, FR)
                            Security protocols, their modes and analysis: a survey


16:30 - 16:45 Break


16:45 - 17:30 Albert Benveniste (IRISA/INRIA - Rennes, FR)
                            Heterogeneous reactive systems formal modeling


WEDNESDAY 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, NL)
                            Visualisation of HUGE state spaces


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: Joseph Sifakis (Verimag, FR)
                            Component-based construction of deadlock-free systems


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 - 16:45 Break


16:45 - 17:30 Jan Rutten (CWI, Amsterdam, NL)
                            A case study in coinductive stream calculus:
                            signal flow graphs for dummies


FRIDAY 7th, November 2003


  9:00 - 10:00 Keynote: E. Allen Emerson (University of Texas, 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, 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: Desmond D'Souza (Kinetium, Austin, USA)
                            Component Architectures - Some meeting points of practice,
                            trend, and theory


14:30 - 15:00 Break


15:00 - 15:45 Jose Luiz Fiadeiro (University of Leicester, UK)
                            CommUnity on the move: architectures for distribution
                            and mobility
15:45 - 16:30 Gregor Engels (University of Paderborn, DE)
                            Consistent interaction of components
16:30 - 17:15 Rob van Ommering (Philips Research Laboratories, NL)
                            Component Based Architectures and Formalization


MOBI-J AFFILIATED WORKSHOP On Monday 3rd, November 2003 from 13:30
till 17:00 there will at the Lorentz Center be a half-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 registration fee is 400
euro for regular participants and 275 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).

Return to the comp.compilers page.
Search the comp.compilers archives again.