[Hol-info] Call for Participation: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE)

[<Dis...@pu...>]

[We apologize for multiple copies]

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

                       Call for Participation

                           DisCoTec 2011
 
             6th International Federated Conferences on
                  Distributed Computing Techniques

                      http://discotec.ru.is/

                 Reykjavik, Iceland, 6-9 June 2011

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

About DisCoTec 2011

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

* COORDINATION 2011 - 13th International Conference on Coordination
  Models and Languages

* DAIS 2011 - 11th IFIP International Conference on Distributed
  Applications and Interoperable Systems

* FMOODS & FORTE 2011 - 13th Formal Methods for Open Object-Based
  Distributed Systems & 31th Formal Techniques for Networked and
  Distributed Systems

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

Invited Speakers

* Giuseppe Castagna (CNRS, Paris 7 University, France): On Global
  Types and Multi-Party Sessions

* Paulo Verissimo (Univ. of Lisbon FCUL, Portugal): Resisting
  Intrusions means more than Byzantine Fault Tolerance

* Pascal Costanza (ExaScience Lab, Intel, Belgium): Extreme
  Coordination - Challenges and Opportunities from Exascale Computing

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

Main Conferences Programmes

* COORDINATION 2011

  http://discotec.ru.is/coordination/programme

* DAIS 2011

  http://discotec.ru.is/dais/programme

* FMOODS & FORTE 2011

  http://discotec.ru.is/fmoodsforte/programme

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

Workshops (June 9, 2011)

* CAMPUS 2011 - 4th International Workshop on Context-aware Adaptation
  Mechanisms for Pervasive and Ubiquitous Services

* CS2Bio 2011 - 2nd International Workshop on interactions between
  Computer Science and Systems Biology 

* ICE 2010 - 4th International Workshop on Interaction and Concurrency
  Experience

* PACO 2011 - First International Workshop on Process Algebra and
  Coordination 

* WWV 2011 - 7th International Workshop on Automated Specification and
  Verification of Web Systems

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

Registration

Online registration for DisCoTec 2011 is now open. To register, please
follow this link to the registration page:

http://discotec.ru.is/registration

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