[We apologize for multiple copies]
====================================================================
Second Call for Papers and Workshops
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) 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
--------------------------------------------------------------------
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 - 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
--------------------------------------------------------------------
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.
--------------------------------------------------------------------
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@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@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
deadlines.
* 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.
Budget
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
organizers.
Contact Information
Marcello Bonsangue (marcello@liacs.nl)
Immo Grabe (Immo.Grabe@cwi.nl)
--------------------------------------------------------------------
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
