CiE Conference Proceedings

Computability in Europe Series LNCS

 

Pursuit of the Universal

Pursuit of the Universal
12th Conference on Computability in Europe,
CiE 2016, Paris, France, June 27 – July 1, 2016.
Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska (eds.)
Lecture Notes in Computer Science, vol. 9709 (2016)

 

Evolving Computability

Evolving Computability
11th Conference on Computability in Europe,
CiE 2015, Bucharest, Romania, June 29-July 3, 2015.
Arnold Beckmann, Victor Mitrana, Mariya Soskova (eds.)
Lecture Notes in Computer Science, vol.9136 (2015)

 

Language, Life, Limits

Language, Life, Limits
10th Conference on Computability in Europe,
CiE 2014, Budapest, Hungary, June 23-27, 2014.
Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer (eds.)
Lecture Notes in Computer Science, vol. 8493 (2014)

 

The Nature of Computation. Logic, Algorithms, Applications

The Nature of Computation. Logic, Algorithms, Applications
9th Conference on Computability in Europe,
CiE 2013, Milan, Italy, July 1-5, 2013.
Paola Bonizzoni, Vasco Brattka,  Benedikt Löwe (eds.)
Lecture Notes in Computer Science, vol. 7921 (2013)

 

How the World Computes

How the World Computes
Turing Centenary Conference and 8th Conference on Computability in Europe,
CiE 2012, Cambridge, UK, June 18-23, 2012.
S. Barry Cooper, Anuj Dawar, Benedikt Löwe (eds.)
Lecture Notes in Computer Science, vol. 7318 (2012)

 

Models of Computation in Context

Models of Computation in Context
7th Conference on Computability in Europe,
CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011.
Benedikt Löwe, Dag Normann, Ivan Soskova
Lecture Notes in Computer Science, vol. 6735 (2011)

 

Programs, Proofs, Processes

Programs, Proofs, Processes
6th Conference on Computability in Europe,
CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010.
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes
Lecture Notes in Computer Science, vol. 6158 (2010)

 

Mathematical Theory and Computational Practice

Mathematical Theory and Computational Practice
5th Conference on Computability in Europe,
CiE 2009, Heidelberg, Germany, July 19-24, 2009.
Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle
Lecture Notes in Computer Science, vol. 5635 (2009)

 

Logic and Theory of Algorithms

Logic and Theory of Algorithms
4th Conference on Computability in Europe,
CiE 2008, Athens, Greece, June 15-20, 2008.
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe
Lecture Notes in Computer Science, vol. 5028 (2008)

 

Computation and Logic in the Real World

Computation and Logic in the Real World
Third Conference on Computability in Europe,
CiE 2007, Siena, Italy, June 18-23, 2007. 

S. Barry Cooper, Benedikt Löwe,  Andrea Sorbi
Lecture Notes in Computer Science, vol. 4497 (2007)

 

Logical Approaches to Computational Barriers

Logical Approaches to Computational Barriers
Second Conference on Computability in Europe,
CiE 2006, Swansea, UK, June 30-July 5, 2006. 
Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker
Lecture Notes in Computer Science, vol. 3988 (2006)

 

New Computational Paradigms

New Computational Paradigms
First Conference on Computability in Europe,
CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. 
S. Barry Cooper, Benedikt Löwe,  Leen Torenvliet
Lecture Notes in Computer Science, vol. 3526 (2005)