Tuesday, June 9, 2015

[DMANET] SSS 2015 - Call for Participation

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

Call for Participation

17th International Symposium on Stabilization, Safety,
and Security of Distributed Systems (SSS 2015)

Edmonton, Alberta, Canada
18-21 August 2015
sss15.cs.ualberta.ca

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

Keynote Speakers:

Distributed Runtime Verification
Sergio Rajsbaum (Instituto de Matematicas, Universidad Nacional Autonoma de
Mexico, Mexico) - Aug. 19

Is Bitcoin Stable, Secure, and Scalable?
Roger Wattenhofer (Distributed Computing Group, ETH Zurich, Switzerland) -
Aug. 20

Correctness Conditions for Randomized Shared Memory Algorithms
Philipp Woelfel (Department of Computer Science, University of Calgary,
Canada) - Aug. 21

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

Summer School Lectures (August 18th)

Communication-less Secure-multiparty-computation
Shlomi Dolev (Ben-Gurion University, Israel)

An Introduction to Distributed Computability via Combinatorial Topology
Sergio Rajsbaum (Universidad Nacional Autonoma de Mexico, Mexico)

Distributed Computing by Mobile Entities
Nicola Santoro (Carleton University, Canada)

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

All registration fees include the summer school as well as the banquet
event.

Author registration (by June 5th, 2015): CAD$550

Early registration (by June 17th, 2015)
Regular: CAD$550
Student: CAD$290

Late registration (after June 17th, 2015)
Regular: CAD$720
Student: CAD$430

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

Please visit the conference webpage for:
- list of accepted papers
- registration
- information on local arrangements

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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************