EATCS Bulletin Issue 149 is available online
The 149th issue of the EATCS Bulletin, is now available online at http://bulletin.eatcs.org/index.php/beatcs/index featuring
|
|
Read more...
|
The 2026 Alonzo Church Award
The 2026 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented to
Pablo Barceló, Leonid Libkin, Wim Martens, Juan Reutter, Miguel Romero, Moshe Vardi and Domagoj Vrgoč
for laying foundations of logical languages for querying property graphs that found adoption in the SQL and GQL international standards within a decade
|
|
Read more...
|
