From: Susanne Graf <Susanne.Graf@imag.fr>
To: undisclosed-recipients:;
Subject: [verimag-news ] Call for tutorial papers - FMCO 2006 - Amsterdam
Date: Sun, 16 Jul 2006 22:44:30 +0200 [thread overview]
Message-ID: <E1G2UIG-0001bD-1D@mailserv.mta.ca> (raw)
***************************************************************
* 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).
reply other threads:[~2006-07-16 20:44 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1G2UIG-0001bD-1D@mailserv.mta.ca \
--to=susanne.graf@imag.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).