Logical approaches to computational barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006: proceedings /

Bằng Conference on Computability in Europe, Beckmann, Arnold.
Được phát hành 2006.

Computation and logic in the real world Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings /

Bằng Conference on Computability in Europe, Cooper, Barry S., Löwe, Benedikt., Sorbi, Andrea.
Được phát hành 2007.

How the world computes Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, proceedings /

Bằng Conference on Computability in Europe, Cooper, Barry S., Dawar, Anuj., Löwe, Benedikt.
Được phát hành 2012.

New computational paradigms first Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings /

Bằng Conference on Computability in Europe, Cooper, Barry S., Löwe, Benedikt., Torenvliet, Leen.
Được phát hành 2005.

Logic and theory of algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings /

Bằng Conference on Computability in Europe, Beckmann, Arnold., Dimitracopoulos, Costas., Löwe, Benedikt.
Được phát hành c2008

Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : proceedings /

Bằng Conference on Computability in Europe, Ambos-Spies, K., Löwe, Benedikt., Merkle, Wolfgang.
Được phát hành 2009.

The nature of computation: logic, algorithms, applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, proceedings /

Bằng Conference on Computability in Europe, CiE 2013, Bonizzoni, Paola., Brattka, Vasco, Löwe, Benedikt.
Được phát hành 2013.