default search action
Bulletin of the EATCS, Volume 117
Volume 117, October 2015
- Luca Aceto:
Letter from the President. - Kazuo Iwama:
Letter from the Bulletin Editor. - Kim Guldstrand Larsen:
The EATCS Award 2016 - Call for Nominations. - Giuseppe Persiano:
EATCS Distinguished Dissertation Award 2015 - Call for Nominations. - Rocco De Nicola:
EATCS Fellows 2016 - Call for Nominations. - Claire Mathieu:
The Presburger Award 2016 - Call for Nominations. - Andrew M. Pitts:
Gödel Prize 2016 - Call for Nominations.
- Hajo Broersma:
How tough is toughness? - Johannes Köbler, Jacobo Torán:
Lowness results: the next generation. - Ornela Dardha:
Type Systems for Distributed Programs: Session Communication. - Dan Alistarh:
The Renaming Problem: Recent Developments and Open Questions. - Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur:
Automata Tutor and what we learned from building an online teaching tool. - Kalle Rutanen, Germán Gómez-Herrero, Sirkka-Liisa Eriksson, Karen O. Egiazarian:
A General Definition of the O-notation for Algorithm Analysis.
- Chinmay Hegde, Piotr Indyk, Ludwig Schmidt:
Fast Algorithms for Structured Sparsity.
- Luca Aceto:
Report on The EATCS Council Meeting. - Luca Aceto:
Report on The EATCS General Assembly. - Luca Aceto:
Report on ICALP 2015. - Luca Aceto:
Report on ICE-TCS tenth anniversary. - Luca Aceto:
Report on ICTCS 2015.
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.