the new Bulletin of the EATCS is now available:
https://www.eatcs.org/images/bulletin/beatcs146.pdf
In this edition:
- In the TCS on the Web column, Stefan Neumann interviews Tim
Roughgarden about the origins of his YouTube channel, the teaching
philosophy behind his videos, and how to make theoretical ideas accessible
to a broader audience.
- In the Distributed Computing column, Neil Giridharan surveys exciting
recent work on DAG Byzantine fault-tolerant protocols, including
Bullshark—the first partially synchronous DAG BFT protocol—and how newer
protocols like Shoal++ build upon it.
- In the Formal Language Theory column, Tim A. Hartmann explores
recursive naming procedures underlying generalized compass directions,
linking them to tabled Lindenmayer systems, which are typically used to
model plant growth.
- In the Education column, Ding and colleagues at ETH Zurich evaluate
the performance of GPT-4o and o1-preview in a proof-based university
course, under blind grading.
- In the Logic in Computer Science column, Yuri Gurevich presents a
thought-provoking dialogue on the axiomatization of interactive classical
algorithms.
You'll also find a report from the EATCS Japan Chapter in this issue.
Enjoy reading—and have a wonderful summer respectively winter, depending on
your hemisphere.
Best wishes!
Stefan
PS: As always, do not hesitate to contact me or any of our editors in case
you have suggestions for topics which should be covered in an upcoming
issue of the Bulletin!
--
Prof. Dr. Stefan Schmid
Intelligent Networks (INET)
TU Berlin, Germany
Research group: https://www.tu.berlin/en/eninet
Personal: *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
