[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 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