The European Association for Theoretical Computer Science (EATCS) is an international organization with a European focus, founded in 1972. Its aim is to...
9 KB (535 words) - 08:53, 19 March 2024
Theoretical computer science is a subfield of computer science and mathematics that focuses on the abstract and mathematical foundations of computation...
42 KB (4,803 words) - 18:20, 30 January 2025
Gödel Prize (category Theoretical computer science)
prize for outstanding papers in the area of theoretical computer science, given jointly by the European Association for Theoretical Computer Science (EATCS)...
30 KB (2,163 words) - 05:08, 26 March 2025
Algorithms on Graphs organized in cooperation with the European Association for Theoretical Computer Science (EATCS) ICDCS — International Conference on Distributed...
8 KB (786 words) - 15:37, 10 April 2025
Nerode Prize (category Theoretical computer science)
is a theoretical computer science prize awarded for outstanding research in the area of multivariate algorithmics. It is awarded by the European Association...
7 KB (663 words) - 05:07, 26 March 2025
of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association for Computing...
34 KB (859 words) - 19:41, 14 April 2025
Automata, Languages and Programming in 2004 from the European Association for Theoretical Computer Science. Williams’s result that the complexity class NEXP...
6 KB (545 words) - 09:49, 27 May 2024
secretariat of the European Association for Theoretical Computer Science, of the Slovak Society for Computer Science and of the Association for Security of Information...
4 KB (455 words) - 02:59, 12 April 2024
Mojżesz Presburger (category European philosopher stubs)
died in the Holocaust, probably 1943. In 2010, the European Association for Theoretical Computer Science began conferring the annual Presburger Award named...
7 KB (492 words) - 13:09, 16 December 2024
In theoretical computer science, a pointer machine is an atomistic abstract computational machine whose storage structure is a graph. A pointer algorithm...
12 KB (1,556 words) - 21:48, 22 April 2025
Symposium on Parallelism in Algorithms and Architectures (category Theoretical computer science conferences)
is organized in cooperation with the European Association for Theoretical Computer Science (EATCS). SPAA was first organised on 18–21 June 1989, in Santa...
3 KB (242 words) - 16:40, 17 June 2024
International Colloquium on Automata, Languages and Programming (category Theoretical computer science conferences)
the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences...
7 KB (629 words) - 11:21, 9 September 2024
Fundamenta Informaticae (category Theoretical computer science)
auspices of the European Association for Theoretical Computer Science. Janusz Kowalski, 2004. The Polish Mathematical Society (PTM). European Mathematical...
2 KB (100 words) - 22:37, 30 April 2025
or 1979) is an Israeli-American theoretical computer scientist and mathematician. He is a professor of computer science at the Courant institute at New...
9 KB (815 words) - 15:47, 29 January 2025
Mathematics Genealogy Project Presburger Award 2012, European Association for Theoretical Computer Science, retrieved 2012-04-25. Mitzenmacher, Michael (June...
7 KB (521 words) - 12:24, 17 October 2024
International Conference on Developments in Language Theory (category Theoretical computer science conferences)
of computer science held annually under the auspices of the European Association for Theoretical Computer Science. Like most theoretical computer science...
6 KB (550 words) - 12:22, 9 September 2024
Computation (ACM SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the...
24 KB (2,245 words) - 02:40, 27 February 2025
Leslie Valiant (category Theoretical computer scientists)
where he received a PhD in computer science in 1974. Valiant is world-renowned for his work in Theoretical Computer Science. Among his many contributions...
14 KB (1,220 words) - 03:16, 30 April 2025
Dinneen in 2002, and published in The Bulletin of the European Association for Theoretical Computer Science. Both digital and analog hardware implementations...
8 KB (1,084 words) - 21:45, 10 June 2024
Presburger Award (category Computer science awards)
the European Association for Theoretical Computer Science (EATCS) to "a young scientist for outstanding contributions in theoretical computer science, documented...
4 KB (269 words) - 15:45, 13 October 2024
International Symposium on Distributed Computing (category Theoretical computer science conferences)
networks. The Symposium is organized in association with the European Association for Theoretical Computer Science (EATCS). It and the ACM Symposium on Principles...
4 KB (365 words) - 17:11, 8 March 2025
Fundamental areas of computer science Computer science is the study of computation, information, and automation. Computer science spans theoretical disciplines...
72 KB (6,673 words) - 05:26, 18 April 2025
List of learned societies (section European)
of Sciences and Arts European Association for Artificial Intelligence European Association for Theoretical Computer Science European Association for the...
16 KB (1,696 words) - 11:09, 27 April 2025
Mulmuley-Sohoni Approach to P vs. NP" (PDF). Bulletin of the European Association for Theoretical Computer Science. 78: 86–97. A. A. Razborov (2004). "Feasible Proofs...
7 KB (767 words) - 07:13, 29 April 2025
Church–Turing thesis (category Philosophy of computer science)
2003). "Algorithms: A Quest for Absolute Definitions" (PDF). Bulletin of European Association for Theoretical Computer Science (81). Archived (PDF) from...
57 KB (6,820 words) - 02:39, 2 May 2025
Yuri Gurevich (category 1997 fellows of the Association for Computing Machinery)
managed the column on Logic in Computer Science in the Bulletin of the European Association for Theoretical Computer Science. Since 2013 Gurevich has worked...
7 KB (836 words) - 01:58, 9 November 2024
Vera Traub (category German computer scientists)
of the 2020 European Association for Theoretical Computer Science Distinguished Dissertation Award, and the Hausdorff Memorial Prize for best dissertation...
5 KB (360 words) - 08:11, 12 July 2024
Mike Paterson (category British theoretical computer scientists)
Royal Society since 2001 and been president of the European Association for Theoretical Computer Science (EATCS). According to EATCS president Maurice Nivat...
6 KB (654 words) - 09:52, 15 March 2025
Hans-Jörg Kreowski (category German computer scientists)
professor for computer science at the University of Bremen in North West Germany. His primary research area is theoretical computer science with an emphasis...
10 KB (889 words) - 14:49, 27 July 2024
Workshop on Logic, Language, Information and Computation (category Theoretical computer science conferences)
the Association for Logic, Language and Information, the Association for Symbolic Logic, the European Association for Theoretical Computer Science and...
24 KB (2,677 words) - 06:24, 2 January 2025