DAIS-FMOODS 2003 - Paris 18-21 Nov - 2nd Call for Participation

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

DAIS-FMOODS'03 - Paris 18-21 Nov - 2nd Call for Participation

Pleas Note: 
The early registration deadline has been extended to November 5th!

Dear Colleagues,

* DAIS'03     Distributed Applications & Interoperable Systems
                   (4th IFIP Internationl Conference of the series)
* FMOODS'03   Formal Methods for Open Object-based Distributed Systems
                   (6th IFIP Internationl Conference of the series)

will be held jointly, 18 to 21 November, in Paris - FRANCE.


Salient Features:

* Complementary domains: foundations & practice of Distributed Systems.
* Special focus on: Component based design and reconfiguration issues.
* High quality acceptance rates:
  - 18/63 for FMOODS and 
  - 21/76 (long papers) and 5/12 (short papers) for DAIS.
* Five invited talks:
  - Can concurrency and distribution become easy?  by Bertrand Meyer
  - Java's Integral Types in PVS  by Bart Jacobs
  - Middleware? Muddleware!  by Andrew Herbert
  - Research Challenges of Autonomic Computing  by David Chambliss
  - The Domain Specific Languages: Components in a Semantic Framework
    by Alan Cameron Wills.
* One registration gives access to all sessions and to both proceedings
* A rich pre-conferences day (18 Nov) with 4 tutorials and 3 workshops.
* Tutorials (half day):
  - Context-Aware Systems for Pervasive Computing
  - Developing Security Critical Distributed Systems with UML
  - Semantic Web enabled Web Services
  - Action-Based Model Checking
* Workshops:
  - Adaptable Service Provision (one day)
  - Communication Abstractions for Distributed Systems (half day)
  - PhD (half day)

For more information visit the conferences web site
http://fedconf.enst.fr. Please note that early registration (offering 
substantial savings) has been extended to November 5th.

We look forward to seeing you in Paris,

The DAIS-FMOODS organizers