DISCOTEC 2012 - International Federated Conferences on Distributed Computing Techniques

Website | Edit Freely

Category DISCOTEC 2012

Deadline: February 17, 2012 | Date: June 13, 2012-June 16, 2012

Venue/Country: Stockholm, Sweden

Updated: 2011-11-08 09:44:38 (GMT+9)

Call For Papers - CFP

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.

* Publication *

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

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.

* 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

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.

* 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

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