The 2015 Edsger W. Dijkstra Prize in Distributed Computing

The E. W. Dijkstra Prize Committee has decided to grant the 2015 Edsger W. Dijkstra Prize in Distributed Computing jointly to the following two papers:

  • Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols, by Michael Ben-Or, published in Proceedings of the Second ACM Symposium on Principles of Distributed Computing, pages 27-30, August 1983
  • Randomized Byzantine Generals, by Michael O. Rabin, published in Proceedings of Twenty-Fourth IEEE Annual Symposium on Foundations of Computer Science, pages 403- 409, November 1983
    e-max.it: your social media marketing partner
Read more...
 

Gödel Prize 2015

e-max.it: your social media marketing partner
Read more...
 

Call for Participation, ICALP/LICS 2015 in Kyoto

Joint Conference of The 42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015) and The Thirtieth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) will be held in July 6-10, 2015, in Kyoto.

e-max.it: your social media marketing partner
Read more...
 

ESA 2015 - 23rd European Symposium on Algorithms

14-16 September 2015, Patras, Greece
http://algo2015.upatras.gr/esa

Submission deadline: 22.04.2015

e-max.it: your social media marketing partner
Read more...
 

ALGO 2015

14-18 September 2015, Patras, Greece
http://algo2015.upatras.gr/

e-max.it: your social media marketing partner
Read more...
 

CALL FOR PAPERS - GandALF 2015

The Sixth International Symposium on Games, Automata, Logics and Formal Verification will take place in Genoa, Italy, from September 21to 23.

Web page: http://gandalf2015.dibris.unige.it

e-max.it: your social media marketing partner
Read more...
 

CALL FOR PAPERS - ICTAC 2015

12th International Colloquium on
Theoretical Aspects of Computing
29-31 October 2015, Cali, Colombia
http://www.ictac2015.co

DEADLINE FOR SUBMISSIONS: JUNE 5, 2015

e-max.it: your social media marketing partner
Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 10 of 34

ICALP 2017

Warsaw, Poland

July 10-14, 2017                           

 

 

New BEATCS issue is out!

Number 121, February 2017

European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.