Bulletin of EATCS


No 149: June 2026

No 149: June 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: Nancy Lynch PDF
The Interview Column by Chen Avin and Stefan Schmid
Adding “Verified” Badges to Our Paper, One Lemma at a Time PDF
Matthias Függer, Thomas Nowak, The Viewpoint Column by Anca Muscholl and Stefan Schmid
Disordered Reflections PDF
Michel Raynal, The Viewpoint Column by Anca Muscholl and Stefan Schmid
Decentralized Thoughts: Blogging Consensus, Blockchains, and Cryptography PDF
TCS on the Web by Stefan Neumann
Assisted computations: Inner view PDF
Yuri Gurevich, The Logic in Computer Science Column by Anuj Dawar
"Good In Theory: How Do LLMs Perform In a Theory Course?" PDF
Moritz Stocker, Dennis Komm, The Education Column by Dennis Komm and Thomas Zeume
Decision Problems for Global Protocol Specifications PDF
Elaine Li, The Concurrency Column by Marino Miculan and Nobuko Yoshida
Typing Scalas-Yoshida Benchmarks PDF
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro, The Concurrency Column by Marino Miculan and Nobuko Yoshida
Conference report on STACS 2026 PDF
Conference Reports Column by Laurent Feuilloley, Antoine Amarilli, Nicolas Bousquet, Justine Cauvi, Ugo Giocanti

News and Conference Reports

Report from EATCS Japan Chapter PDF
Yuto Nakashima