[Prev][Next][Index][Thread]

FMCO 2003: CALL FOR PARTICIPATION


(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
               types@cis.upenn.edu