Formal Methods for Components and Objects 2003
M.M. Bonsangue
marcello@liacs.nl
Tue, 9 Sep 2003 17:58:43 +0200
(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).