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

[PVS] SSS 2008: Approaching Deadline

The deadline for SSS 2008 is June 7, approximately 10 days away. 

        [Please accept my apologies for CrossPosting]

                           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 two years, 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: 

* 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-*

* 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 of network protocols 
* security of sensor and mobile networks protocols 
* secure architectures, frameworks, policy, intrusion detection/
* 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

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
Michael Reiter, University of North Carolina at Chapel Hill, USA
Ulrich Schmid, Vienna University of Technology, Austria

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