[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Last CfP: SSS'12 (formal methods track)




- Call for Papers: SSS 2012 -

14th International Symposium on Stabilization, Safety, and Security
of Distributed Systems

October 1-4, 2012
Toronto, Canada

http://www.cs.uwaterloo.ca/sss2012/

The SSS symposium is a prestigious international forum for researchers and
practitioners in the design and development of fault-tolerant distributed
systems with self-* properties, such as self-stabilizing, self-configuring,
self-organizing, self-managing, self-repairing, self-healing, self-optimizing,
self-adaptive, and self-protecting systems. Research in distributed systems is now
at a crucial point in its evolution, marked by the importance of dynamic
systems such as cloud networks, social networks, peer-to-peer networks, large-scale
wireless sensor networks, mobile ad hoc networks, etc., and many new applications such
as grid and web services, banking and e-commerce, e-health and robotics,
aerospace and avionics, automotive, industrial process control, etc. have
joined the traditional applications of distributed systems.

The conference provides a wide spectrum of topics, covered in the following
tracks:
* Self-Stabilization
* Ad-Hoc and Sensor Networks
* Fault-Tolerance and Dependable Systems
* Safety and Security
* Cloud Computing
* Formal Methods
* Social Networks
* Peer-to-Peer, Self-Organizing and Autonomic Systems

===============
IMPORTANT DATES
===============

* Abstract Submission: April 16, 2012
* Paper Submission: April 23, 2012
* Notification: June 6, 2012

================
PAPER SUBMISSION
================

Papers must be submitted in PDF format and be prepared using the LNCS style.
Detailed instructions for submitting papers will be available later.
Two types of papers can be submitted: Regular Papers and Brief Announcements.
Submissions for regular papers should be no longer than 15 pages
(including the title, authors, abstract, figures, and references) in LNCS
style; a submission may have an appendix of at most two pages beyond the
15 page limit. Brief announcements are restricted to two pages using the
LNCS style, with no appendix. Submissions deviating from these guidelines
will be rejected without consideration of their merits.
If requested by the authors on the submission system, a regular submission
that is not selected for a regular presentation will also be considered for
a brief announcement. Such a request will not affect consideration of the
paper for a regular paper.
A paper submitted at this forum is expected to be original research not
previously published. A contribution can be submitted to one track only and
may not be concurrently submitted to another conference, workshop, or journal.

===========
PUBLICATION
===========

The proceedings of the conference will be published in the
Springer Verlag Lecture Notes in Computer Science (LNCS) series.
A special journal issue for selected SSS 2012 papers is under negotiation;
please see the website for more information.

==================================
BEST PAPER AND BEST STUDENT AWARDS
==================================

The program committee will select two papers for best paper and best
student paper awards. A paper is eligible for the best student paper
award if at least one of its authors is a full-time student at the time of
submission, and if the student made a major contribution to the paper.
This must be indicated by marking an appropriate box in
the submission system.

============
ORGANIZATION
============

General Chair:

Sukumar Ghosh, The University of Iowa, USA

Program Co-Chairs:

Andrea Richa, Arizona State University, USA
Christian Scheideler, University of Paderborn, Germany

Program Vice Chairs:

Self-Stabilization
Sylvie Delaet, LRI, University of Paris-Sud 11, France
Maria Gradinariu Potop-Butucaru, University of Paris 6, France

Ad-Hoc and Sensor Networks
Murat Demirbas, SUNY Buffalo, USA

Fault-Tolerant and Dependable Systems
Rida Bazzi, Arizona State University, USA

Safety and Security
Felix Freiling, Friedrich-Alexander-University, Germany

Cloud Computing
Mohamed Gouda, University of Texas at Austin, USA

Formal Methods
Borzoo Bonakdarpour, University of Waterloo, Canada

Social Networks
Sonja Buchegger, KTH, Sweden
Thorsten Strufe, TU Darmstadt, Germany

Peer-to-Peer, Self-Organizing and Autonomic Systems
Fabian Kuhn, University of Lugano, Switzerland / University of Freiburg, Germany
Christian Schindelhauer, University of Freiburg, Germany

Local Arrangements:

Borzoo Bonakdarpour, University of Waterloo, Canada
Bernard Wong, University of Waterloo, Canada

Publicity Chair:

Stefan Schmid, TU Berlin / Telekom Innovation Laboratories, Germany