Bulletin of EATCS


No 148: February 2026

No 148: February 2026

Table of Contents

EATCS Matters

Letter from the President PDF
Giuseppe F. Italiano
Letter from the Editor PDF
Stefan Schmid

EATCS Columns

Know the Person behind the Papers Today: Don Knuth PDF
The Interview Column by Chen Avin and Stefan Schmid
On the Life of a Researcher: A Conversation with Nutan Limaye PDF
TCS on the Web by Stefan Neumann
Conference report on DISC 2025 PDF
Laurent Feuilloley, Conference Reports Column by Laurent Feuilloley
Using Hardness vs Randomness to Design Low-Space Algorithms PDF
Edward Pyne, Roei Tell, The Computational Complexity Column by Michal Koucky
Explaining Hallucinations from a TCS perspective: Interview with Santosh Vempala PDF
The Machine Learning Column by Pablo Barcelo, David Saulpic
An Introduction to Razborov’s Flag Algebra as a Proof System for Extremal Graph Theory PDF
Gyeongwon Jeong, Seonghun Park, Hongseok Yang, The Logic in Computer Science Column by Anuj Dawar
Foundations of Runtime Monitoring through the Lens of Concurrency Theory PDF
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Daniele Gorla, Anna Ingólfsdóttir, Karoliina Lehtinen, Jana Wagemaker, The Concurrency Column by Marino Miculan and Nobuko Yoshida
Surveying Theory of Computing Education in the United States PDF
Ryan E. Dougherty, Tim Randolph, The Education Column by Dennis Komm and Thomas Zeume
Discussion Panel on the Future: Highlights 2025 PDF
Wojciech Czerwinski, Viewpoint Column by Anca Muscholl and Stefan Schmid

News and Conference Reports

Book Announcement: “Proof Theory and Logic Programming: Computation as Proof Search” PDF
Dale Miller
Report on Yurifest 2025 - Festchrift Conference in Honour of Yuri Gurevich PDF
Guillermo Badia, Martin Wirsing
Report on CIAA 2025 PDF
Markus Holzer
Obituary for Gilles Dowek PDF
Serge Abiteboul, Pablo Arrighi, Nachum Dershowitz, Gerard Huet, Jean-Pierre Jouannaud, Claude Kirchner