[Om-announce] Final Call for Papers: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE)

[DisCoTec2011 at publicizing.org]

[We apologize for multiple copies]

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

                      Final Call for Papers

                           DisCoTec 2011

             6th International Federated Conferences on
                  Distributed Computing Techniques

                      http://discotec.ru.is/

                 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:

  * COORDINATION
  * DAIS
  * FMOODS & FORTE

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)             Telecom ParisTech, 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

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

Scope

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:

PROGRAMMING ABSTRACTIONS AND LANGUAGES: Design and implementation of
languages and middleware related to multicore programming, stream
programming, data parallel programming, event-driven programming, web
programming, reactive programming, ...

COORDINATION MODELS AND PARADIGMS: Service composition and
orchestration, tuple spaces, publish-subscribe systems, event
processing, workflow management, ...

SOFTWARE MANAGEMENT AND SOFTWARE ENGINEERING: Component and module
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, ...

SOFTWARE FOR DECENTRALIZED TECHNOLOGIES: P2P frameworks, nomadic
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, ...

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

PC-Chairs

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

Program committee 

- Doug Lea, OSWEGO State University of New York, USA
- Susan Eisenbach, Imperial College London, UK
- Patrick Eugster, Purdue University, USA
- Manuel Serano, INRIA Sophia-Antipolis, France
- John Field, IBM Research, USA
- Rocco De Nicola, University of Florence, Italy
- Dave Clarke, Katholieke Universiteit Leuven, Belgium
- Marjan Sirjani, Reykjavik University, Island
- Jean-Marie Jacquet, University of Namur, Belgium
- Carolyn Talcott, SRI, USA
- Vasco Vasconcelos, University of Lisbon, Portugal
- Carlos Canal, University of Malaga, Spain
- Mark Miller, Google, USA
- Jay A. McCarthy, Brigham Young University, USA
- Farhad Arbab, CWI, The Nederlands
- Mirko Viroli, Università di Bologna, Italy
- Robert Hirschfeld, HPI, Germany
- Sun Meng, Peking University, China

Steering Committee

- Farhad Arbab, CWI, The Netherlands (chair)
- Rocco De Nicola, University of Florence, Italy
- Jean-Marie Jacquet, University of Namur, Belgium
- Doug Lea, State University of New York at Oswego, USA
- Gruia-Catalin Roman, Washington University in Saint Louis, USA
- Carolyn Talcott, SRI, USA
- Vasco T. Vasconcelos, University of Lisbon, Portugal
- Herbert Wiklicky, Imperial College London, GB
- Gianluigi Zavattaro, University of Bologna, Italy

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

Submission Guidelines 

Technical Papers and Experience Reports: 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.

The papers must be prepared using the Springer LNCS style.

Contributions should be submitted electronically in PDF via the
EasyChair system:

https://www.easychair.org/account/signin.cgi?conf=coordination2011


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. Proposals can be mailed directly to the chairs.


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

                            DAIS 2011

               11th IFIP International Conference on
         Distributed Applications and Interoperable Systems

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

Scope

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
requirements.

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
topics:

- 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
      systems

    * 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

        https://www.easychair.org/account/signin.cgi?conf=fmoodsforte11

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

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

       http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

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.

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

Programme Committee

- 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
- John Derrick, University of Sheffield, UK
- Juergen Dingel (co-chair), Queen's University, Kingston, Canada
- Khaled El-Fakih, American University of Sharjah, UAE
- Holger Giese, University of Potsdam, Germany
- John Hatcliff, Kansas State University, USA
- Valerie Issarny, INRIA Paris Rocquencourt, France
- Claude Jard, INRIA/IRISA Rennes, 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
- Niels Lohmann, University of Rostock, Germany
- Fabio Massacci, University of Trento, Italy
- Uwe Nestmann, Technical University of Berlin, Germany
- Peter Olveczky, University of Oslo, Norway
- Alexandre Petrenko, CRIM Montreal, Canada
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Andre Platzer, Carnegie Mellon University, USA
- 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

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