Unity of Logic and Computation
19th Conference on Computability in Europe
CiE 2023, Batumi, Georgia. July 24 – 28, 2023.
Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea
Lecture Notes in Computer Science, vol. 13967 (2023)
Revolutions and Revelations in Computability
18th Conference on Computability in Europe
CiE 2022, Swansea, UK. July 11 – 15, 2022.
Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly
Lecture Notes in Computer Science, vol. 13359 (2022)
Connecting with Computability
17th Conference on Computability in Europe
CiE 2021, Virtually at Ghent, Belgium, July 5 – 9, 2021.
Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque
Lecture Notes in Computer Science, vol. 12813 (2021)
Beyond the Horizon of Computability
16th Conference on Computability in Europe
CiE 2020, Virtually at Fisciano, Italy, June 29 – July 3, 2020.
Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly
Lecture Notes in Computer Science, vol. 12098 (2020)
Computing with Foresight and Industry
15th Conference on Computability in Europe
CiE 2019, Durham, UK, July 15–19, 2019.
Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero
Lecture Notes in Computer Science, vol. 11558 (2019)
Sailing Routes in the World of Computation
14th Conference on Computability in Europe
CiE 2018, Kiel, Germany, July 30 – August 3, 2018.
Florin Manea, Russell G. Miller, Dirk Nowotka (eds.)
Lecture Notes in Computer Science, vol. 10936 (2018)
Unveiling Dynamics and Complexity
13th Conference on Computability in Europe,
CiE 2017, Turku, Finland, June 12 – 16, 2017.
Jarkko Kari, Florin Manea, Ion Petre (eds.)
Lecture Notes in Computer Science, vol. 10307 (2017)
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
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
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
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
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
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
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
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
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
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
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
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)