[TYPES] Call for Participation: DAIS-FMOODS 2005 (June 15-17, 2005, Athens)

Martin Steffen ms at informatik.uni-kiel.de
Fri Apr 29 18:25:04 EDT 2005

  + -------------------------------------------------------+
  |                   Call for Participation               |
  |                                                        |   
  |                     DAIS-FMOODS  2005                  |
  |                      June 15-17, 2005                  |
  |               University of Athens, Athens, Greece     |
  |                                                        |
  |        http://www.di.uoa.gr/dais-fmoods-2005/          |

   The  5th IFIP Conference on
          Distributed Applications and Interoperable Systems (DAIS)

     to be held jointly with

   The 7th IFIP Conference on
	  Formal Methods for Open Object-Based Distributed Systems (FMOODS)

Sponsored by

International Federation for Information Processing (IFIP)


The joint DAIS-FMOODS 2005 Conferences include sessions on Context &
Location, Configurable Communications, Interoperability Architectures,
Methodological Aspects, Service Discovery, Performance & Optimization,
Models and Calculi, UML, Security, Composition & Verification,
Specification & Verification, Analysis of Java Programs, Web Services ...

In addition to 41 peer-reviewed papers,  DAIS-FMOODS 2005 includes

*  3 Invited talks:

"Middleware and the Divergent Grid"

by Gordon Blair (Univ. of Lancaster)

"Programming and Reasoning on Global Computers with Evolving Topologies"

 by Rocco de Nicola (Univ. di Firenze)

"Application integration with emphasis on orchestration and consistency"

by Andreas Reuter (European Media Laboratory, Heidelberg)

* A panel session on future research directions in mobile communication
networks, services and applications.

 * Proceedings published by Springer LNCS

 * One registration for both conferences

 * Banquet in the moon shadow of Athens Acropolis Parthenon.

Advanced registration deadline is May 16, 2005. You can find more
information on the conference programme, registration, and hotels at

We look forward to seeing in Athens at DAIS/ FMOODS 2005!

General Chair: Lazaros Merakos (Univ. of Athens)
DAIS Steering committee: Guy Leduc (Univ. de Liège), Hartmut Koenig (BTU
Cottbus), Kurt Geihs(Univ. of Kassel), Elie Najm (ENST)
DAIS PC chairs: Nancy Alonistioti (Univ. of Athens), Lea Kutvonen (Univ. of
DAIS Publicity chair: Hartmut Koenig (BTU Cottbus)

FMOODS PC chairs: Martin Steffen (CAU Kiel) and Gianluigi Zavattaro (Univ.
di Bologna)

FMOODS Publicity chair: John Derrick (University of Kent)

More information about the Types-list mailing list