- Stefan Schmid 0001. Letter from the Editor. Bulletin of the EATCS, 145, 2025.
- Shriram Krishnamurthi, Tim Nelson. Logic for Systems: A Gradual Introduction to Formal Methods. Bulletin of the EATCS, 145, 2025.
- Giuseppe F. Italiano. Letter from the President. Bulletin of the EATCS, 145, 2025.
- Matthias Bentert. Conference Spotlight: ITCS and SODA. Bulletin of the EATCS, 145, 2025.
- Stefan Neumann 0003. Behind the Scenes of TCS+: Talks, Research, and Community Efforts. Bulletin of the EATCS, 145, 2025.
- Oliver Korten. Range Avoidance and the Complexity of Explicit Constructions. Bulletin of the EATCS, 145, 2025.
- Juhani Karhumäki, Jarkko Kari, Lila Kari, Hermann Maurer, Ion Petre, Grzegorz Rozenberg. Tribute to Arto Salomaa. Bulletin of the EATCS, 145, 2025.
- Nicola Cotumaccio. Data Compression Meets Automata Theory. Bulletin of the EATCS, 145, 2025.
- Andrea Clementi, Venkatesan Guruswami, Kristin Kane, Alon Rosen, Nikhil Srivastava, Salil P. Vadhan, Riccardo Zecchina. Obituary for Luca Trevisan. Bulletin of the EATCS, 145, 2025.
- Francesco D'Amore 0001. On the limits of distributed quantum computing. Bulletin of the EATCS, 145, 2025.