European Association for Theoretical Computer Science

European Association for Theoretical Computer Science
Secretary Office of EATCS · Public domain · source
Name	European Association for Theoretical Computer Science
Abbreviation	EATCS
Founded	1972
Headquarters	Geneva
Region served	Europe
Fields	Theoretical computer science

European Association for Theoretical Computer Science The European Association for Theoretical Computer Science is a professional society that supports research and collaboration in theoretical computer science across Europe. It promotes activities connecting researchers in Alan Turing-related computation theory, Alonzo Church-style logic, and areas influenced by Kurt Gödel, John von Neumann, Stephen Cook, and Leslie Lamport. The association engages with institutions such as École Normale Supérieure, Max Planck Society, Oxford University, Institut des Hautes Études Scientifiques, and ETH Zurich to foster events, publications, and awards.

History

The association was founded in the context of developments following milestones like the Dublin Declaration of academic cooperation and conferences influenced by pioneers such as Maurice Wilkes, Donald Knuth, Richard Karp, Michael Rabin, and Dana Scott. Early meetings drew participants from University of Cambridge, University of Oxford, Sorbonne University, University of Paris, Technische Universität München, Politecnico di Milano, Trinity College Dublin, and University of Edinburgh. Over decades the association expanded alongside projects at CERN, European Organization for Nuclear Research, collaborations with European Commission research frameworks, and initiatives linked to European Research Council funding. Notable figures associated with the association include Miklós Ajtai, Sanjeev Arora, Silvio Micali, Shafi Goldwasser, and Carsten Lund.

Organization and Governance

The governance model mirrors structures used by societies such as Association for Computing Machinery, IEEE Computer Society, and Society for Industrial and Applied Mathematics. The executive committee, elected by members from institutions including University of Amsterdam, KU Leuven, University of Warsaw, Charles University, and University of Bologna, sets policy and organizes flagship conferences. Advisory boards have included representatives from Royal Society, Academia Europaea, Austrian Academy of Sciences, Royal Netherlands Academy of Arts and Sciences, and Finnish Academy of Science and Letters. Financial oversight aligns with practices from Wellcome Trust grant administration and budgeting reminiscent of Marie Skłodowska-Curie Actions.

Membership and Chapters

Membership attracts academics from departments at Princeton University, Harvard University, Stanford University, Massachusetts Institute of Technology, Carnegie Mellon University, and European centers like Imperial College London, University of Copenhagen, Ludwig Maximilian University of Munich, Heidelberg University, and University of Helsinki. National and regional chapters coordinate activities in countries with groups at Poland Academy of Sciences, Hungarian Academy of Sciences, Russian Academy of Sciences, Swiss Federal Institute of Technology in Lausanne, and Italian National Research Council. Student chapters liaise with organizations such as European Student Union and partner with summer schools at Les Houches, Centre de Recerca Matemàtica, and Mathematical Research Institute of Oberwolfach.

Conferences and Events

The association sponsors flagship conferences comparable to International Conference on Automata, Languages, and Programming, draws speakers from venues like International Congress of Mathematicians, and coordinates with event series including STOC, FOCS, ICALP, Computational Complexity Conference, and Symposium on Theory of Computing. Regional workshops have been hosted at University of Barcelona, Politecnico di Torino, Scuola Normale Superiore di Pisa, University of Zagreb, Belgrade Faculty of Mathematics, and Istanbul Technical University. Collaborative events connect with labs at École Polytechnique, Université Libre de Bruxelles, University of Oslo, Chalmers University of Technology, Aalto University, and Royal Institute of Technology. Summer schools and tutorials often feature lecturers from Nils Nilsson, Edsger Dijkstra-inspired curricula, and seminars co-organized with Mathematical Institute, Oxford.

Publications and Awards

The association publishes proceedings and newsletters akin to journals such as Journal of the ACM, SIAM Journal on Computing, Theoretical Computer Science (journal), and collaborates with publishers like Springer Science+Business Media, Elsevier, Cambridge University Press, Oxford University Press, and IEEE Xplore. Awards administered or endorsed by the association recognize achievements in line with prizes such as the Gödel Prize, Turing Award, Knuth Prize, Neal Koblitz Prize, and national honors from Royal Swedish Academy of Sciences. Prize committees have included laureates like Leslie Valiant, Artemis Alexiadou, Barbara Liskov, and John Hopcroft. The association also curates lecture series similar to the Gödel Lecture and supports monographs in collaboration with publishing partners at Springer Lecture Notes in Computer Science.

Education and Outreach

Educational initiatives mirror programs at EuCoMS, partner with outreach efforts at Science Museum, London, and coordinate summer schools inspired by European Mathematical Society activities. Outreach to secondary institutions includes collaborations with Olympiad in Informatics training centers, teacher workshops connected to International Mathematical Olympiad preparation, and exchange programs referencing Erasmus+ mobility schemes. Public lectures have been held at venues such as Royal Institution, Royal Society, Palace of Versailles forums, and city festivals in Berlin, Paris, Madrid, Rome, and Amsterdam to increase visibility for theoretical research.

Category:Theoretical computer science organizations