DISC 2017
The 31st International Symposium on Distributed Computing
October 16-20th, 2017, Vienna, Austria
www.disc-conference.org/2017/
HIGHLIGHTS
Invited speakers:
Anne-Marie Kermarrec (INRIA, Rennes, France)
Dana Randall (Georgia Tech, USA)
Christian Cachin (IBM Research Zurich, Switzerland)
Program:
http://www.disc-conference.org/wp/disc2017/program/
Workshops:
October 16th:
FRIDA: Formal Reasoning in Distributed Algorithms
Workshop on Blockchain Technology and Theory
TPC: Workshop on the Theory and Practice of Concurrent Data Structures
October 20th:
ADGA: Workshop on Advances in Distributed Graph Algorithms
CoDyn: Workshop on Computing in Dynamic Networks
HDT: Workshop on Hardware Design and Theory
Dijkstra Prize:
The 2017 Edsger W. Dijkstra Prize in Distributed Computing sponsored by ACM
PODC and EATCS DISC will be presented at DISC this year.
It has been awarded to the paper
Elizabeth Borowsky, Eli Gafni:
Generalized FLP impossibility result for t-resilient asynchronous
computations.
The award ceremony will be held at the DISC 2017 banquet.
Celebration of Yoram Moses's 60th birthday
The talks in honor of Yoram will be held on the afternoon of October 17th
by Joe Halpern (Cornell University, USA), Moshe Tenenholtz (Technion,
Israel), Moshe Vardi (Rice University, USA), Shafi Goldwasser (MIT, USA),
and Sergio Rajsbaum (UNAM, Mexico).
VENUE AND REGISTRATION
DISC'17 will be held at Austria Trend Hotel Park Royal Palace, at
Schlossallee 8, 1140 Wien (Vienna), in close proximity to the Vienna
Technical Museum, and with views of Schönbrunn Palace.
We cordially invite you to register under
http://www.disc-conference.org/wp/disc2017/registration/
For information on the venue, hotels, and travelling, please see:
http://www.disc-conference.org/wp/disc2017/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/
*
**********************************************************