[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS] Call for Papers: SSS 2008
[Apologies if you receive multiple copies of this CFP,
please feel free to distribute -- thanks!]
Call for Papers
SSS 2008
10th International Symposium on
Stabilization, Safety, and Security of Distributed Systems
Call for Papers
Nov 21-23 2008
Doubletree Hotel Dearborn
5801 Southfield Freeway
Detroit, MI 48228
The 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.
The theory of self-stabilization has been enriched in the last 30
years by high quality research contributions in the areas of
algorithmic techniques, formal methodologies, model theoretic
issues, and composition techniques. All these areas are essential
to the understanding and maintenance of self-* properties in
fault-tolerant distributed systems.
Research in distributed systems is now at a crucial point in its
evolution, marked by the importance of dynamic systems such as
peer-to-peer networks, large-scale wireless sensor networks,
mobile ad hoc networks, robotic networks, etc. Moreover, 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.
Now, more than ever, the theory of self-stabilization has
tremendous impact in these areas. Last year, the scope of the
symposium was expanded to cover all safety and security related
aspects of self-* systems. The symposium solicits contributions
on all these aspects from theoretical contributions, to reports
of the actual experience of applying the principles of
self-stabilization to static and dynamic systems.
--------------------------------------------------------------
Topics of interest include, but are not limited to:
Stabilization
* self-stabilizing systems
* self-managed, self-assembling, autonomic and adaptive systems
* self-optimizing and self-protecting systems
* self-* abstractions for implementing fundamental services in
static and dynamic distributed systems
* impossibility results and lower bounds for self-* systems
* application of stabilizing algorithms and techniques in dynamic
distributed systems
* data and code stabilization
* algorithms for self-* error detection/correction
* models of fault-tolerant communication
* stochastic, physical, and biological models to analyze self-*
properties
Safety
* safety critical systems
* trust models and specifications
* semantics of trust, distrust, mistrust, over-trust, cheat, risk
and reputation
* trust-related security and privacy
* reliable and dependable systems
* fault-tolerant algorithms and systems, hardware redundancy,
robustness, survivable systems, failure recovery
* program maintenance for safety preservation
* peer-to-peer networks, sensor networks, MANETs, and wireless
mesh networks
* self-* properties and their relation with classical fault-tolerance
* safety of election systems
Security
* security of network protocols
* security of sensor and mobile networks protocols
* secure architectures, frameworks, policy, intrusion detection/
awareness
* proactive security
* security protocols for self-* systems
* peer-to-peer networks, sensor networks, MANETs, and wireless
mesh networks
* security of election systems
-------------------------------------------------------------------
Contributors are invited to submit a PDF file of their
paper. Submissions should be no longer than 4800 words and should
not exceed 12 pages on A4-size paper using at least 11 point font
and reasonable margins (the page limit includes all figures,
tables, and graphs). Submissions should include a cover page
(that does not count toward the 12 page limit) that includes
paper title, authors and affiliations, contact author's e-mail
address, an abstract of the work in a few lines, and a few
keywords. Submitted papers may have appendices beyond the 12 page
limit, but reviewers are free to disregard any material beyond
the 12 page limit. A paper submitted is expected to be original
research not previously published; a submission may not be
concurrently submitted or to any other conference, workshop, or
journal.
The proceedings of the conference will be published in the
Springer Verlag Lecture Notes in Computer Science (LNCS) series.
Keynote Speakers
Anish Arora, Ohio State University, USA
Ulrich Schmid, Vienna University of Technology, Austria
Michael Reiter, University of North Carolina at Chapel Hill, USA
Review Process
SSS 2008 review process will include rebuttal phase. Authors
would be able to provide rebuttal of reviews. The intended dates
for this rebuttal phase is August 10-13. Authors would have 72
hours to provide a rebuttal. It is strongly encouraged that the
contact author be chosen such that he/she would be available to
read his/her email during this time.
Best Paper Award
A best paper award will be given to the author(s) of the best
student-authored paper. A paper is eligible if a co-author is a
full-time student at the time of submission and has made a
significant contribution to it. To inform the program committee
about a paper's eligibility, please indicate the corresponding
box in the submission page.
Important Dates
Submission: July 7, 2008
Initial notification: August 10, 2008 (tentative)
End of Rebuttal period: August 13, 2008 (tentative)
Final Notification: August 20, 2008
Camera Ready Submission: August 28, 2008
Conference: Nov 21-23 2008
Special Issue
Selected papers from the conference would be invited to a special
issue in Theoretical Computer Science. More detailed instructions
on this would be available at a later time.
Program Co-chairs
Sandeep Kulkarni, Michigan State University, US
Andre Schiper, EPFL, Switzerland
Program Committee
Anish Arora, Ohio State US
Mahesh Arumugam, CISCO, US
Levente Buttyan, Budapest Univ. of Technology and Economics Hungary
Wei Chen, MSR Asia China
Alain Cournier Université de Picardie France
Ajoy Datta, University of Nevada Las Vegas, US
Xavier Defago, JAIST Japan
Murat Demirbas, SUNY Buffalo, US
Shlomi Dolev, Ben-Gurion University of the Negev, Israel
Felix Freiling, Universit?t Mannheim, Germany
Roy Friedman, Technion Israel
Sukumar Ghosh, University of Iowa, US
Mohamed Gouda, University of Texas at Austin, US
Yong Guan, Iowa State US
Constance Heitmeyer, Naval Research Laboratory, US
Ted Herman, University of Iowa, US
Lisa Higham, Calgary University, Canada
Jaap-Henk Hoepman, Radboud University Nijmegen Netherlands
Martin Hutle, EPFL Switerland
Alex Liu, Michgan State University, US
Jean-Philippe Martin, MSR Cambrige UK
Achour Mostefaoui, Irisa France
Mikhail Nesterenko, Kent State University US
Guevara Noubir, Northeastern Univ. Boston US
Rui Oliveira, Univ. of Minho Portugal
Fernando Pedone, University of Lugano Switerland
Ravi Prakash, UT Dallas US
Ulrich Schmid, University of Vienna Austria
Alex Shvartsman, University of Connecticut US
Neeraj Suri, Darmstadt Univ Germany
Sebastien Tixeuil, Universit?e Paris 6, LIP6-CNRS & INRIA, France
Philippas Tsigas, Chalmers Univ Sweden
Tatsuhiro Tsuchyia, Osaka Univ Japan
Local Arrangements
Hongwei Zhang, Wayne State, US
Steering Committee
Anish Arora, Ohio State University, USA
Ajoy K. Datta, University of Nevada Las Vegas, USA
Shlomi Dolev, Ben-Gurion University of the Negev, Israel
Sukumar Ghosh, Chair, University of Iowa, USA
Mohamed G. Gouda, University of Texas at Austin, USA
Ted Herman, University of Iowa, USA
Shing-Tsaan Huang, National Central University, Taiwan
Vincent Villain, Universit? de Picardie, France
More information is available @ http://sss08.cse.msu.edu/
--
--
Sandeep S. Kulkarni
Associate Professor
Computer Science and Engineering email: sandeep@xxxxxxxxxxx
Michigan State University tel: 517-355-2387
3115 Engineering Building fax: 517-432-1061
East Lansing, Michigan 48824 www.cse.msu.edu/~sandeep