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.

Vote for Council Elections 2019

We would like to inform you that the electronic Council Election of new members has started.

In order to vote please click HERE or click the image above

Voting Procedure:

You can cast your vote until October 11th at 24:00:00 CET.
You can vote up to 6 candidates.

The list of nomination was approved at the General Assembly, at ICALP 19.

FoIKS-2020 (11th International Symposium on Foundations of Information and Knowledge Systems)

The FoIKS symposia (http://foiks.org/) provide a biennial forum that brings together researchers working on the theoretical foundations of information and knowledge systems and to attract researchers working in mathematical fields such as discrete mathematics, combinatorics, logics, and finite model theory who are interested in applying their theories to research on database and knowledge base theory. The goal is to provide researchers working in these areas with an opportunity to share research experiences, promote collaborations, and identify new issues and directions for future research.

2019 Edsger W. Dijkstra Prize in Distributed Computing

The Edsger W. Dijkstra Prize in Distributed Computing is awarded for outstanding papers on the principles of distributed computing, whose significance and impact on the theory or practice of distributed computing have been evident for at least a decade. It is sponsored jointly by the ACM Symposium on Principles of Distributed Computing (PODC) and the EATCS Symposium on Distributed Computing (DISC). The prize is presented annually, with the presentation taking place alternately at PODC and DISC.

EATCS Bulletin Issue 128 is available online

The 128th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/issue/view/30 featuring

- "Selected open problems in Matching Under Preferences" by K. Cechlárová, Á. Cseh, D. Manlove

- "An Overview of Recent Results for Consensus in Directed Dynamic Networks", by K. Winkler, U. Schmid,

- "Incompleteness Ex Machina”, S. Oberhoff