Apologize if you receive multiple copies of this e-mail.
********************* 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
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 ([EMAIL PROTECTED]) or M.M. Bonsangue
([EMAIL PROTECTED]).
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)
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
