* Final call: Formal Methods for Components and Objects
@ 2003-10-16 14:01 M.M. Bonsangue
0 siblings, 0 replies; only message in thread
From: M.M. Bonsangue @ 2003-10-16 14:01 UTC (permalink / raw)
To: categories
(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).
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2003-10-16 14:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-16 14:01 Final call: Formal Methods for Components and Objects M.M. Bonsangue
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).