European Association for Theoretical Computer Science

from Wikipedia, the free encyclopedia

The European Association for Theoretical Computer Science (EATCS) is an international society for theoretical computer science with a focus on Europe, founded in 1972.

Founding members include Maurice Nivat , Jaco de Bakker , Corrado Böhm , Mike Paterson . The organization annually awards the EATCS Award , publishes the journals Bulletin of the EATCS and Theoretical Computer Science (TCS, founded in 1975 and published by Elsevier) and monographs on computer science (series of Texts in Theoretical Computer Science, Monographs in Theoretical Computer Science).

With the Association for Computing Machinery (ACM) Special Interest Group on Algorithms and Computation Theory (SIGACT) they award the Gödel Prize (named after Kurt Gödel ) and with the ACM Symposium on Principles of Distributed Computing (PODC) the Dijkstra Prize ( named after Edsger W. Dijkstra ). There are also prizes for the best work and the Presburger Award for young scientists (since 2010, named after Mojżesz Presburger , who discovered Presburger arithmetic in 1929 as a student ).

You have been organizing an annual conference series, International Colloquium on Automata, Languages ​​and Programming (ICALP), since 1972 , the proceedings of which have been published since 1976 in the Lecture Notes in Computer Science (LNCS) by Springer Verlag.

They have an Italian, French and Japanese sub-organization (with EATCS members in the respective countries) and are connected to the European Association for Computer Science Logic (EACSL), Computability in Europe (CiE) and internationally with ACM SIGACT.

Web links