From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2404 Path: news.gmane.org!not-for-mail From: cat-dist@mta.ca Newsgroups: gmane.science.mathematics.categories Subject: Second International Symposium on Formal Methods for Components and Objects Date: Mon, 28 Jul 2003 13:05:37 +0200 Message-ID: <200307281105.h6SB5bK19249@pc157aa.liacs.nl> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018636 3978 80.91.229.2 (29 Apr 2009 15:23:56 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:23:56 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Mon Jul 28 11:21:59 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 28 Jul 2003 11:21:59 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 19h8q5-0000zP-00 for categories-list@mta.ca; Mon, 28 Jul 2003 11:19:01 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 33 Original-Lines: 77 Xref: news.gmane.org gmane.science.mathematics.categories:2404 Archived-At: (We apologize for the reception of multiple copies) *********************** CALL FOR PARTICIPATION ********************** Second International Symposium on Formal Methods for Components and Objects (FMCO 2003) DATES 4 - 7 November 2003 PLACE Lorentz Center, Leiden University, Leiden, The Netherlands URL http://fmco.liacs.nl/fmco03.html OBJECTIVES The objective of this symposium is to bring together researchers and practioners in the areas of software engineering and formal methods to discuss the concepts of reusability and modifiability in component-based and object-oriented software systems. FORMAT The symposium is a four days event in the style of the former REX workshops, organised to provide an atmosphere that fosters collaborative work, discussions and interaction. The program consists of keynote and technical presentations, and contains an exquisite social event. Speakers' contributions will be published after the symposium in Lecture Notes in Computer Science by Springer-Verlag. KEYNOTE SPEAKERS Desmond D'Souza (Kinetium, Austin, USA) E. Allen Emerson (University of Texas at Austin, USA) Andrew D. Gordon (Microsoft Research, UK) Yuri Gurevich (Microsoft Research, USA) Tony Hoare (Microsoft Research, UK) David Parnas (University of Limerick, IE) Joseph Sifakis (Verimag, FR) TECHNICAL PRESENTATIONS Albert Benveniste (IRISA/INRIA - Rennes, FR) Frank de Boer (CWI, NL) Egon Boerger (Pisa University, IT) Werner Damm (University of Oldenburg, DE) Razvan Diaconescu (IMAR, RO) Gregor Engels (University of Paderborn, DE) Jose Luiz Fiadeiro (University of Leicester, UK) Jan Friso Groote (Eindhoven University of Technology, NL) Jean-Marc Jezequel (IRISA, Rennes, FR) Bengt Jonsson (Uppsala University, SE) Yassine Lakhnech (University of Grenoble, FR) Rob van Ommering (Philips Research Laboratories, NL) Amir Pnueli (The Weizmann Institute of Science, ISR) Willem-Paul de Roever (University of Kiel, DE) Jan Rutten (CWI, Amsterdam, NL) Philippe Schnoebelen (CNRS, Cachan, FR) Natalia Sidorova (Eindhoven University of Technology, NL) Heike Wehrheim (University of Oldenburg, DE) Jeannette Wing (Carnegie Mellon University, USA) REGISTRATION Participation is limited to about 80 people, using a first-in first-served policy. To register, please fill in the registration form at http://fmco.liacs.nl/fmco03.html. The EARLY registration fee (BEFORE September 15, 2003) is 375 euro for regular participants and 250 euro for students It includes the participation to the symposium, a copy of the proceedings, all lunches and refreshments, and a social event (with dinner). ORGANIZING COMMITTEE F.S. de Boer (CWI and Utrecht University) M.M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.P. de Roever (CAU) For more information about participation and registration see the FMCO site above or consult either F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).