FMCO 2005: Call for Tutorial Papers (Amsterdam, Nov 2005)

"M.M. Bonsangue" <>
24 Aug 2005 18:25:55 -0400

          From comp.compilers

Related articles
FMCO 2005: Call for Tutorial Papers (Amsterdam, Nov 2005) (M.M. Bonsangue) (2005-08-24)
| List of all articles for this month |

From: "M.M. Bonsangue" <>
Newsgroups: comp.compilers
Date: 24 Aug 2005 18:25:55 -0400
Organization: Carnegie Mellon, Pittsburgh, PA
Keywords: conference, CFP, OOP
Posted-Date: 24 Aug 2005 18:25:55 EDT

                                                        CALL FOR TUTORIAL PAPERS

4th International Symposium on 1 - 4 November 2005
Formal Methods for Objects and Components CWI, Amsterdam
(FMCO 2005) The Netherlands


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 system
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

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 Sep 2005 Tutorial paper due: 28 Feb 2006
Author notification: 1 Oct 2005 Author notification: 15 Apr 2006
Symposium: 1-4 Nov 2005 Camera-ready paper due: 15 May 2006

The short abstracts must be in English and provide sufficient details to allow
the organizing committee and the advisory board to assess the 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 ( or
M.M. Bonsangue (

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
Michael Barnett (Microsoft, USA)
Luis Caires (New University of Lisbon, PT)
Patrick Cousot (ENS, FR)
Dennis Dams (Bell Labs, USA)
Wan Fokkink (Free University, NL)
Orna Grumberg (Technion, ISR)
Joost-Pieter Katoen (RWTH Aachen, DE)
Kung-Kiu Lau (University of Manchester, UK)
Peter O' Hearn (Queen Mary University of London, UK)
Arnd Poetzsch-Heffter (University of Kaiserslautern, DE)
John Reynolds (Carnegie Mellon University, USA)
Davide Sangiorgi (University of Bologna, IT)

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, KNAW, CWI, and LIACS.

      For more information about the symposium see the FMCO site above or consult
          either F.S. de Boer ( or M.M. Bonsangue (

Post a followup to this message

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