The Coq mailing list

[etaps02 VERIMAG <etaps02.VERIMAG AT imag.fr>]

(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 AT cwi.nl)
  or
M.M. Bonsangue 
(marcello AT liacs.nl).

 ----------- 
you received this e-mail via the address
               
coq-club AT pauillac.inria.fr