* FMCO 2003: CALL FOR PARTICIPATION
@ 2003-10-09 14:59 etaps02 VERIMAG
0 siblings, 0 replies; 2+ messages in thread
From: etaps02 VERIMAG @ 2003-10-09 14:59 UTC (permalink / raw)
To: categories
(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
REGISTRATION FORM http://fmco.liacs.nl/fmco03.html
REGISTRATION FEES 400 euro for regular participants and
275 euro for students
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, 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.
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, 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 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).
-----------
you received this e-mail via the address
categories@mta.ca
^ permalink raw reply [flat|nested] 2+ messages in thread
* FMCO 2003: Call for Participation
@ 2003-04-03 11:54 frb
0 siblings, 0 replies; 2+ messages in thread
From: frb @ 2003-04-03 11:54 UTC (permalink / raw)
To: mobij-list
(We apologize for the reception of multiple copies)
ANNOUNCEMENT OF
The 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
OBJECTIVE
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,organized 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.
KEYNOTE SPEAKERS
Desmond D'Souza (Kinetium, Austin, USA)
E. Allen Emerson (University of Texas at Austin, USA)
Andrew D. Gordon (Microsoft Research, UK)
Yuri Gurevich (Microsoft Research, USA)
Tony Hoare (Microsoft Research, UK)
David Parnas (University of Limerick, IE)
Joseph Sifakis (Verimag, FR)
TECHNICAL PRESENTATIONS
Albert Benveniste (IRISA/INRIA - Rennes, FR)
Frank de Boer (CWI, NL)
Egon Boerger (Pisa University, IT)
Werner Damm (University of Oldenburg, DE)
Razvan Diaconescu (IMAR, RO)
Gregor Engels (University of Paderborn, DE)
Jose Luiz Fiadeiro (University of Leicester, UK)
Jan Friso Groote (Eindhoven University of Technology, NL)
Jean-Marc Jezequel (IRISA, Rennes, FR)
Bengt Jonsson (Uppsala University, SE)
Yassine Lakhnech (University of Grenoble, FR)
Rob van Ommering (Philips Research Laboratories, NL)
Amir Pnueli (The Weizmann Institute of Science, ISR)
Willem-Paul de Roever (University of Kiel, DE)
Jan Rutten (CWI, Amsterdam, NL)
Philippe Schnoebelen (CNRS, Cachan, FR)
Natalia Sidorova (Eindhoven University of Technology, NL)
Heike Wehrheim (University of Oldenburg, DE)
Jeannette Wing (Carnegie Mellon University, USA)
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).
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2003-10-09 14:59 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-10-09 14:59 FMCO 2003: CALL FOR PARTICIPATION etaps02 VERIMAG
-- strict thread matches above, loose matches on Subject: below --
2003-04-03 11:54 FMCO 2003: Call for Participation frb
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).