===================================================
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/  ----------------------------------------------------------------------