[TYPES] Preliminary call for Participation: FMCO 2004

M.M. Bonsangue marcello at liacs.nl
Tue Mar 23 13:21:49 EST 2004


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

                 Third International Symposium on 
              Formal Methods for Components and Objects
                             (FMCO 2004)

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 2 - 5 November 2004
PLACE Lorentz Center, Leiden University, Leiden, The Netherlands
URL   http://fmco.liacs.nl/fmco04.html

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 Tobias Nipkow (Munchen University, DE)

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 Tweente, 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 Wolfgang Weck (Oberon Microsystems, CH)

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)


More information about the Types-list mailing list