[Haskell] FMCO 2005: preliminary call for tutorial papers

[M.M. Bonsangue]

                     PRELIMINARY CALL FOR TUTORIAL PAPERS

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

                         http://fmco.liacs.nl/fmco05.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 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 language, 
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 experience 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 detail to allow 
the organizing committee and the advisory board to assess the merits of the 
related tutorial paper. One author of each accepted abstract will be expected to 
present the tutorial at the conference. The tutorial paper must be unpublished 
and not submitted for publication, but may contain previously published 
material. Short abstracts and tutorial paper must be submitted electronically to 
F.S. de Boer (frb at cwi.nl) or M.M. Bonsangue (marcello at liacs.nl).

Format 
------
The symposium is a four days event organised to provide an atmosphere that 
fosters collaborative work, discussions and interaction. Lectures are given by 
the keynote speakers listed below and by authors of accepted abstract. 


Keynote speakers and advisory board
-----------------------------------
Michael Barnett (Microsoft, USA)
Lus Caires (New University of Lisbon, PT)
Patrick Cousout (ENS, FR)
Dennis Dam (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 (Pittsburg University, USA)
Davide Sangiorgi (Universita di 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)


================================================================================
   For more information about the symposium see the FMCO site above or consult 
     either F.S. de Boer (frb at cwi.nl) or M.M. Bonsangue (marcello at liacs.nl).