[TYPES] Formel Methods for Components and Objects FMCO 2004: Call for participation

[etaps02 VERIMAG]

*********************  CALL FOR PARTICIPATION ********************

                 Third International Symposium on
              Formal Methods for Components and Objects
                             (FMCO 2004)
                  http://fmco.liacs.nl/fmco04.html

The objective of  this symposium is to bring  together top researchers
in the  area of software  engineering to discuss  the state-of-the-art
and future applications of formal  methods in the development of large
component-based and object-oriented software systems.

DATES:  November 2-5, 2004
PLACE:  Lorentz Center, Leiden University, Leiden, The Netherlands
URL:    http://fmco.liacs.nl/fmco04.html

Early registration fee applies for registration before 20/09/2004 !!!

Participation  is limited  to about  80  people, based  on a  first-in
first-served  policy.  For  more information  about  participation and
registration see the  FMCO site at http://fmco.liacs.nl/fmco04.html or
consult  either   F.S.   de   Boer  (frb at cwi.nl)  or   M.M.  Bonsangue
(marcello at liacs.nl).


PRELIMINARY PROGRAM
-------------------

TUESDAY 2nd, November 2004

 8:45 -  9:00 Welcome
 9:00 - 10:00 Keynote: Robin Milner (Cambridge University, UK)
              10:00 - 10:30 Break
10:30 - 11:15 Rocco de Nicola (University of Firenze, IT)
11:15 - 12:00 Eugenio Moggi (Genova University, IT)

12:00 - 13:30 Lunch break

13:30 - 14:30 Keynote: Kim Bruce (Williams College, USA)
              14:30 - 15:00 Break
15:00 - 15:45 Julian Rathke (Sussex University, UK)
              15:45 - 16:00 Break
16:00 - 16:45 Martin Steffen (Kiel University, DE)
16:45 - 17:30 Marcello Bonsangue (LIACS, NL)


WEDNESDAY 3rd, November 2004

 9:00 - 10:00 Keynote: Tom Henzinger (University of California, Berkeley, USA)
              10:00 - 10:30 Break
10:30 - 11:15 Susanne Graf (Verimag, FR)
11:15 - 12:00 Wang Yi (Uppsala University, SE)

12:00 - 13:15 Lunch break

13:15 - 14:15 Keynote: Thomas Ball (Microsoft Research at Redmond, USA)
              14:15 - 14:30 Break
14:30 - 15:15 Frits Vaandrager (Nijmegen University, NL)
15:15 - 16:00 Wolfgang Weck (Oberon Microsystems, CH)

17:00 - 19:15 Social Event
19:30 -       Dinner


THURSDAY 4th, November 2004

 9:00 - 10:00 Keynote: Kim Larsen (Aalborg University, DK)
              10:00 - 10:30 Break
10:30 - 11:15 Ed Brinksma (University of Twente, NL)
11:15 - 12:00 Andreas Podelski (Max Plank Inst. for Informatics, DE)

12:00 - 13:30 Lunch break

13:30 - 14:30 Keynote: Chris Hankin (Imperial College, UK)
              14:30 - 15:00 Break
15:00 - 15:45 David Naumann (Stevens Institute of Technology, USA)
15:45 - 16:30 Tobias Nipkow (Munchen University, DE)
              16:30 - 16:45 Break
16:45 - 17:30 Liu Zhiming (UNU-IIST, Macao)

FRIDAY 5th, November 2004

 9:00 - 10:00 Keynote: Samson Abramsky (Oxford University, UK)
              10:00 - 10:30 Break
10:30 - 11:15 Luca de Alfaro (UC Santa Cruz, USA)
11:15 - 12:00 Luis Barbosa (Minho University, PT)

12:00 - 13:30 Lunch break

13:30 - 14:30 Keynote: Reinhard Wilhelm (Saarland University, DE)
              14:30 - 15:00 Break
15:00 - 15:45 Olaf Owe (University of Oslo, NO)
15:45 - 16:30 Pierre Cointe (Ecole des Mines de Nantes, FR)


ORGANIZING COMMITTEE
--------------------
F.S. de Boer (CWI and Utrecht University)
M.M. Bonsangue (LIACS-Leiden University)
S. Graf (Verimag)
W.P. de Roever (CAU) 


 ----------- 
you received this e-mail via the address
               types at cis.upenn.edu