Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 137
Volume 137, June 2022
- Artur Czumaj:
Letter from the President. - Stefan Schmid:
Letter from the Editor. - Éva Tardos:
The EATCS Award 2022 - Laudatio for Patrick Cousot. - The Presburger Award 2022 - Laudatio for Dor Minzer.
- EATCS Distinguished Dissertation Award for 2021.
- EATCS-Fellows 2022.
- 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation.
- 2022 Edsger W. Dijkstra Prize in Distributed Computing.
- Ackermann Award 2022 - Call for Nominations.
- Frits C. R. Spieksma:
Obituary for Gerhard Woeginger. - Obituary for Rolf Niedermeier.
- Giorgio Ausiello:
EATCS Golden Jubilee: How EATCS was born 50 years ago and why it is still alive and well. - Silver Jubilee of EATCS.
- Know the Person behind the Papers: Christos Papadimitriou.
- Know the Person behind the Papers: Anne Driemel.
- Know the Person behind the Papers: Paul Spirakis.
- Know the Person behind the Papers: Eva Rotenberg.
- Know the Person behind the Papers: Leslie Ann Goldberg.
- Know the Person behind the Papers: Mariangiola Dezani-Ciancaglini.
- Know the Person behind the Papers: Jean-Éric Pin.
- Know the Person behind the Papers: Grzegorz Rozenberg.
- Know the Person behind the Papers: Robert Cori.
- Tobias Kohn:
A Minimal Instruction Set for Education. - Zhenjian Lu, Igor C. Oliveira:
Theory and Applications of Probabilistic Kolmogorov Complexity. - Redbelly Network:
Redbelly Blockchain: a Combination of Recent Advances.
- Anca Muscholl:
Report on ICALP 2021. - Olga Petrovska, Monika Seisenberger:
Report on BCTCS 2022. - Nadia Pisanti:
Report on CPM 2022. - Yukiko Yamauchi:
Report from EATCS Japan Chapter.
a service of 
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-07-20 20:18 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:
