European Association for Theoretical Computer Science (EATCS) is an international organization founded in 1972. Its aim is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science.

Best paper awards at ICALP 2014

The EATCS is proud to announce that the program committees of the three tracks of ICALP 2014 (http://icalp2014.itu.dk/) have selected the following papers for the best paper awards:

Call for Papers - IFIP 2014

9th International Summer School

IFIP Summer School on Privacy and Identity Management for the Future Internet in the Age of Globalisation

Patras University, Greece

September 7 - 12, 2014

pdf

http://ifip2014.cti.gr/

EATCS and ACM SIGACT present the Gödel Prize 2014 for designing innovative algorithms

Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources

Computer scientists Ronald Fagin, Amnon Lotem, and Moni Naor will receive the 2014 Gödel Prize for their paper Optimal Aggregation Algorithms for Middleware (http://researcher.watson.ibm.com/researcher/files/us-fagin/jcss03.pdf), which introduced the powerful “threshold algorithm” that is widely used in applications and systems that demand optimal results for gathering multi-sourced information. The award, which recognizes outstanding papers in theoretical computer science, is presented by the European Association for Theoretical Computer Science (EATCS) and ACM’s Special Interest Group on Algorithms and Computation Theory (SIGACT). The ceremony takes place at the International Colloquium on Automata, Languages, and Programming (ICALP) http://icalp2014.itu.dk/ July 7-11, in Copenhagen, Denmark.

1st EATCS Young Researchers School

Automata, Logic and Games

July 27 - August 1, 2014

Telc, Czech Republic

http://eatcs-school.fi.muni.cz/

EATCS Best Paper Award at ETAPS 2014

The EATCS Best Paper Award in Theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2014, ETAPS'14, was shared between the following two papers: "Computing Conditional Properties in Markovian Models Efficiently" by Christel Baier, Joachim Klein, Sascha Klueppelholz and Steffen Märcker (TACAS 2014) and "Unsafe Order-2 Tree Languages are Context-Sensitive" by Naoki Kobayashi, Kazuhiro Inaba and Takeshi Tsukada (FOSSACS).

More information