How the World Computes: Turing Centenary Conference and 8th Conference on Computability in Europe, Cie 2012, Cambridge, Uk, June 18-23 2012 : Proceedings - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues

Marc Notes: International conference proceedings.; Includes bibliographical references and author index.

Contributor Bio:  L We, Benedikt Benedikt L we is Universitair Docent in Logic in the Institute for Logic, Language and Computation at the Universiteit van Amsterdam and Professor of Mathematics at the Universit t Hamburg. He is the vice-president of the Deutsche Vereinigung f r Mathematische Logik und f r Grundlagenforschung der Exakten Wissenschaften (DVMLG) and a Managing Editor of the journal Mathematical Logic Quarterly. Contributor Bio:  Lowe, Benedikt Benedikt Lowe is Universitair Docent in Logic and Scientific Director of the Graduate Programme in Logic at the Institute for Logic, Language and Computation of the Universiteit van Amsterdam. He is an editor of the Journal of Logic, Language and Information and Managing Editor for the Tbilisi Mathematical Journal. He is a board member of the DVMLG and the EACSL.