[loginf] FMOODS / DAIS 2003

D.H.Akehurst D.H.Akehurst at kent.ac.uk
Fri Oct 17 11:09:24 CEST 2003

Apologies if you get duplicate copies of this CfP.

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, 19 to 21 November, in Paris - FRANCE.


Salient Features:

* Complementary domains: foundations & practice of Distributed Systems.
* Special focuse 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

We look forward to seeing you in Paris,

The DAIS-FMOODS organizers


More information about the loginf mailing list