[Om-announce] DisCoTec 2010: Call for Participation

Gianluigi Zavattaro zavattar at cs.unibo.it
Mon May 17 11:53:00 CEST 2010

[We apologize for multiple copies]


                            DisCoTec 2010

              5th International Federated Conferences on
                   Distributed Computing Techniques


               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:

   * DAIS

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

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


 12th International Conference on Coordination Models and Languages


* 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


                10th IFIP International Conference on
          Distributed Applications and Interoperable Systems


* 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


* 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
   * 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

More information about the Om-announce mailing list