Stop the war!Остановите войну!
for scientists:
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.
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-04-25 04:46 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:
