[TYPES/announce] DisCoTec 2013: Call for Participation

Francesco Tiezzi francesco.tiezzi at imtlucca.it
Mon Apr 15 13:06:31 EDT 2013


[We apologize for multiple copies]

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

                       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/ 

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






More information about the Types-announce mailing list