No 113: June 2014

No 113: June 2014

Table of Contents

EATCS Matters

Letter from the President PDF
Luca Aceto
Letter from the Bulletin Editor PDF
Kazuo Iwama
Wilfried Brauer (1937–2014) in memoriam PDF
Grzegorz Rozenberg, Arto Salomaa
Obituary Alberto Bertoni (1946-2014) PDF
Giancarlo Mauri, Nicoletta Sabadini

EATCS Columns

The Complexity of Valued Constraint Satisfaction PDF
Peter Jeavons, Andrei Krokhin, Stanislav Živný, The Algorithmics Column by Gerhard J Woeginger
Recent developments in kernelization: A survey PDF
Stefan Kratsch, The Computational Complexity Column by Vikraman Arvind
Recreational Formal Methods: Designing Vacuum Cleaning Trajectories PDF
Frits Vaandrager, Freek Verbeek, The Concurrency Column by Nobuko Yoshida
Consistency for Transactional Memory Computing PDF
Dmytro Dziuma, Panagiota Fatourou, Eleni Kanellou, The Distributed Computing Column by Panagiota Fatourou
Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity PDF
Samson Abramsky, The Logic in Computer Science Column by Yuri Gurevich

News and Conference Reports

News from New Zealand PDF
News from New Zealand by C. S. Calude
Report on BCTCS 2013 PDF
Guy McCusker
Report on BCTCS 2014 PDF
Paul Bell, Daniel Reidenbach


Call for Papers IFIP Summer School 2014 PDF
IFIP 2014

Book Introduction by the Authors

Boolean Function Complexity Advances and Frontiers PDF
Stasys Jukna, Invited by Kazuo Iwama