Final call: Formal Methods for Components and Objects

["M.M. Bonsangue" <marcello@liacs.nl>]

(We apologize for the reception of multiple copies)


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