DAIS-FMOODS'03 - Paris 18-21 Nov - Call for Participation 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. http://fedconf.enst.fr 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) ends on October 31. We look forward to seeing you in Paris, The DAIS-FMOODS organizers