[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