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. |
|
The EATCS Award 2025 - Laudation for Rajeev Alur
The EATCS Award committee selects as the recipient of the 2025 EATCS Award for his contributions to computer-assisted specification, analysis, verification, and synthesis of systems. Alur's research is characterized by deep and elegant theoretical ideas with a clear path to practical industrial use. His multiple celebrated contributions include the following:
During the 1990s, in collaboration with Dill, Henzinger, and others, Rajeev Alur introduced and studied timed and hybrid automata. These models have since been further explored in thousands of articles, and the resulting analysis and verification algorithms have been implemented in numerous tools.
|
Read more...
|
Presburger Award 2025 – Laudatio
The 2025 Presburger Award Committee has chosen Tomasz Kociumaka and Sepehr Assadi as joint recipients of the 2025 EATCS Presburger Award for Young Scientists.
|
Read more...
|
EATCS-IPEC Nerode Prize 2025
The EATCS-IPEC Nerode Prize for outstanding papers in the area of multivariate algorithmics is awarded to
Hans L. Bodlaender, Fedor V. Fomin, Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh, and Dimitrios M. Thilikos
for their paper
(Meta) Kernelization. J. ACM 63(5): 44:1-44:69 (2016), announced at Foundations of Computer Science (FOCS) 2010.
|
Read more...
|
EATCS Bulletin Issue 146 is available online
The 145th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring
|
Read more...
|
The 2025 Alonzo Church Award
The 2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to
Paul Blain Levy
for his fundamental study of effectful λ-calculi through the Call-by-Push-Value calculus.
The awardee book and paper are:
Paul Blain Levy. Call-By-Push-Value: A Functional/Imperative Synthesis. Semantics Structures in Computation 2, Springer 2004, ISBN 1-4020-1730-8
Paul Blain Levy. Call-by-Push-Value: Decomposing call-by-value and call-by-name. High.-Order Symb. Comput. 19(4): 377-414 (2006)
|
Read more...
|
EATCS Bulletin Issue 145 is available online
The 145th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring
|
Read more...
|
|
|
|
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>
|
Page 1 of 66 |