From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2472 Path: news.gmane.org!not-for-mail From: "M.M. Bonsangue" Newsgroups: gmane.science.mathematics.categories Subject: Final call: Formal Methods for Components and Objects Date: Thu, 16 Oct 2003 16:01:47 +0200 Message-ID: <200310161401.h9GE1l206890@pc157aa.liacs.nl> NNTP-Posting-Host: main.gmane.org X-Trace: ger.gmane.org 1241018683 4310 80.91.229.2 (29 Apr 2009 15:24:43 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:24:43 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Oct 16 16:46:09 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 16 Oct 2003 16:46:09 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 1AAE4U-0003GP-00 for categories-list@mta.ca; Thu, 16 Oct 2003 16:46:06 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 23 Original-Lines: 163 Xref: news.gmane.org gmane.science.mathematics.categories:2472 Archived-At: (We apologize for the reception of multiple copies) ********************LAST 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 REGISTRATION FORM http://fmco.liacs.nl/fmco03.html REGISTRATION FEES 400 euro for regular participants and 275 euro for students FINAL PROGRAM TUESDAY 4th, November 2003 8:45 - 9:00 Welcome 9:00 - 10:00 Keynote: David Parnas (University of Limerick, IE) Mathematical Documentation of Software 10:00 - 10:30 Break 10:30 - 11:15 Razvan Diaconescu (IMAR, RO) Behavioural specification for hierarchical object composition 11:15 - 12:00 Heike Wehrheim (University of Oldenburg, DE) Preserving Properties under Change 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Andrew D. Gordon (Microsoft Research, UK) Formal Tools for Securing Web Services 14:30 - 15:00 Break 15:00 - 15:45 Jeannette Wing (Carnegie Mellon University, USA) Vulnerability Analysis Using Attack Graphs 15:45 - 16:30 Yassine Lakhnech (University of Grenoble, FR) Security protocols, their modes and analysis: a survey 16:30 - 16:45 Break 16:45 - 17:30 Albert Benveniste (IRISA/INRIA - Rennes, FR) Heterogeneous reactive systems formal modeling WEDNESDAY 5th, November 2003 9:00 - 10:00 Keynote: Tony Hoare (Microsoft Research Cambridge, UK) The Verifying Compiler: a Grand Challenge for Computing Research 10:00 - 10:30 Break 10:30 - 11:15 Willem-Paul de Roever (University of Kiel, DE) Data Refinement: model-oriented proof methods and their comparison 11:15 - 12:00 Frank de Boer (CWI, Amsterdam, NL) Hoare Logics for Object-Oriented Programming: State of the Art 12:00 - 13:30 Lunch break 13:30 - 14:15 Jean-Marc Jezequel (IRISA, Rennes, FR) Model-Driven Engineering: Basic Principles and Open Problems 14:15 - 15:00 Jan Friso Groote (Eindhoven University, NL) Visualisation of HUGE state spaces 17:00 - 19:15 Social Event 19:30 - Dinner THURSDAY 6th, November 2003 9:00 - 10:00 Keynote: Yuri Gurevich (Microsoft Research Redmond, USA) The Semantics of AsmL 10:00 - 10:30 Break 10:30 - 11:15 Egon Boerger (Pisa University, IT) Exploiting the "A" in Abstract State Machines for Specification Reuse. A Java/C# Case Study. 11:15 - 12:00 Werner Damm (University of Oldenburg, DE) t.b.a. 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Joseph Sifakis (Verimag, FR) Component-based construction of deadlock-free systems 14:30 - 15:00 Break 15:00 - 15:45 Philippe Schnoebelen (CNRS, Cachan, FR) The Verification of Lossy Channel Systems 15:45 - 16:30 Bengt Jonsson (Uppsala University, SE) t.b.a. 16:30 - 16:45 Break 16:45 - 17:30 Jan Rutten (CWI, Amsterdam, NL) A case study in coinductive stream calculus: signal flow graphs for dummies FRIDAY 7th, November 2003 9:00 - 10:00 Keynote: E. Allen Emerson (University of Texas, USA) Model checking many components 10:00 - 10:30 Break 10:30 - 11:15 Amir Pnueli (The Weizmann Institute of Science, ISR) t.b.a. 11:15 - 12:00 Natalia Sidorova (Eindhoven University, NL) Practical approaches for the verification of asynchronous components: model checking, abstraction and static analysis 12:00 - 13:30 Lunch break 13:30 - 14:30 Keynote: Desmond D'Souza (Kinetium, Austin, USA) Component Architectures - Some meeting points of practice, trend, and theory 14:30 - 15:00 Break 15:00 - 15:45 Jose Luiz Fiadeiro (University of Leicester, UK) CommUnity on the move: architectures for distribution and mobility 15:45 - 16:30 Gregor Engels (University of Paderborn, DE) Consistent interaction of components 16:30 - 17:15 Rob van Ommering (Philips Research Laboratories, NL) Component Based Architectures and Formalization MOBI-J AFFILIATED WORKSHOP On Monday 3rd, November 2003 from 13:30 till 17:00 there will at the Lorentz Center be a half-day Mobi-J workshop on "Assertional Methods for Java and its Extension with Mobile Asynchronous Channels". 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 registration fee is 400 euro for regular participants and 275 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).