The Spring issue of the EATCS bulletin is available at
https://eatcs.org/images/bulletin/beatcs142.pdf
The Distributed Computing Column features Siddhartha Jayanti, the winner of
the 2023 Principles of Distributed Computing Doctoral Dissertation Award.
His thesis presents several important concurrent algorithms, and raises
exciting opportunities for simple machine-verified proofs for concurrent
data structures.
In the Interview Column, Laura Kovacs and Moshe Vardi tell us which papers
motivated them to become researchers in their respective fields, give
advice on how to deal with failures, and share with us many interesting
anecdotes and perspectives about their daily work and about the directions
they believe our community may evolve.
In the Education Column, Marko Schmellenkamp, Fabian Vehlken, and Thomas
Zeume discuss the challenges involved in teaching introductory courses on
formal foundations of computer science, including the large class sizes
with students with different backgrounds. They report on their positive
experiences with supplementing traditional teaching with the teaching
support system Iltis.
The Bulletin further includes conference reports from the International
Workshop on Non-Classical Models of Automata and Applications (NCMA) and
from the 27th International Conference on Implementation and Application of
Automata (CIAA).
I wish you a happy Spring time and I hope you enjoy the new Bulletin!
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/>*
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
Virus-free.www.avast.com
<https://www.avast.com/sig-email?utm_medium=email&utm_source=link&utm_campaign=sig-email&utm_content=webmail>
<#DAB4FAD8-2DD7-40BB-A1B8-4E2AA1F9FDF2>
**********************************************************
*
* 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
