Login | Register
My pages Projects Community openCollabNet

Discussions > The Developers' mailing list > [verimag-news ] template for call for papers to lists -

Discussion topic

Back to topic list

[verimag-news ] template for call for papers to lists -

Author Susanne Graf <Susanne dot Graf at imag dot fr>
Full name Susanne Graf <Susanne dot Graf at imag dot fr>
Date 2006-07-16 13:30:54 PDT
Message ********************​********************​********************​***
     * *
     * 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 at cwi dot nl) or M.M. Bonsangue (marcello at liacs dot nl).

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

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)

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 at cwi dot nl) or M.M. Bonsangue (marcello at liacs dot nl).

« Previous message in topic | 1 of 1 | Next message in topic »


Show all messages in topic

[verimag-news ] template for call for papers to lists - Susanne Graf <Susanne dot Graf at imag dot fr> Susanne Graf <Susanne dot Graf at imag dot fr> 2006-07-16 13:30:54 PDT
Messages per page: