The Gödel Prize 2017 - Call for Nominations

Deadline: February 15, 2017

The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT). The award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 25th Gödel Prize will be awarded at the 49th Annual ACM Symposium on Theory of Computing, to be held from 19-23 June, 2017 in Montreal, Canada.

CAI 2017 - Call for Papers

CAI 2017
7th International Conference on Algebraic Informatics
June 25-28, 2017
Kalamata, Greece

http://www.cargo.wlu.ca/CAI2017/

The 2017 Edsger W. Dijkstra Prize in Distributed Computing

http://www.disc-conference.org/wp/dijkstra-prize/
http://www.podc.org/dijkstra/

Nominations deadline: March 15, 2017

CIAC 2017 - CALL FOR PAPERS

10th International Conference on Algorithms and Complexity
May 24-26, 2017, Athens, Greece
http://www.corelab.ntua.gr/ciac2017/

**Submission deadline has been extended to November 11, 2016**

ICALP 2017 - Call for Workshop Proposals

July 10-13, Warsaw, Poland

Workshops affiliated with ICALP 2017 will be held on July 14-16 (after the main conference).
We invite proposals of workshops related to any of the three tracks of ICALP, as well as other areas of theoretical computer science.
In order to submit a proposal, get in touch with us by sending an e-mail to This e-mail address is being protected from spambots. You need JavaScript enabled to view it . We will close submissions on November 30.
Before contacting us, think about the format of the workshop and your expectations. A rough estimate of the cost for a single participant is 50 EUR per day, including lunch and two coffee breaks.
Because of the limited capacity of the conference venue, we might not be able to accept all proposals.

L.E.J. Brouwer, fifty years later

Amsterdam, 9 december 2016
Luitzen Egbertus Jan Brouwer (27 February 1881 – 2 December 1966), was an influential Dutch mathematician and philosopher, who worked in topology, set theory, measure theory and complex analysis. On December 6, 1966 Brouwer died as a consequence of a traffic accident. Brouwer had by then put his ever-lasting mark on mathematics, logic and philosophy. In mathematics he revolutionized topology with his dimension theory, fixed point theorems and homotopy theory. In logic he became the founding father of intuitionism, with its constructive approach to mathematics and logic that is also relevant in theoretical computer science. In philosophy he questioned our very perception of mathematical reality.