Call for Participation: FMCO 2004 (Leiden NL, Nov 04)

********************* 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 (frb@cwi.nl) or M.M. Bonsangue
(marcello@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)

Return to the comp.compilers page.
Search the comp.compilers archives again.