Wednesday, March 8, 2023

[DMANET] new EATCS Bulletin

Dear DMANET community!

The new EATCS Bulletin is available at:
https://eatcs.org/images/bulletin/beatcs139.pdf

Alexandra Silva is our first interviewee this year, and you can read more
about her and her advice, e.g., for young researchers or what to do when
stuck with a research problem, in the interview column.

The distributed computing column features Naama Ben-David, winner of the
2022 Principles of Distributed Computing Doctoral Dissertation Award, who
revisits the idea of "lock-free locks".

The Bulletin further includes a guest column by Boaz Barak: in the theory
blogs column he tells us about his experience writing on the "Windows
in Theory" blog, about his sources of inspiration, about his thoughts
on mathematics and computer science education, and much more.

In the complexity column, Ryan Williams is motivated by the observation
that we have a lot of information about what the proofs of longstanding
open complexity lower bounds cannot look like and investigates
the question: what could a proof of a strong lower bound look like?

The logical column revolves around model theory and Yuri Gurevich
discusses the the umbilical cords of finite model theory. The educational
column investigates how teaching informatics can contribute to improving
education in general.

Last but not least, in the perspectives column, Antoine Amarilli gives
an introduction to the Theoretical Computer Scientists for Future (TCS4F)
initiative which aims to make research in theoretical computer science
environmentally sustainable.

I thank all the contributors to this issue.

Enjoy the new Bulletin!

Stefan

--

Prof. Dr. Stefan Schmid
Intelligent Networks (INET)
TU Berlin, Germany
*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/
*
**********************************************************