Bull. EATCS

Keyphrases

Publications

volume 141, 2023

Ian Mertz
Reusing Space: Techniques and Open Problems. Bull. EATCS 141 (2023)
Ulrike Schmidt-Kraepelin
Removing the Barriers: Overcoming Impostor Phenomenon as a Community. Bull. EATCS 141 (2023)
Jürgen Dassow, Martin Kutrib, Giovanni Pighizzini
25 Editions of DCFS: Origins and Directions. Bull. EATCS 141 (2023)
Dean Leitersdorf
The Relationship between APSP and Matrix Multiplication in Congested Clique. Bull. EATCS 141 (2023)
Yuri Gurevich
Obituary: Gregory Tseytin. Bull. EATCS 141 (2023)
Stefan Schmid
Letter from the Editor. Bull. EATCS 141 (2023)
Yuri Gurevich, Andreas Blass
What are kets? Bull. EATCS 141 (2023)
Artur Czumaj
Letter from the President. Bull. EATCS 141 (2023)
Magnús M. Halldórsson
SIROCCO Prize for Innovation in Distributed Computing - Laudatio for Boaz Patt-Shamir. Bull. EATCS 141 (2023)
Anca Muscholl
ICALP 2024 - Call for Papers. Bull. EATCS 141 (2023)
Anca Muscholl
Report on ICALP 2023. Bull. EATCS 141 (2023)

volume 140, 2023

Valentina Dagiene
Bebras: Inspiring Informatics Education Across the Globe. Bull. EATCS 140 (2023)
Kenichi Morita
Making Reversible Computing Machines in a Reversible Cellular Space. Bull. EATCS 140 (2023)
Michal Koucký
Automata and Formal Languages: Shall we let them go? Bull. EATCS 140 (2023)
2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation. Bull. EATCS 140 (2023)
Artur Czumaj
Letter from the President. Bull. EATCS 140 (2023)
Johan Håstad
The EATCS Award 2023 - Laudatio for Amos Fiat. Bull. EATCS 140 (2023)
Stefan Walzer
What if we tried Less Power? Lessons from studying the power of choices in hashing-based data structures. Bull. EATCS 140 (2023)
Joel D. Day, Vijay Ganesh, Florin Manea
Formal Languages via Theories over Strings: An Overview of Some Recent Results. Bull. EATCS 140 (2023)
Michel Raynal
Mutual Exclusion vs Consensus: Both Sides of the Same Coin? Bull. EATCS 140 (2023)
Fedor V. Fomin
IPEC Nerode Prize 2023. Bull. EATCS 140 (2023)
Yukiko Yamauch
Report from EATCS Japan Chapter. Bull. EATCS 140 (2023)
Ciaran McCreesh
Report on BCTCS 2023. Bull. EATCS 140 (2023)
2023 Goedel Prize. Bull. EATCS 140 (2023)
Ulf-Peter Schroeder
Scientific colloquium in honor of former EATCS President Burkhard Monien on the occasion of his 80th birthday. Bull. EATCS 140 (2023)
Nikhil Bansal
EATCS Distinguished Dissertation Award for 2022. Bull. EATCS 140 (2023)
Mikolaj Bojanczyk
Presburger Award 2023 - Laudatio. Bull. EATCS 140 (2023)
Stefan Schmid
Letter from the Editor. Bull. EATCS 140 (2023)
Giuseppe F. Italiano
EATCS-Fellows 2023. Bull. EATCS 140 (2023)

volume 139, 2023

Artur Czumaj
Letter from the President. Bull. EATCS 139 (2023)
Yuri Gurevich
Obituary: Yuri Manin. Bull. EATCS 139 (2023)
Ryan Williams
The Power of Constructing Bad Inputs. Bull. EATCS 139 (2023)
Yuri Gurevich
The umbilical cord of finite model theory. Bull. EATCS 139 (2023)
Fedor V. Fomin
IPEC Nerode Prize 2023 - Call for Nominations. Bull. EATCS 139 (2023)
Naama Ben-David
Lock-Free Locks. Bull. EATCS 139 (2023)
The Goedel Prize 2023 - Call for Nominations. Bull. EATCS 139 (2023)
Antoine Amarilli
Should conferences still require mandatory attendance? A column by Theoretical Computer Scientists for Future (TCS4F). Bull. EATCS 139 (2023)
Juraj Hromkovic, Regula Lacher
How Teaching Informatics Can Contribute to Improving Education in General. Bull. EATCS 139 (2023)
Anca Muscholl
Report on ICALP 2022 - 49th EATCS International Colloquium on Automata, Languages and Programming. Bull. EATCS 139 (2023)
Stefan Schmid
Letter from the Editor. Bull. EATCS 139 (2023)

volume 138, 2022