2010-05-17

[Caml-list] DisCoTec 2010: Call for Participation

[We apologize for multiple copies]

====================================================================

DisCoTec 2010

5th International Federated Conferences on
Distributed Computing Techniques

http://discotec.project.cwi.nl/

Amsterdam, The Netherlands, 7-10 June 2010

Call for Participation
====================================================================

The DisCoTec series of federated conferences is one of the major
events sponsored by the International Federation for Information
processing (IFIP). The main conferences are:

* COORDINATION
* DAIS
* FMOODS & FORTE

The DisCoTec invited speakers are:

Joe Armstrong, Ericsson Telecom AB
Erlang-style concurrency

Gerard J. Holzmann, Jet Propulsion Laboratory, USA
Formal Software Verification: How Close Are We?

Joost Roelands, Director of Development Netlog
Distributed Social Data

This year the conference program includes also special sessions
dedicated to the Celebration of the 30th Anniversary of FORTE,
the IFIP International Conference on Formal Techniques for
Networked and Distributed Systems. These special sessions will
include the invited talk by Gerard Holmann and the following
lectures:

Gregor v. Bochmann, University of Ottawa, Canada
The early times of protocol engineering

Ed Brinksma, Twente University, The Netherlands
Testing Times: 20 years of research and collaboration
in conformance testing

Tommaso Bolognesi, CNR-Pisa, Italy
Is the Big-Bang Object-Oriented?
"Can we use Formal Methods for understanding the early Universe?"

Gianluigi Zavattaro, University of Bologna, Italy
Moving to the Cloud: "If you put your files on Dropbox,
why don't you put your processes on the Cloud?"

DisCoTec includes also the following satellite workshops:
* CAMPUS'10: 3rd Workshop on Context-aware Adaptation Mechanisms
for Pervasive and Ubiquitous Services
* CS2Bio'10: 1st International Workshop on Interactions between
Computer Science and Biology
* DCDP'10: Decentralized Coordination of Distributed Processes
* ICE'10: 3rd Interaction and Concurrency Experience


* General Chair *
Frank S. de Boer CWI, Netherlands

* Publicity Chair *
Gianluigi Zavattaro University of Bologna, Italy

* Workshops Chair *
Marcello M. Bonsangue University of Leiden, Netherlands

* Advisory Board *
John Derrick University of Sheffield, UK
Einar Broch Johnsen University of Oslo, Norway
Elie Najm Telecom ParisTech, France
Rocco De Nicola University of Florence, Italy
George Angelos Papadopoulos University of Cyprus, Cyprus
Antonio Ravara University of Lisboa, Portugal
Gianluigi Zavattaro University of Bologna, Italy

--------------------------------------------------------------------

COORDINATION
12th International Conference on Coordination Models and Languages
http://discotec.project.cwi.nl/COORDINATION

--------------------------------------------------------------------

* Scope *

Coordination 2010 seeks high-quality papers on programming languages
and coordination models, middleware, services, and algorithms that
separate behavior from interaction, therefore increasing modularity,
simplifying reasoning, and ultimately enhancing software
development. The conference focuses on the design and implementation
of models that allow compositional construction of large-scale
concurrent and distributed systems, including both practical and
foundational models, run-time systems, and related verification and
analysis techniques.

Past incarnations of Coordination have emphasized foundations.
However, given the increasing importance of concurrency in almost
every software domain, the organizers of Coordination 2010 are keen
to provide a strong forum for high-quality papers that address
practical aspects of concurrent programming models; for example,
application of concurrency to novel domains, comparisons of
alternative programming models on important problems, or
domain-specific languages.

* Program Committee Chairs *

Dave Clarke Katholieke Universiteit Leuven, Belgium
Gul Agha University of Illinois at Urbana-Champaign, USA

--------------------------------------------------------------------

DAIS
10th IFIP International Conference on
Distributed Applications and Interoperable Systems
http://discotec.project.cwi.nl/DAIS

--------------------------------------------------------------------

* Scope *

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation,
the supporting middleware, appropriate software engineering
methodologies and tools, as well as experimental studies and
practice reports. This time we welcome in particular contributions
on architectures, models, technologies and platforms for large scale
and complex distributed applications and services that are related
to the latest trends towards bridging the physical/virtual worlds
based on flexible and versatile service architectures and platforms.

* Program Committee Chairs *

Frank Eliassen University of Oslo, Norway
Ruediger Kapitza University of Erlangen, Germany

--------------------------------------------------------------------

FMOODS & FORTE
12th IFIP International Conference on
Formal Methods for Open Object-based Distributed Systems
30th IFIP International Conference on
FORmal TEchniques for Networked and Distributed Systems
http://discotec.project.cwi.nl/FmoodsForte

--------------------------------------------------------------------

* Scope *

The joined conference FMOODS & FORTE is a forum for fundamental
research on theory and applications of distributed systems. The
conference solicits original contributions that advance the science
and technologies for distributed systems, in particular
in the areas of:

* component- and model-based design
* object technology, modularity, software adaptation
* service-oriented, ubiquitous, pervasive, grid and mobile
computing
* software quality, reliability and security

The conference encourages contributions that combine theory and
practice, address problems from the development of distributed
systems, and present novel solutions with formal methods and
theoretical foundations. FMOODS & FORTE covers distributed computing
models and formal specification, testing and verification methods.
The application domains include all kinds of application-level
distributed systems, telecommunication services, Internet, embedded
and real time systems, as well as networking and communication
security and reliability.

* Program Committee Chairs *

John Hatcliff Kansas State University, United States of America
Elena Zucca University of Genoa, Italy


_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

No comments: