EATCS Bulletin: Spring issue available

Dear DMANET members,

the Spring issue of the EATCS Bulletin is now available:
https://eatcs.org/images/bulletin/beatcs148.pdf

In this issue’s Interview Column, Don Knuth joins us to share his
experiences and advice with the Bulletin’s readers.

In the TCS on the Web Column, Nutan Limaye introduces her podcast Life of a
Researcher, available on Spotify and Podcast Addict, featuring
conversations with researchers across fields and career stages.

In the Logic in Computer Science Column, Gyeongwon Jeong, Seonghun Park,
and Hongseok Yang introduce Razborov’s flag algebras and explain their
applications in extremal graph theory.

In the Computational Complexity Column, Edward Pyne and Roei Tell survey
recent results on applying hardness-vs.-randomness techniques to the design
of low-space algorithms.

In the Machine Learning Column, Pablo Barceló and David Saulpic interview
Santosh Vempala, exploring explanations of hallucinations from a
theoretical computer science perspective.

The Concurrency Column surveys the theoretical foundations of runtime
monitoring, covering classic regular properties, data-dependent properties,
and hyperproperties.

This issue also launches a new feature: the Conference Reports Column,
edited by Laurent Feuilloley. Welcome aboard, Laurent, and thank you for
joining the editorial team! In his inaugural column, Laurent reports on
DISC 2025 in Berlin and invites contributions — please get in touch with
him if you would like to contribute.

In the Education Column, Ryan E. Dougherty and Tim Randolph provide an
overview of theory of computing education in the United States.

In the Viewpoint Column, Wojciech Czerwinski offers a personal report on a
discussion panel at Highlights on the future of research in the automata,
games, and logic community. I am also delighted to welcome our new
Viewpoint Column editor, Anca Muscholl. Thank you, Anca — it is wonderful
to have you on board!

The Bulletin further includes a report on Yurifest 2025, an obituary for
Gilles Dowek, and a report on CIAA 2025.

Last but not least, a friendly reminder about our new YouTube channel!
Please contact Sophie and Ian if you are interested in contributing a video.

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/
<https://plamadiso.weizenbaum-institut.de/>
Personal: *https://schmiste.github.io/  <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/
*
**********************************************************