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

DisCoTec2011 at publicizing.org DisCoTec2011 at publicizing.org
Wed Nov 24 15:33:33 CET 2010

[We apologize for multiple copies]


                Second Call for Papers and Workshops

                           DisCoTec 2011

             6th International Federated Conferences on
                  Distributed Computing Techniques


                 Reykjavik, Iceland, 6-9 June 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 are:

  * DAIS

This year IFIP offers some travel grants for students and an award for
the best paper of DisCoTec.  All conferences share the same deadlines:

* Important Dates *

February 6, 2011              Abstract Submission
February 13, 2011             Paper Submission
March 20, 2011                Notification of Acceptance
April 3, 2011                 Camera ready version
June 6-8, 2011                Conference
June 9, 2011                  Workshops

* General Chair *
Marjan Sirjani                Reykjavik University, Iceland

* Publicity Chair *
Gwen Salaün                   Grenoble INP - INRIA, France

* Workshops Chair *
Marcello M. Bonsangue         University of Leiden, Netherlands
Immo Grabe                    CWI, Netherlands

* Poster Session Chair *
Martin Steffen                University of Oslo, Norway

* Steering Board *
Elie Najm (Chair)             Technical University of Paris, France
Rocco De Nicola               University of Florence, Italy
Kurt Geihs                    University of Kassel, Germany
Farhad Arbab (Coordination)   CWI, Netherlands
Lea Kutvonen (DAIS)           University of Helsinki, Finland
John Derrick  (FMOODS-FORTE)  University of Sheffield, UK
Frank de Boer                 CWI, Netherlands
Marjan Sirjani                Reykjavik University, Iceland


                        COORDINATION 2011

 13th International Conference on Coordination Models and Languages



COORDINATION is the premier forum for publishing research results and
experience reports on software technologies for collaboration and
coordination in concurrent and distributed systems.  Its distinctive
feature is the emphasis on high-level abstractions that capture
interaction patterns manifest at all levels of the software
architecture and extending into the realm of the end-user domain.
Social networking, Internet technologies, wireless communication, and
inexpensive multicore processors altered fundamentally the computing
milieu and the way one thinks about the development of modern software
systems.  Coordination techniques seek to enhance our ability to
develop software that is responsive to emerging societal demands and
changing application needs and exploits effectively recent advances in
computing and communication technology.

Coordination 2011 seeks high-quality contributions on the usage,
study, design and implementation of languages, models and techniques
for coordination in distributed, concurrent, and multicore software
systems.  The focus is on languages, formalisms, models, middleware,
patterns, and algorithms that conceptually separate behavior from
interaction.  Research results should demonstrate an ability to
increase modularity, simplify reasoning, and ultimately enhance the
software development process. The conference is concerned with the
design and implementation of models that allow compositional
construction of large-scale concurrent and distributed systems.  Both
practical and foundational perspectives are of interest.  Given the
increasing importance of concurrency and distribution in almost every
domain of our existence, the organizers of Coordination 2011 are keen
to provide a forum for studies that address practical concerns and
industrial grade solutions, e.g., the introduction of concurrency and
distribution concepts to novel domains, comparative evaluations of
programming models on important problems, and the adoption of
domain-specific languages.  Experience reports should describe lessons
learned from the application of proposed models and techniques to
problems in the real world.

Coordination 2011 also seeks proposals for discussion panels.
Proposed topics are expected to address new and exciting subjects that
challenge fundamental assumptions or open new directions for creative
and high-impact research.


Topics of Interest

COORDINATION 2011 topics of interest include:

languages and middleware related to multicore programming, stream
programming, data parallel programming, event-driven programming, web
programming, reactive programming, ...

orchestration, tuple spaces, publish-subscribe systems, event
processing, workflow management, ...

systems for distributed software, dynamic software evolution and
update technologies, configuration and deployment architectures,
multicore and distributed patterns, ...

SPECIFICATION AND VERIFICATION: Modeling and analysis of issues
related to security, dependability, resource-awareness, real time, ...

FOUNDATIONS AND TYPES: Calculi, process models, type systems for
concurrency and distribution, component conformance, contracts, ...

networks, mobile ad-hoc networks, sensor networks, RFID-technology,
vehicle-area networks, body-area networks, Internet-of-Things, ...

EXPERIENCE REPORTS: Case studies and industrial experiences with
coordination in multicore and/or distributed development, business
process modeling, e-commerce, app-development, web applications, ...

COORDINATION FOR HUMANITY: Applications of coordination models to
people-centric sensing, ambient intelligence, context-aware systems,
Internet-of-Things for sustainability, ...



Wolfgang De Meuter  (Vrije Universiteit Brussel, Belgium)
Gruia-Catalin Roman (Washington University in Saint Louis, USA)

Program committee - to be announced


Submission Guidelines 

Technical Papers: All research and experience papers must report on
original unpublished work and cannot be under review for publication
elsewhere. Contributions should be submitted electronically as
postscript or PDF, using the Springer LNCS style.  Papers exceeding 15
pages in length will be rejected without a review.  Each paper will
undergo a thorough evaluation and the conference proceedings will be
published by Springer-Verlag in the LNCS series. Proceedings will be
made available at the conference.  Submission is a firm commitment
that at least one of the authors will attend the conference, if the
paper is accepted.

Panel Proposals: Panel proposals should include a description of the
topic addressed by the panel, the name of the panel moderator, and a
prospective list of panel members.  Panel proposals should not exceed
2 pages.


                            DAIS 2011

               11th IFIP International Conference on
         Distributed Applications and Interoperable Systems



Distributed application technology has become a foundation of the
information society. Novel computing and communication technologies
have brought a multitude of challenging application areas, including
mobile computing, ubiquitous services, service-oriented architectures,
autonomous and self-adapting systems, cloud computing, peer-to-peer
systems, or social networks, just to name a few. New challenges
include the need for novel abstractions supporting the development,
deployment, management and interoperability of evolutionary and
complex applications and services. Therefore, middleware technology
that bridges applications, platforms and users through
multi-disciplinary user requirements (like security, privacy,
usability, efficiency, safety, semantic and pragmatic interoperability
of data and services, dependability, trust and self-adaptivity) also
become of special interest. It is envisaged that future complex
applications will far exceed those of today in terms of such

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation,
supporting middleware, appropriate software engineering methodologies
and tools, as well as experimental studies and practice reports. This
time we particularly welcome in contributions on architectures,
platforms, and infrastructures for large scale distributed
applications and services.

DAIS'11 is the 11th event in a series of successful international
conferences started in 1997. It will provide a forum for researchers,
application and platform service vendors, and users, to discuss and
learn about new approaches, trends, concepts and experiences in the
fields of distributed computing.


Topics of Interest

DAIS'11 solicits high quality papers reporting research results and/or
experience reports. Submissions will be judged on their originality,
significance, interest, clarity, relevance, and correctness.

DAIS'11 especially encourages submissions addressing the following

- Novel and innovative applications in the areas of:

    * Ubiquitous and pervasive computing
    * Sensor and actuator networks
    * Mobile computing
    * Peer-to-peer systems and platforms
    * Cloud and enterprise computing
    * Collaborative intelligent devices (e.g., robots)

- Models, methodology and concepts supporting distributed applications
  with respect to:

    * Sustainability
    * Dependability and resilience
    * Evolution
    * Energy efficiency
    * Robustness and trust
    * Usability
    * Autonomy

- Middleware and techniques supporting distributed applications in the
  areas of:

    * Adaptive and autonomic systems
    * Resilient systems
    * Mobile and ubiquitous systems
    * Context- and QoS-aware systems
    * Evolution of service-oriented applications
    * Enterprise-wide and global integration
    * Semantic interoperability
    * Application and service management
    * Domain-specific modelling languages
    * Model-driven software development, testing, validation, and adaptation
    * Model evolution
    * Software architectures and patterns


Paper Submission

DAIS'11 seeks:

- Full technical papers in no more than 14 pages

- Work-in-progress papers, describing ongoing work and interim
  results, in no more than 6 pages

All papers must be original, unpublished, and not submitted for
publication elsewhere. Contributions should be submitted
electronically as postscript or PDF, using the SPRINGER LNCS
style. Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series. Proceedings will be made available at the
conference. Submission implies that at least one author will attend
the conference if the paper is accepted.


Program Chairs

- Pascal Felber, University of Neuchâtel, Switzerland
- Romain Rouvoy, University Lille 1, France

Steering Committee

- Frank Eliassen, University of Oslo, Norway
- Kurt Geihs, University of Kassel, Germany
- Jadwiga Indulska, University of Queensland, Australia
- Rüdiger Kapitza, University of Erlangen, Germany
- Lea Kutvonen (chair), University of Helsinki, Finland
- Elie Najm, Telecom-ParisTech, France
- Rui Oliveira, Universidade do Minho, Portugal
- Twittie Senivongse, Chulalongkorn University, Thailand

Program Committee

- Umesh Bellur, Indian Institute of Technology Bombay, India
- Yolande Berbers, Katholieke Universiteit Leuven, Belgium
- Gordon Blair, Lancaster University, UK
- António Casimiro, University of Lisbon, Portugal
- Emmanuel Cecchet, University of Massachusetts, USA
- Ada Diaconescu , TELECOM ParisTech, France
- Jim Dowling, SICS, Sweden
- Frank Eliassen , University of Oslo, Norway
- Pascal Felber, Université de Neuchâtel, Switzerland
- Kurt Geihs, University of Kassel, Germany
- Karl Göschka, Vienna University of Technology, Austria
- Peter Herrmann, NTNU Trondheim, Norway
- Hans-Arno Jacobsen, University of Toronto, Canada
- Rüdiger Kapitza , University of Erlangen-Nürnberg, Germany
- Reinhold Kröger, University of Applied Sciences, Wiesbaden, Germany
- Lea Kutvonen, University of Helsinki, Finland
- Winfried Lamersdorf, University of Hamburg, Germany
- Peter Linington, University of Kent, UK
- René Meier, Trinity College Dublin, Ireland
- Nitya Narasimhan, Motorola Labs, USA
- José Pereira, Universidade do Minho, Portugal
- Guillaume Pierre, Vrije Universiteit Amsterdam, The Netherlands
- Peter Pietzuch, Imperial College London, UK
- Frantisek Plasil , Charles University, Czech Republic
- Etienne Rivière, Université de Neuchâtel, Switzerland
- Romain Rouvoy, University Lille 1, France
- Sotirios Terzis, University of Strathclyde, UK
- Gaël Thomas , LIP6, France


                        FMOODS & FORTE 2011

IFIP International Conference on Formal Techniques for Distributed Systems
                   joint international conference
     13th Formal Methods for Open Object-Based Distributed Systems 
     31th Formal Techniques for Networked and Distributed Systems


Objectives and Scope

The joint conference FMOODS & FORTE is a forum for fundamental
research on theory and applications of distributed systems. The
conference solicits original contributions that advance the science
and technologies for distributed systems, with special interest in the
areas of:

 * component- and model-based design
 * object technology, modularity, software adaptation
 * service-oriented, ubiquitous, pervasive, grid, cloud and mobile
   computing systems
 * software quality, reliability and security

The conference encourages contributions that combine theory and
practice and that exploit formal methods and theoretical foundations
to present novel solutions to problems arising from the development of
distributed systems. FMOODS & FORTE covers distributed computing
models and formal specification, testing and verification methods.
The application domains include all kinds of application-level
distributed systems, telecommunication services, Internet, embedded
and real time systems, as well as networking and communication
security and reliability.


Topics of interest include but are not limited to:

    * Languages and Semantic Foundations: new modeling and language
      concepts for distribution and concurrency, semantics for
      different types of languages, including programming languages,
      modeling languages, and domain specific languages; real-time and
      probability aspects; type systems and behavioral typing

    * Formal Methods and Techniques: design, specification, analysis,
      verification, validation and testing of various types of
      distributed systems including communications and network
      protocols, service-oriented systems, and adaptive distributed

    * Applications of Formal Methods: applying the existing methods
      and techniques to distributed systems, particularly web
      services, multimedia systems, and telecommunications

    * Practical Experience with Formal Methods: industrial
      applications, case studies and software tools for applying
      formal methods and description techniques to the development and
      analysis of real distributed systems


Proceedings and Submission guidelines

The FMOODS & FORTE 2011 conference calls for high quality papers
presenting research results and/or application reports related to the
research areas in conference scope.  The conference proceedings will
be published by Springer Verlag in the LNCS series. Proceedings will
be made available at the conference.

All papers must be original, unpublished, and not submitted for
publication elsewhere. Contributions should be submitted
electronically in PDF via the EasyChair system at the URL


Each paper will undergo a peer review of at least 3 anonymous

The papers must be prepared using the SPRINGER LNCS style, available
at the URL


Papers must not exceed 15 pages in length, including figures and
references.  For referees' convenience, any additional material that
may help assessing the merits of the submission but not to be included
in the final version, like some detailed proofs, may be placed in a
clearly marked appendix (not to be counted in the page
limit). Referees are at liberty to ignore the appendix, and papers
must be understandable without them.

Submissions not adhering to the above specified constraints may be
rejected immediately, without review.


Confirmed members of the Programme Committee (more to be added)

- Saddek Bensalem, University Joseph Fourier, France
- Dirk Beyer, University of Passau, Germany
- Gregor Bochmann, University of Ottawa, Canada
- Roberto Bruni (co-chair), University of Pisa, Italy
- Nancy Day, University of Waterloo, Canada
- Juergen Dingel (co-chair), Queen's University, Kingston, Canada
- Holger Giese, University of Potsdam, Germany
- John Hatcliff, Kansas State University, USA
- Valerie Issarny, INRIA Paris Rocquencourt, France
- Einar Broch Johnsen, University of Oslo, Norway
- Ferhat Khendek, Concordia University, Canada
- Jay Ligatti, University of South Florida, USA
- Luigi Logrippo, University of Quebec - Outaouais, Canada
- Uwe Nestmann, Technical University of Berlin, Germany
- Peter Olvezcky, University of Oslo, Norway
- Alexander Petrenko, CRIM Montreal, Canada
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Antonio Ravara, Technical University of Lisbon, Portugal
- Ken Turner, University of Stirling, UK
- Keiichi Yasumoto, Nara Institute of Science and Technology, Japan
- Nobuko Yoshida, Imperial College London, UK
- Elena Zucca, University of Genova, Italy

Steering Committee

- Gilles Barthe, IMDEA Software, Spain
- Gregor v. Bochmann, University of Ottawa, Canada
- Frank S. de Boer, Centrum voor Wiskunde en Informatica, the Netherlands
- John Derrick, University of Sheffield, UK
- Khaled El-Fakih, American University of Sharjah, UAE
- Roberto Gorrieri, University of Bologna, Italy
- John Hatcliff, Kansas State University, USA
- David Lee, The Ohio State University, USA
- Antonia Lopes, University of Lisbon, Portugal
- Elie Najm (chair), Telecom ParisTech, France
- Arnd Poetzsch-Heffter, University of Kaiserslautern, Germany
- Antonio Ravara, Technical University of Lisbon, Portugal
- Carolyn Talcott, SRI International, USA
- Ken Turner, University of Stirling, UK
- Keiichi Yasumoto, NAIST, Japan
- Elena Zucca, University of Genova, Italy


Contact Information: fmoodsforte11 at easychair.org


                      Call for Workshop Proposals

DisCoTec 2011 invites proposals for one day workshops to be part of
the joint event. DisCoTec 2011 hosts conferences in the area of
coordination languages, distributed systems and formal methods for
distributed systems, ranging from practice to theory. Following a good
tradition we invite workshops in these areas to provide a forum for
presentations of preliminary research results and ongoing work as well
as presentations of research work to a focused audience. DisCoTec
workshops provide a vivid and open forum for discussions.

One day workshops will be held in conjunction with the main events.
Prospective workshop organizers are requested to follow the guidelines
below and are encouraged to contact the workshop chairs if any
questions arise.

Important Dates

   Workshop proposal deadline: December 17, 2010
   Workshop proposal notification: December 23, 2010
   Main Conference: June 6-8, 2011
   Workshop: June 9, 2011

Submission and notification deadlines of the workshops are at the discretion 
of the individual workshop organizers, however notification must be no later 
than May 10th 2011, the early registration deadline, for DisCoTec.

Proposal Submission Guidelines

Workshop proposals must be written in English, not exceed 5 pages with a 
reasonable font and margin, and be submitted in PDF format via email to 
Marcello Bonsangue (marcello at liacs.nl).

Proposals should include the following information:

    * The title, theme, and goals of the workshop.
    * The targeted audience and the expected number of 
      participants. We prefer that workshops remain open to participation 
      from any members of the community, but by-invitation-only workshops 
      will also be considered. Please explicitly state your preference.
    * The publicity strategy that will be used by the workshop organizers 
      to promote the workshop.
    * The participant solicitation and selection process.
    * Publication plan. Each workshop is responsible for managing its own 
      publication (e.g., pre- or post- proceedings), if any is desired.
    * Approximate budget proposal (see section Budget below for details).
    * A preliminary version of the call for papers. This CFP must include 
      important dates including submission, notification, and camera-ready 
    * The equipment and any other resource necessary for the organization 
      of the workshop.
    * A brief description of the organizer's background, including relevant 
      past experience on organizing workshops and contact information. 

Review Process

Workshop proposals will be reviewed by the following committee:

    * Marjan Sirjani, Reykjavik University, IS (DiScoTec 2011 general chair)
    * Marcello M. Bonsangue, University of Leiden, NL (workshops co-chair)
    * Immo Grabe, CWI, NL (workshops co-chair)

Acceptance is based on an evaluation of the workshop's potential for 
generating useful results, the timeliness and expected interest in the 
topic, the organizer's ability to lead a successful workshop, and 
potential for attracting sufficient number of participants.

Workshop Publicity

Workshop publicity is responsibility of the organizers. In particular
they are responsible for the following items:

   1. A workshop description (200 words) for inclusion on the DisCoTec site.
   2. Hosting and maintaining web pages to be linked from the DisCoTec site. 
      Workshop coordinators can integrate their pages into the wiki-page of
      DisCoTec 2011.
   3. Workshop proceedings, if any. If there is enough interest, the 
      organizer of DisCoTec 2011 may contact the editor-in-chief of the 
      Electronic Proceedings in Theoretical Computer Science 
      (http://info.eptcs.org/) for having a common volume dedicated to the 
      workshops of DisCoTec 2011.
   4. Publicizing the event. 


DisCoTec will provide registration and organizational support for the 
workshops. Registration fees must be paid for all participants, including 
organizers and invited guests.

To cover lunches, coffee breaks and basic organizational expenses, all 
workshops will be required to charge a minimum participation fee (the 
precise amount is still to be determined). Each workshop may increase this 
fee to cover additional expenses such as publication charges, student 
scholarships, costs for invited speakers, etc. All fees will be 
collected by the DisCoTec organizers as part of the registration, then 
additional funds will be redistributed to the individual workshop 

Contact Information

Marcello Bonsangue (marcello at liacs.nl) 
Immo Grabe (Immo.Grabe at cwi.nl) 


More information about the ecoop-info mailing list