Final 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.
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/
*
**********************************************************
Posts
