Conference on Computability in Europe (CiE)
CiE Home Page
8. CiE 2012: Cambridge, UK
S. Barry Cooper, Anuj Dawar, Benedikt Löwe (Eds.):
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 7318 Springer 2012, ISBN 978-3-642-30869-7
Contents 
7. CiE 2011: Sofia, Bulgaria
Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova (Eds.):
Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings.
Lecture Notes in Computer Science 6735 Springer 2011, ISBN 978-3-642-21874-3
Contents
6. CiE 2010: Ponta Delgada, Azores, Portugal
Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes (Eds.):
Programs, Proofs, Processes, 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010. Proceedings.
Lecture Notes in Computer Science 6158 Springer 2010, ISBN 978-3-642-13961-1
Contents
5. CiE 2009: Heidelberg, Germany
Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (Eds.):
Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings.
Lecture Notes in Computer Science 5635 Springer 2009, ISBN 978-3-642-03072-7
Contents
4. CiE 2008: Athens, Greece
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (Eds.):
Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings.
Lecture Notes in Computer Science 5028 Springer 2008, ISBN 978-3-540-69405-2
Contents
3. CiE 2007: Siena, Italy
S. Barry Cooper, Benedikt Löwe, Andrea Sorbi (Eds.):
Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings.
Lecture Notes in Computer Science 4497 Springer 2007, ISBN 978-3-540-73000-2
Contents
- CiE 2007 Home Page
2. CiE 2006: Swansea, Wales, UK
Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker (Eds.):
Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings.
Lecture Notes in Computer Science 3988 Springer 2006, ISBN 3-540-35466-2
Contents
- CiE 2006 Home Page
1. CiE 2005: Amsterdam, The Netherlands
S. Barry Cooper, Benedikt Löwe, Leen Torenvliet (Eds.):
New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings.
Lecture Notes in Computer Science 3526 Springer 2005, ISBN 3-540-26179-6
Contents
Last update Mon May 20 22:36:44 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
