Publication Types:

Pursuit of the Universal

edited volumes
Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska
12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings, LNCS 9709
Publication year: 2016

Evolving Computability

edited volumes
Arnold Beckmann, Victor Mitrana, Mariya Soskova
11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings, LNCS9136
Publication year: 2015

Language, Life, Limits

edited volumes
Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer
10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014, Proceedings, LNCS 8493
Publication year: 2014

Acts of the Programme Semantics and Syntax

edited volumes
Arnold Beckmann and Benedikt Löwe
College Publication, 19 June 2013. ISBN 978-1-84890-080-6.
Publication year: 2013

This volume documents the presentations that were given as part of the research programme Semantics and Syntax: A Legacy of Alan Turing, held at the Isaac Newton Institute for the Mathematical Sciences in Cambridge, UK, 9 January – 6 July 2012.

Logic and Theory of Algorithms

edited volumes
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
Fourth Conference on Computability in Europe, CiE 2008, Athens, Greece, June 2008, Proceedings, LNCS 5028
Publication year: 2008

Logical Approaches to Computational Barriers

edited volumes
Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings, LNCS 3988
Publication year: 2006

ESSLLI 2003 - Course Material II

edited volumes
Arnold Beckmann, Norbert Preining
Collegium Logicum Volume 6, KGS Wien, 2004, VIII+105pp, ISBN 3-901546-01-4.
Publication year: 2004

Ingo Lepper and Georg Moser: Why Ordinals are Good for You;
Heribert Vollmer: First-Order Logic with Groupoidal Quantifiers.

ESSLLI 2003 - Course Material I

edited volumes
Arnold Beckmann, Norbert Preining
Collegium Logicum Volume 5: ESSLLI 2003 - Course Material I; KGS Wien, 2004, VIII+143pp, ISBN 3-901546-00-6.
Publication year: 2004

Aarne Ranta: Grammatical Framework Tutorial;
Frank Richter and Manfred Sailer: Basic Concepts of Lexical Resource Semantics.