![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Bulletin of the EATCS, Volume 140
Volume 140, June 2023
- Artur Czumaj:
Letter from the President. - Stefan Schmid:
Letter from the Editor. - Johan Håstad:
The EATCS Award 2023 - Laudatio for Amos Fiat. - Mikolaj Bojanczyk:
Presburger Award 2023 - Laudatio. - Nikhil Bansal:
EATCS Distinguished Dissertation Award for 2022. - Giuseppe F. Italiano:
EATCS-Fellows 2023. - 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
- 2023 Goedel Prize.
- Fedor V. Fomin:
IPEC Nerode Prize 2023.
- Kenichi Morita:
Making Reversible Computing Machines in a Reversible Cellular Space. - Michal Koucký:
Automata and Formal Languages: Shall we let them go? - Stefan Walzer:
What if we tried Less Power? Lessons from studying the power of choices in hashing-based data structures. - Joel D. Day, Vijay Ganesh, Florin Manea:
Formal Languages via Theories over Strings: An Overview of Some Recent Results. - Michel Raynal:
Mutual Exclusion vs Consensus: Both Sides of the Same Coin? - Valentina Dagiene:
Bebras: Inspiring Informatics Education Across the Globe.
- Yukiko Yamauch:
Report from EATCS Japan Chapter. - Ciaran McCreesh:
Report on BCTCS 2023. - Ulf-Peter Schroeder:
Scientific colloquium in honor of former EATCS President Burkhard Monien on the occasion of his 80th birthday.
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.