Monday, June 19, 2023

[DMANET] Summer issue of the EATCS Bulletin

Dear EATCS community,

the Summer issue of the EATCS Bulletin is out!

https://eatcs.org/images/bulletin/beatcs140.pdf

I thank all editors and contributors, and in particular Efi Chita from the
EATCS office, for all their help in making this a very interesting and
special issue!

I invite you to read the interview with Shweta Agrawal, our "person behind
the papers" of this issue, who shares her career experiences and advice,
and also tells us about her move back from the USA to India, realizing her
childhood dream. In the algorithms column, Stefan Walzer reviews and
compiles interesting lessons from studying the power of choices in
hashing-based data structures. In particular, he explores the space
efficiency of data structures, if the additional power afforded by more
than 2 choices is outweighed by the additional costs, and whether it may be
beneficial to try less power. In the complexity column, Michal Koucky,
raises the question whether the time has come to let the automata and
grammars courses go and replace the content by other theoretical
foundations of computer science; he also discusses hurdles which one might
encounter when trying to modify the course.

In the logics column, Kenichi Morita surveys how computing is effectively
performed in a reversible world: physical reversibility is one of the
fundamental laws of nature, so can computing machines be realized utilizing
a reversible law as well and how? In the distributed computing column,
Michel Raynal revisits the concepts of mutual exclusion and consensus and
argues that consensus is to logical objects what mutual exclusion is to
physical objects. In the formal languages theory column, Joel D. Day, Vijay
Ganesh, and Florin Manea present an overview of recent results on how
formal languages and their properties can be expressed via theories over
strings. In the educations column, Valentina Dagiene reports on the Bebras
challenge and how it inspires informatics education.

The Bulletin further includes a report of the scientific colloquium in
honor of former EATCS President Burkhard Monien on the occasion of his 80th
birthday, as well as conference reports and updates from EATCS Japan
chapter.

Enjoy the new Bulletin!

Stefan Schmid


--

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