DisCoTec 2013: Call for Participation (early registration deadline: May 6)

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

Call for Participation

DisCoTec 2013

8th International Federated Conference on 

Distributed Computing Techniques

http://www.discotec.org/

Firenze, Italy, June 3-6 2013

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

Registration and Program

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

The early registration deadline of DisCoTec 2013 is May 6.

The registration page is available on the DisCoTec site:

http://www.discotec.org/registration/

A preliminary program is available at:

http://www.discotec.org/program/

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

Keynote speakers

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

* Gian Pietro Picco (University of Trento, Italy)

* Roberto Baldoni   (University of Rome ''La Sapienza'', Italy)

* Tevfik Bultan     (University of California, Santa Barbara, USA)

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

Main Conferences

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

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

15th International Conference on Coordination Models and Languages

http://coordination.discotec.org/

* Co-Chairs *

Rocco De Nicola     (IMT Lucca, Italy)

Christine Julien    (Univ. of Texas, USA)

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

DAIS

13th IFIP International Conference on

Distributed Applications and Interoperable Systems

http://dais.discotec.org/

* Co-Chairs *

Jim Dowling       (KTH / SICS, Sweden)

Francois Taiani   (Univ. de Rennes 1 / IRISA, France)

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

FORTE/FMOODS

IFIP Joint International Conference on

Formal Techniques for Distributed Systems

33rd Formal Techniques for Networked and Distributed Systems

15th Formal Methods for Open Object-Based Distributed Systems

http://forte13.sosy-lab.org/

* Co-Chairs *

Dirk Beyer        (Univ. of Passau, Germany)

Michele Boreale   (Univ. of Firenze, Italy)

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

Workshops

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

The three workshops co-located this year with DisCoTec are:

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

CS2Bio 2013

4th International Workshop on Interactions between 

Computer Science and Biology

http://cs2bio13.di.unito.it/

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

ICE 2013

6th Interaction and Concurrency Experience

http://www.discotec.org/workshops/ice2013/

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

WWV 2013

9th International Workshop on Automated Specification 

and Verification of Web Systems                  

http://users.dsic.upv.es/~jsilva/wwv2013/ 

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