Calls for participation: 2010-10

2010-10-28

[Caml-list] Call for Workshop Proposals: DisCoTec 2011, Reykjavik, Iceland

DisCoTec 2011

6th International Federated Conferences on
Distributed Computing Techniques

Reykjavik, Iceland, 6-9 June 2011

http://discotec.ru.is/

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 presentions of preliminary
research results and ongoing work as well as presentions 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 responsability 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. 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

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

[Caml-list] First Call for Papers: DisCoTec 2011, Reykjavik, Iceland (COORDINATION + DAIS + FMOODS/FORTE)

[We apologize for multiple copies]

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

First 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) 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
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.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

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

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

DAIS
11th IFIP International Conference on
Distributed Applications and Interoperable Systems

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

* Scope *

The DAIS conference series addresses all aspects of distributed
applications, including their design, implementation and operation,
the supporting middleware, appropriate software engineering
methodologies and tools, as well as experimental studies and practice
reports. This time we welcome in particular contributions on
architectures, models, technologies and platforms for large scale and
complex distributed applications and services that are related to the
latest trends towards bridging the physical/virtual worlds based on
flexible and versatile service architectures and platforms.

* Publication *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

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

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

FMOODS & FORTE
13th IFIP International Conference on
Formal Methods for Open Object-based Distributed Systems
31th IFIP International Conference on
FORmal TEchniques for Networked and Distributed Systems

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

* Scope *

The joined 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, in particular in the areas
of:

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

The conference encourages contributions that combine theory and
practice, address problems from the development of distributed
systems, and present novel solutions with formal methods and
theoretical foundations. 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 *

Each paper will undergo a thorough process of review and the
conference proceedings will be published by Springer-Verlag in the
LNCS series.

* Program Committee Chairs *

Roberto Bruni University of Pisa, Italy
Juergen Dingel Queen's University, Kingston, Canada

2010-10-27

[Caml-list] Call for papers: HotSWUp III

[Many functional languages support some form of dynamic upgrade, e.g., Erlang,
and researchers have used OCaml as a testbed for this sort of work. Research
on package management, upgrade distributions, etc. are also very welcome.
--Mike]

CALL FOR PAPERS

HotSWUp 2011: Third ACM Workshop on Hot Topics in Software Upgrades

(co-located with ICDE 2011)
Hannover, Germany
April 16, 2011

http://www.hotswup.org

Submission deadline: 15 November 2010

SUBMISSION SITE NOW OPEN

OBJECTIVES

Actively-used software systems are upgraded regularly to incorporate
bug fixes and security patches or to keep up with the evolving
requirements. Whether upgrades are applied offline or online, they
significantly impact the system's performance and reliability.
Recently-introduced commercial products aim to address various aspects
of this problem; however, recent studies and a large body of anecdotal
evidence suggest that upgrades remain failure-prone, tedious, and
expensive.

The goal of the HotSWUp Workshop is to identify cutting-edge research
for supporting software system upgrades that are flexible, efficient,
robust, and easy to specify and apply. Many diverse research areas
are concerned with building large, evolving, highly-available systems.
As such, HotSWUp seeks contributions from all these areas, ranging
from databases to distributed systems, and from programming languages
to software engineering, and separately reflected in conferences such
as SIGMOD, ICDE, SOSP, OSDI, OOPSLA, PLDI, ICSE, and FSE. By seeking
contributions from both academic researchers and industry
practitioners, HotSWUp aims to combine novel ideas with experience
from upgrading real systems. The present workshop aims to build on
the successes of HotSWUp'08 and HotSWUp'09 where the paper
presentations and lively discussions attracted a diverse audience of
researchers.

The topics of interest include, but are not limited to:

- Upgrading Information Systems under Schema Evolution.
- Programming language / operating system / database support for
software upgrades.
- Improving the reliability of upgrades (e.g., support for upgrade
validation and for rollback after failures).
- Support for system or data restructuring (e.g., evolving APIs,
changes to database schemas).
- Identifying dependencies between components and guaranteeing safe
interactions among mixed versions.
- Coordinating and disseminating upgrades in large-scale distributed
systems.
- Software upgrades and the Cloud Computing Infrastructure.
- Tools for preparing, testing, and applying software upgrades.
- Human factors in software upgrades (e.g., usability of upgrading
tools, common operator mistakes).

SUBMISSION GUIDELINES

We are interested in papers that address practical as well as
theoretical aspects of software upgrades from large scale to embedded
applications. Particularly welcome this year are submissions
concerning software upgrade issues in database systems. Preferably,
submissions should fall into one of the following categories:

- Suggest how a successful approach can be applied in a different context
(e.g., static dependency analysis applied to distributed-system upgrades).
- Refute an old assumption about software upgrades (e.g., by presenting
negative results).
- Describe a new problem or propose a novel solution to an old problem.
- Present empirical evidence related to the practical implementation of
software upgrades.

Papers must not exceed 5 pages, in IEEE camera-ready format (templates
at
http://www.ieee.org/web/publications/pubservices/confpub/AuthorTools/conferenceTemplates.html).
Papers must be submitted electronically at http://www.hotswup.org.

IMPORTANT DATES

Submission deadline 15 November 2010
Acceptance notification 15 December 2010
Camera-ready deadline 3 January 2011
Workshop date 16 April 2011

PROGRAM COMMITTEE

Rida Bazzi, Arizona State University, USA (co-organizer)
Carlo Aldo Curino, Massachusetts Institute of Technology, USA
Fabien Dagnat, Telecom Bretagne, France
Johann Eder, University of Vienna, Austria
Michael Hicks, University of Maryland, College park, USA (co-organizer)
Manuel Oriol, University of York, UK
George Papastefanatos, National Technical University of Athens, Greece
Paolo Papotti, Università Roma Tre, Italy
Jason Nieh, Columbia University, USA
Xin Qi, Facebook, USA
Mark Segal, Laboratory for Telecommunications Sciences, USA
Liuba Shrira, Brandeis University, USA
Carlo Zaniolo, University of California, Los Angeles, USA (co-organizer)

MORE INFORMATION

Visit the workshop's homepage at:
http://www.hotswup.org

2010-10-26