default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin 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.
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.
last updated on 2024-10-18 19:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
