[We apologize for multiple copies]
====================================================================
Second Call for Papers
DisCoTec 2012
7th International Federated Conference on
Distributed Computing Techniques
http://discotec.ict.kth.se/
Stockholm, Sweden, June 13-16 2012
====================================================================
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
All conferences share the same deadlines:
* Important Dates *
February 10, 2012 Abstract Submission
February 17, 2012 Paper Submission
March 26, 2012 Notification of Acceptance
April 9, 2012 Camera ready version
June 13-16 2012 Conference and Workshops
--------------------------------------------------------------------
COORDINATION
14th International Conference on Coordination Models and Languages
--------------------------------------------------------------------
* Scope *
As ICT technologies and software-intensive systems are increasingly
embedded into the fabric of everyday life, effective coordination
techniques are needed to enhance our ability to develop software that
is responsive to emerging societal demands and changing application
needs, exploits effectively recent advances in computing and
communication technology, and is capable of adaptive behaviour in the
short and in the long term. COORDINATION is the premier forum for
exposing innovating research results and relevant experience reports
on software technologies for collaboration and coordination in
concurrent, distributed, and socio-technical 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 and social domain.
Coordination 2012 seeks high-quality contributions on the usage, study,
design and implementation of languages, models and techniques for
coordination in distributed, concurrent, pervasive, and multicore
software systems. The focus is on languages, formalisms, models,
middleware, patterns, and algorithms that conceptually support a proper
engineering of the interaction dimension. Research paper should
demonstrate an ability to increase modularity, adaptivity, simplify
reasoning, and ultimately enhance the software development process and
its integration into a socio-techical context. Both practical and
foundational perspectives are of interest.Given the increasing importance
of coordination models and technologies in almost every domain of our
existence, the organizers of Coordination 2012 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 are thus welcome that describe lessons learned from
the application of proposed models and techniques to problems in the real
world.In addition, the conference this year will welcome short "Visions
in Progress" papers that tries to look far ahead into the future of ICT
and society to expose innovative - though preliminary - ideas on highly
innovative models, technologies, or applications, related to coordination
models/languages/technologies.
* Topics of interest *
COORDINATION 2012 topics of interest include (but are not limited to):
- 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, cloud managemement, ...
- 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 coordination patterns, ...
- SPECIFICATION AND VERIFICATION: Modeling and analysis of issues related
to security, privacy, dependability, resource-awareness, real time, ...
- FOUNDATIONS AND TYPES: Calculi, process models, type systems for
concurrency and distribution, component conformance, contracts, ...
- SOFTWARE FOR HIGHLY DECENTRALIZED TECHNOLOGIES: P2P frameworks,
nomadic networks, mobile ad-hoc networks, sensor networks,
RFID-technology, vehicle-area networks, body-area networks,
Internet-of-Things, cyber-physical systems, ...
- COORDINATION FOR ADAPTIVE AND AUTONOMIC SYSTEMS: adaptive coordination
models and patterns, self-organization and coordination, coordination in
systems of feedback loops, middleware for adaptive coordination,
multiagent systems, ...
- SOCIO-TECHNICAL SYSTEMS: coordination in social and socio-technical
systems, coordination and social networking, coordination for
crowd-sourcing and human computation systems, coordination in urban
environments, ...
- COORDINATION FOR HUMANITY: Applications of coordination models to
people-centric sensing, ambient intelligence, green computing,
coordination for sustainability, ...
- EXPERIENCE REPORTS: Case studies and industrial experiences with
coordination in multicore and/or distributed development, business
process modeling, e-commerce, app-development, web applications, ...
* Submissions*
All Research and Experience Papers must report on original unpublished
work and cannot be under review for publication elsewhere. Innovation,
scientific and technical soundness, and the capability to prove the
advantages of the proposed techniques, other than their potential for
applicability, will be the key criteria for evaluating submissions.
Maximum length: 15 pages.
Visions in Progress papers can report on work that has already been
presented elsewhere, but the paper in itself must be a new synthesis and
must clearly outline the motivation for the vision and the path that can
eventually lead to its realization. Solid motivations, radical innovation,
capability to look far beyond the state of the art, and feasibility of
the proposed vision, will be the key criteria for evaluating submissions.
Maximum length: 5 pages.
All contributions should be submitted electronically as postscript or PDF,
using the Springer LNCS style, via EasyChair. Submissions exceeding the
state length will be rejected without reviewing.
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.
* Program Committee Co-Chairs *
- Marjan Sirjani, Reykjavik University, Iceland
- Franco Zambonelli, Universita degli Studi di Modena e Reggio Emilia, Italy
* Publicity Chair *
- Gwen Salaun, INRIA, France
* Steering Committee *
- Farhad Arbab, CWI, The Netherlands (chair)
- Gul Agha, University of Illinois at Urbana Champaign, USA
- Dave Clarke, Catholic University of Leuven, Belgium
- Wolfgang De Meuter, Vrije Universiteit Brussels, Belgium
- Rocco De Nicola, University of Florence, Italy
- Gruia-Catalin Roman, Washington University in Saint Louis, USA
- Carolyn Talcott, SRI, USA
- Vasco T. Vasconcelos, University of Lisbon, Portugal
- Gianluigi Zavattaro, University of Bologna, Italy
* Program Committee *
- Farhad Arbab, CWI, The Netherlands
- Borzoo Bonakdar, University of Wateloo, Canada
- Roberto Bruni, University of Pisa, Italy
- Carlos Canal, University of Malaga, Spain
- Wolfgang De Meuter, Vrije Universiteit Brussels, Belgium
- Rocco De Nicola, IMT Lucca and University of Firenze, Italy
- Robert Hirschfeld, Hasso-Platter Institute Postdam, Germany
- Jean-Marie Jacquet, University of Namur, Belgium
- Mohammad Mahdi Jaghoori, CWI, The Netherlands
- Christine Julien, University of Texas, USA
- Ramtin Khosravi, University of Teheran, Iran
- Natallia Kokash, CWI, The Netherlands
- Christian Krause, University of Postdam, Germany
- Doug Lea, State University of New York at Oswego, USA
- Jay McCarthy, Brigham Young University, USA
- Sun Meng, Peking University, China
- Shiva Najat, Simula Lab, Norway
- Andrea Omicini, Alma Mater Studiorum - Universita di Bologna, Italy
- Jose Proenca, Catholic University of Leuven, Belgium
- Jan Rutten, CWI and Radboud University, The Netherlands
- Gwen Salaun, INRIA, France
- Michael Ignaz Schumacher, University of Applied Sciences Western
Switzerland, Switzerland
- Manuel Serano, INRIA, France
- Carolyn Talcott, SRI International, USA
- Vasco Vasconcelos, University of Lisbon, Portugal
- Mirko Viroli, Alma Mater Studiorum - Universita di Bologna, Italy
--------------------------------------------------------------------
DAIS
12th IFIP International Conference on
Distributed Applications and Interoperable Systems
--------------------------------------------------------------------
* Scope *
The DAIS conference series addresses all aspects of distributed
applications, including their architecture, design, implementation and
operation, the supporting middleware, appropriate software engineering
methodologies and tools, as well as experimental studies and practice reports.
DAIS'12 is the 12th 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'12 solicits high quality papers reporting research results and/or
experience reports in the area of distributed applications and
interoperable systems. Submissions will be judged on their originality,
significance, clarity, relevance, and correctness.
DAIS'12 conference topics include, but are not limited to:
- Novel and innovative applications and systems: mobile and context-aware
applications, ubiquitous and pervasive computing, Internet of services,
Internet of things, service-oriented computing, autonomous and self-adaptive
systems, cloud computing, peer to peer systems, sensor and ad-hoc networks,
systems of systems, collaborative intelligent devices, social networks,
apps for smartphones and pad-computers.
- Architectures, architectural styles, middleware, platforms, distributed
computing infrastructures, application level protocols, and devices (e.g.,
smartphones) supporting distributed applications.
- Properties and design goals: Security, trust, privacy, dependability,
resilience, safety, performance, scalability, usability, efficiency,
sustainability, green computing, interoperability, autonomy,
self-* properties.
- Engineering and tools: modeling, model-driven architecture,
domain-specific languages, design, patterns, development, deployment,
validation, testing, benchmarking, operation, management, adaptation,
evolution.
- Challenges: change, evolution, complexity, large and ultra large
scale, dynamism, mobility, heterogeneity.
* Publication *
DAIS'12 seeks:
- Full research papers in no more than 14 pages.
- Full experimental and evaluation studies, case studies, and practice
reports 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 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 register and attend the
conference if the paper is accepted.
* Program Committee Co-Chairs *
- Karl M. Goeschka, Vienna University of Technology, Austria
- Seif Haridi, Swedish Institute of Computer Science, Sweden
* Programme Committee *
- Yolande Berbers, Katholieke Universiteit Leuven (Belgium)
- Antoine Beugnard, TELECOM Bretagne (France)
- Gordon Blair, Lancaster University (UK)
- Antonio Casimiro, University of Lisbon (Portugal)
- Felicita Di Giandomenico, ISTI-CNR, Pisa (Italy)
- Ada Diaconescu, TELECOM ParisTech (France)
- Frank Eliassen, University of Oslo (Norway)
- Lorenz Froihofer, Telekom (Austria)
- Kurt Geihs, University of Kassel (Germany)
- Nikolaos Georgantas, INRIA (France)
- Svein Hallsteinsen, SINTEF (Norway)
- Peter Herrmann, NTNU Trondheim (Norway)
- Matti Hiltunen, AT&T Labs (USA)
- Jadwiga Indulska, University of Queensland (Australia)
- Hans-Arno Jacobsen, University of Toronto (Canada)
- Rudiger Kapitza , University of Erlangen-Nurnberg (Germany)
- Lea Kutvonen, University of Helsinki (Finland)
- Rene Meier, Trinity College Dublin (Ireland)
- Alberto Montresor, University of Trento (Italy)
- Hausi A. Muller, University of Victoria (Canada)
- Elie Najm, TELECOM ParisTech (France)
- Jose Pereira, Universidade do Minho (Portugal)
- Guillaume Pierre, Vrije Universiteit Amsterdam (The Netherlands)
- Peter Pietzuch, Imperial College London (UK)
- Etienne Riviere, Universite de Neuchatel (Switzerland)
- Florian Rosenberg, IBM (USA)
- Giovanni Russello, Create-Net (Italy)
- Nicolas Schiper, Google Zurich (Switzerland)
- Douglas Schmidt, Vanderbilt University (USA)
- Francois Taiani, Lancaster University (UK)
- Sotirios Terzis, University of Strathclyde (UK)
- Gael Thomas, LIP6 (France)
- Vladimir Tosic, NICTA (Australia)
* Steering Committee *
- Frank Eliassen, University of Oslo (Norway)
- Pascal Felber, Universite de Neuchatel (Switzerland)
- Kurt Geihs, University of Kassel (Germany)
- Jadwiga Indulska, University of Queensland (Australia)
- Rudiger Kapitza, University of Erlangen-Nurnberg (Germany)
- Lea Kutvonen, University of Helsinki (Finland)
- Elie Najm, TELECOM ParisTech (France)
- Rui Oliveira, Universidade do Minho (Portugal)
- Romain Rouvoy, University Lille 1 (France)
- Twittie Senivongse, Chulalongkorn University (Thailand)
--------------------------------------------------------------------
FMOODS & FORTE
IFIP International Conference on
Formal Techniques for Distributed Systems
joint international conference
14th Formal Methods for Open Object-Based Distributed Systems
32nd Formal Techniques for Networked and Distributed Systems
--------------------------------------------------------------------
* 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, availability, safety and security
* adaptive distributed systems, self-stabilization, self-healing/organizing
* verification, validation, formal analysis and testing of the above
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 *
FMOODS & FORTE 2012 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, testing and runtime verification of various
types of distributed systems including communications and network protocols,
service-oriented systems, and adaptive distributed systems
- Applications of Formal Methods: applying formal methods and techniques
for studying quality, reliability, availability, safety and security of
distributed systems
- 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
* Publication *
The FMOODS & FORTE 2012 conference calls for high quality papers presenting
research results and/or application reports related to the research areas
in conference scope.
Like in the past, the conference proceedings will be published by Springer
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. Each paper will undergo a peer review of at least 3
anonymous reviewers. The papers must be prepared using the SPRINGER LNCS style.
Research papers, experience reports as well as tool or system description
papers are all encouraged. 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 can ignore the appendix, and papers must be
understandable without them.
Submissions not adhering to the above specified constraints may be rejected
immediately, without review.
* Program Committee Co-Chairs *
- Holger Giese, Hasso Plattner Insitute, University of Potsdam, Germany
- Grigore Rosu, University of Illinois at Urbana-Champaign, USA
* Programme Committee *
- Luciano Baresi, Politecnico di Milano, Italy
- Saddek Bensalem, University Joseph Fourier, France
- Dirk Beyer, University of Passau, Germany
- Roberto Bruni, University of Pisa, Italy
- John Derrick, University of Sheffield, UK
- Juergen Dingel, Queen's University, Kingston, Canada
- Jose Luiz Fiadeiro, University of Leicester, UK
- Robert France, Colorado State University, USA
- Holger Giese (co-chair), Hasso Plattner Insitute, Univ. of Potsdam, Germany
- Susanne Graf, Universite Joseph Fourier / CNRS / VERIMAG, France
- Klaus Havelund, NASA JPL, USA
- Mark Hills, CWI, The Netherlands
- Gerard Holzmann, NASA/JPL, USA
- Einar Broch Johnsen, University of Oslo, Norway
- Alexander Knapp, Augsburg University, Germany
- Antonia Lopes, University of Lisbon, Portugal
- Dorel Lucanu, University of Iasi, Romania
- Peter Mueller, ETH, Switzerland
- Uwe Nestmann, Technical University of Berlin, Germany
- Peter Olveczky, University of Oslo, Norway
- Doron Peled, Bar Ilan University. Israel
- Patrizio Pelliccione, University of L'Aquila, Italia
- Alexandre Petrenko, CRIM Montreal, Canada
- Arend Rensink, University of Twente, Netherlands
- Grigore Rosu (co-chair), University of Illinois at Urbana-Champaign, USA
- Bernhard Rumpe, RWTH Aachen University, Germany
- Vlad Rusu, Inria Lille Nord, France
- Ketil Stolen, University of Oslo, Norway
- Heike Wehrheim, University of Paderborn, Germany
- Michael Whalen, University of Minnesota
- Elena Zucca, University of Genova, Italy
* Steering Committee *
- Gregor v. Bochmann, University of Ottawa, Canada
- Roberto Bruni, University of Pisa, Italy
- John Derrick, University of Sheffield, UK
- Juergen Dingel, Queen's University, Kingston, Canada
- 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, New Univ of Lisbon, Portugal
- Carolyn Talcott, SRI International, USA
- Ken Turner, University of Stirling, UK
- Elena Zucca, University of Genova, Italy
====================================================================
DisCoTec 2012 Call for Workshop Proposals
--------------------------------------------------------------------
DisCoTec 2012 invites proposals for one day workshops to be part of the
joint event. DisCoTec 2012 hosts conferences in the area of coordination
languages, distributed systems and formal methods for distributed
systems, ranging from practice to theory. 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 chair if any questions arise.
* Important Dates *
January 13, 2012 Workshop proposal deadline
January 20, 2012 Workshop proposal notification
June 13-16, 2012 Main Conference
June 16, 2012 Workshops
Submission and notification deadlines of the workshops are at the
discretion of the individual workshop organizers, however notification
must be no later than 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
Rui Oliveira (rco at di.uminho.pt).
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:
* Jim Dowling, KTH University, Stockholm (DiScoTec 2012 general chair)
* Rui Oliveira, Universidade do Minho, Portugal (workshops 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 of web pages either on the DisCoTec website or
linked from the DisCoTec site..
3. Workshop proceedings, if any. If there is enough interest, the
organizer of DisCoTec 2012 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 2012.
4. Publicising 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 *
Rui Oliveira, rco at di.uminho.pt
====================================================================
DisCoTec 2012 Organizing Committee
--------------------------------------------------------------------
* General Chair *
Jim Dowling KTH, Stockholm
* Workshops Chair *
Rui Oliveira Universidade do Minho, Portugal
* Posters Chair *
Sarunas Girdzijauskas SICS, Sweden
* Publicity Chair *
Ivana Dusparic Trinity College Dublin, Ireland
* Industry Session Chair *
Gyorgy Dan KTH, Sweden
* Steering Committee *
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
--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
