Summer issue of the EATCS Bulletin

Dear DMANET community,

the Summer issue of the EATCS Bulletin is now available!
https://eatcs.org/images/bulletin/beatcs149.pdf

In the Interview Column, we had the pleasure of speaking with Nancy Lynch
who reflects on her scientific journey, the development of the theory of
distributed systems, and the people and ideas that influenced her
remarkable career.

In the Viewpoint Column, Matthias Függer and Thomas Nowak discuss their
experience using AI coding agents and Lean to formally verify results from
a theoretical computer science paper, discussing the opportunities and
challenges that such tools may bring to our community. The column also
features a thought-provoking essay by Michel Raynal, who reflects on the
role of research and teaching in universities, the nature of informatics,
and the broader mission of the teacher-researcher.

In the TCS on the Web Column, Stefan Neumann interviews several
contributors of  Decentralized Thoughts, the influential blog on
distributed computing, blockchains, and cryptography. The discussion
highlights how blogs can complement traditional papers by providing
intuition, educational material, and connections across research
communities.

The Concurrency Column features two contributions on the specification and
verification of concurrent systems. Elaine Li surveys recent advances on
implementability, synthesis, and subtyping for global communication
protocols. And Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo
de’ Liguoro demonstrate the expressive power of modern session-type
frameworks through benchmark protocols.

In the Logic in Computer Science Column, Yuri Gurevich presents new
developments in the theory of Abstract State Machines. Building on earlier
work on algorithms and computation, he develops an “inner view” of assisted
computation, where algorithms interact with external environments and
oracles.

In the Education Column, Moritz Stocker and Dennis Komm investigate how
modern large language models perform on undergraduate Theory of Computing
exams. Their blind-grading experiment compares GPT-generated solutions
against student submissions and provides thought-provoking insights into
the rapidly evolving capabilities of AI systems.

The Conference Column reports on STACS 2026 in Grenoble, highlighting both
the scientific program and the surrounding community.

Finally, the Bulletin includes a report from the Japanese Chapter of the
EATCS, covering the 24th EATCS-JP/LA Workshop on Theoretical Computer
Science and celebrating this year’s presentation award winners.

Enjoy the new issue of the Bulletin!
Stefan

--

Prof. Dr. Stefan Schmid
Intelligent Networks (INET)
TU Berlin, Germany
Research group at TU Berlin: https://www.tu.berlin/en/eninet
Research group at Weizenbaum Institute:
https://plamadiso.weizenbaum-institut.de/
Personal: *https://schmiste.github.io/*

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************