default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 123
Volume 123, October 2017
- Paul G. Spirakis:
Letter from the President. - Kazuo Iwama:
Letter from the Bulletin Editor. - Jean-Éric Pin:
The EATCS Award 2018 - Call for Nominations. - Stephan Kreutzer:
The Presburger Award for Young Scientists 2018 - Call for Nominations. - Giuseppe Persiano:
EATCS Distinguished Dissertation Award 2017 - Call for Nominations. - Roger Wattenhofer:
EATCS Fellows 2018 - Call for Nominations. - Pierre-Louis Curien, Gérard P. Huet, Antoine Petit:
Obituary Maurice Nivat (1937-2017).
- Simon Castellan:
Concurrent Structures in Game Semantics. - Vikraman Arvind, Meena Mahajan:
A Quest for Structure in Complexity. - Ittai Abraham, Dahlia Malkhi:
The Blockchain Consensus Layer and BFT. - Carlos Baquero, Paulo Sérgio Almeida, Alcino Cunha, Carla Ferreira:
Composition in State-based Replicated Data Types. - Juraj Hromkovic, Regula Lacher:
How to convince teachers to teach computer science even if informatics was never a part of their own studies. - Matthias Hauswirth:
If you have parents, you can learn recursion. - Gabriele Fici:
Open and ClosedWords. - Bernd Finkbeiner:
Temporal Hyperproperties.
- Stavros Konstantinidis:
Report on DCFS 2017. - Artur Czumaj, Stefano Leonardi:
Report on HALG 2016/2017. - Tiziana Calamoneri:
Report on ICTCS 2017. - Kai Salomaa, Andrew L. Szilard:
Report on the Magic in Science symposium. - Luca Aceto:
Ten years of the European Research Council A view from theoretical computer science. - Luca Aceto:
Computer Science at the Gran Sasso Science Institute.
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 2025-02-05 20:38 CET 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:
