41st International Symposium on
Mathematical Foundations of Computer Science
(MFCS-2016)

Krakow, Poland, August 22--26, 2016

URL: http://mfcs.ki.agh.edu.pl

The EATCS has recognized five of its members for their outstanding contributions to theoretical computer science by naming them as recipients of an EATCS fellowship.

An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Gödel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research.

Call for Nominations

The EATCS bestows the EATCS Award 2016 to Dexter Kozen (Cornell University, USA) for fundamental contributions across the whole spectrum of theoretical computer science.

ICALP 2016
http://www.easyconferences.eu/icalp2016/

The 43rd International Colloquium on Automata, Languages, and Programming ( ICALP) will take place in Rome, Italy, on July 11-15, 2016.

ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on July 11.

Deadline for nominations for several EATCS Awards is approaching!