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.
e-max.it: your social media marketing partner
 

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.

e-max.it: your social media marketing partner
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.

e-max.it: your social media marketing partner
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.

e-max.it: your social media marketing partner
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

e-max.it: your social media marketing partner
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)

e-max.it: your social media marketing partner
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

e-max.it: your social media marketing partner
Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 1 of 66

ICALP 2025

Aarhus, Denmark

July 8-11, 2025                


 

 

New BEATCS issue is out!

Number 146, June 2025

European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.