1
The Nature of Computation. Logic, Algorithms, Applications [E-Book] : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
2
How the World Computes [E-Book]: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings /
3
Models of Computation in Context [E-Book] : 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings /
4
Programs, Proofs, Processes [E-Book] : 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010. Proceedings /
5
Logic and the Foundations of Game and Decision Theory – LOFT 8 [E-Book] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers /
6
Infinity in Logic and Computation [E-Book] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /
7
New Computational Paradigms [E-Book] : Changing Conceptions of What is Computable /
8
Games, Scales and Suslin Cardinals: The Cabal Seminar Volume I [E-Book] /
9
Interactive logic : selected papers from the 7th Augustus de Morgan Workshop, London [E-Book] /
10
Computation and Logic in the Real World [E-Book] / Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
11
Logical Approaches to Computational Barriers [E-Book] / Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
12
New Computational Paradigms [E-Book] / First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings