From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/3365 Path: news.gmane.org!not-for-mail From: Susanne Graf Newsgroups: gmane.science.mathematics.categories Subject: [verimag-news ] Call for tutorial papers - FMCO 2006 - Amsterdam Date: Sun, 16 Jul 2006 22:44:30 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241019259 8438 80.91.229.2 (29 Apr 2009 15:34:19 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:34:19 +0000 (UTC) To: undisclosed-recipients:; Original-X-From: rrosebru@mta.ca Mon Jul 17 11:52:42 2006 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Mon, 17 Jul 2006 11:52:42 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1G2UIG-0001bD-1D for categories-list@mta.ca; Mon, 17 Jul 2006 11:41:56 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 22 Original-Lines: 99 Xref: news.gmane.org gmane.science.mathematics.categories:3365 Archived-At: *************************************************************** * CALL FOR TUTORIAL PAPERS * * * * 5th International Symposium on * * Formal Methods for Objects and Components * * FMCO 2006 * * 7 - 10 November 2006 * * CWI, Amsterdam, The Netherlands * * * * http://fmco.liacs.nl/fmco06.html * * * *************************************************************** The FMCO symposium is an annual international event on the application and development of formal methods in software engineering, with a special focus on component-based and object-oriented software systems. We invite submissions of tutorial papers on topics that fit under that rubric. Suggested, but not exclusive, topics of interest for submissions include: - models and logics for object-oriented and component-based systems; - formal aspects of analysis of large systems; - prediction, analysis and monitoring of extra-functional properties; - applications of modal logics, temporal logics and model checking for the specification and verification of object-oriented languages; - type systems and type theory for objects and components; - probabilistic systems, process calculi, and semantics of object and component oriented languages; - reasoning about security, trustworthiness and dependability of component-based systems. Important Dates --------------- Authors are invited to submit a title and a short abstract of one or two pages providing a tutorial perspective on research results or experiences related to the topics above. Accepted abstracts will be presented at the symposium and an extended tutorial paper of about 20 pages in LNCS style will be refereed and eventually published together with the contributions of the keynote speakers after the symposium, in a proceeding of Lecture Notes in Computer Science by Springer-Verlag. Selected papers will be published in revised and extended version in the Elsevier journal Theoretical Computer Science. Title and short abstract due: 5 September 2006 Abstract notification: 1 October 2006 Symposium: 7-10 November 2006 Tutorial paper due: 28 February 2007 Paper notification: 15 April 2007 Camera-ready paper due: 15 May 2007 The short abstracts must be in English and provide sufficient details to allow the organizing committee and the advisory board assessing the potential merits of the related tutorial papers. One author of each accepted abstract will be expected to present the tutorial at the symposium. The tutorial papers must be unpublished and not submitted for publication, but may contain previously published material. Short abstracts and tutorial papers must be submitted electronically to F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl). Format ------ The symposium is a four days event organised to provide an atmosphere that fosters collaborative work, discussions and interactions. Lectures are given by the keynote speakers listed below and by authors of accepted abstract. Keynote speakers and advisory board ----------------------------------- Gul Agha (The University of Illinois at Urbana-Champaign, USA) Sophia Drossopoulou (Imperial College, UK) Radu Iosif (Verimag, FR) Thierry Jeron (INRIA Rennes, FR) Erik Meijer, (Microsoft research, USA) Jayadev Misra (University of Texas at Austin, USA) Vijay A. Saraswat (IBM Research, USA) Vladimiro Sassone (University of Southampton, UK) Jan Tretmans (Radboud University Nijmegen, NL) Moshe Vardi (Rice University, USA) Philip Wadler (University of Edinburgh, UK) Organizing committee -------------------- F. S. de Boer (CWI and LIACS-Leiden University) M. M. Bonsangue (LIACS-Leiden University) S. Graf (Verimag) W.-P. de Roever (Christian-Albrechts University of Kiel) Sponsorship ----------- The symposium is sponsored by NWO, CWI, and LIACS. ============================================================================== For more information about the symposium see the FMCO site above or consult either F.S. de Boer (frb@cwi.nl) or M.M. Bonsangue (marcello@liacs.nl).