I hope you had a good start into the year and I wish you all the best for
2025.
This is to inform you that the Spring issue of the Bulletin of the EATCS is
now available at
https://www.eatcs.org/images/bulletin/beatcs145.pdf
In the Interview Column, we talk with Antoine Amarilli, who currently also
serves as the vice-president of EATCS.
Matthias Bentert reports on his conference experiences at ITCS 2025 and
SODA 2025, and Vikraman Choudhury reports on POPL 2025.
In the Distributed Computing Column, Francesco d'Amore surveys some recent
exciting results in quantum distributed computing, focusing on the question
of when a distributed quantum advantage is possible.
In the TCS on the Web Column, Stefan Neumann talks with Rachel Cummings and
Sumegha Garg, looking behind the scenes of TCS+, an online seminar series
in theoretical computer science.
The Algorithmics Column features Nicola Cotumaccio, whose PhD thesis on
data compression and automata theory was selected by the Italian Chapter of
the EATCS for the Best PhD Thesis Award.
In the Computational Complexity Column, Oliver Korten provides a survey of
range avoidance search problems, which lead to several exciting new results
in derandomization and circuit complexity.
The Education Column, authored by Shriram Krishnamurthi and Tim Nelson,
presents a proposal for increasing the accessibility of formal methods to
the large number of students who could benefit from it but may not be
well-served by traditional introductions.
An obituary for Luca Trevisan, who was also our editor for the Theory Blogs
Column, highlights his rich and diverse legacy of influential results and
the profound impact he had on our community.
We.also honor Arto Salomaa, a world-class Finnish mathematician and
theoretical computer scientist, who passed away in January this year. He is
renowned for his foundational contributions to automata theory and formal
languages, among numerous other. He also played a key role in the
establishment and early development of the EATCS and served as its
president from 1979 to 1985.
A big thank you to all editors and authors of this issue for their
contributions.
Enjoy the new Bulletin and I hope to see you sometime this year!
Stefan
--
Prof. Dr. Stefan Schmid
Intelligent Networks (INET)
TU Berlin, Germany
Research group: https://www.tu.berlin/en/eninet
Personal: *https://schmiste.github.io/ <https://schmiste.github.io/>*
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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/
*
**********************************************************
Posts
