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.

The 12th International Computer Science Symposium in Russia, CSR17 - Call for Papers

Kazan, Russia — June 8-12, 2017
http://logic.pdmi.ras.ru/csr2017

EATCS Distinguished Dissertation Award 2016 - Call for Nominations

Deadline: 31 December 2016

EATCS Fellows 2017 - Call for Nominations

Deadline: December 31, 2016

• VERY IMPORTANT: all nominees and nominators must be EATCS Members 
• Proposals for Fellow consideration in 2017 should be submitted by DECEMBER 31st, 2016 by email to the EATCS Secretary ( This e-mail address is being protected from spambots. You need JavaScript enabled to view it ). The subject line of the email should read "EATCS Fellow Nomination - <surname of candidate>".

Presburger Award for Young Scientists 2017

Call for Nominations

Deadline: December 31st, 2016

Starting in 2010, the European Association for Theoretical Computer Science (EATCS) established the Presburger Award. The Award is conferred annually at the International Colloquium on Automata, Languages and Programming (ICALP) to a young scientist (in exceptional cases to several young scientists) for outstanding contributions in theoretical computer science, documented by a published paper or a series of published papers. The Award is named after Mojzesz Presburger who accomplished his path-breaking work on decidability of the theory of addition (which today is called Presburger arithmetic) as a student in 1929.