Dear PODC 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/>*

############################


Unsubscribe:

[log in to unmask]

If you don't already have a password for the LISTSERV.ACM.ORG server, we recommend
that you create one now. A LISTSERV password is linked to your email
address and can be used to access the web interface and all the lists to
which you are subscribed on the LISTSERV.ACM.ORG server.

To create a password, visit:

https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?GETPW1

Once you have created a password, you can log in and view or change your
subscription settings at:

https://LISTSERV.ACM.ORG/SCRIPTS/WA-ACMLPX.CGI?SUBED1=PODC