Conference on Computability in Europe (CiE)

19th CiE 2023: Batumi, Georgia

• 
  Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea:
  Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings. Lecture Notes in Computer Science 13967, Springer 2023, ISBN 978-3-031-36977-3 [contents]

18th CiE 2022: Swansea, UK

• 
  Ulrich Berger, Johanna N. Y. Franklin, Florin Manea, Arno Pauly:
  Revolutions and Revelations in Computability - 18th Conference on Computability in Europe, CiE 2022, Swansea, UK, July 11-15, 2022, Proceedings. Lecture Notes in Computer Science 13359, Springer 2022, ISBN 978-3-031-08739-4 [contents]

17th CiE 2021: Virtual Event / Ghent, Belgium

• 
  Liesbeth De Mol, Andreas Weiermann, Florin Manea, David Fernández-Duque:
  Connecting with Computability - 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings. Lecture Notes in Computer Science 12813, Springer 2021, ISBN 978-3-030-80048-2 [contents]

16th CiE 2020: Fisciano, Italy

• 
  Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly:
  Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29 - July 3, 2020, Proceedings. Lecture Notes in Computer Science 12098, Springer 2020, ISBN 978-3-030-51465-5 [contents]

15th CiE 2019: Durham, UK

• 
  Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero:
  Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings. Lecture Notes in Computer Science 11558, Springer 2019, ISBN 978-3-030-22995-5 [contents]

14th CiE 2018: Kiel, Germany

• 
  Florin Manea, Russell G. Miller, Dirk Nowotka:
  Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings. Lecture Notes in Computer Science 10936, Springer 2018, ISBN 978-3-319-94417-3 [contents]

13th CiE 2017: Turku, Finland

• 
  Jarkko Kari, Florin Manea, Ion Petre:
  Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings. Lecture Notes in Computer Science 10307, Springer 2017, ISBN 978-3-319-58740-0 [contents]

12th CiE 2016: Paris, France

• 
  Arnold Beckmann, Laurent Bienvenu, Natasa Jonoska:
  Pursuit of the Universal - 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings. Lecture Notes in Computer Science 9709, Springer 2016, ISBN 978-3-319-40188-1 [contents]

11th CiE 2015: Bucharest, Romania

• 
  Arnold Beckmann, Victor Mitrana, Mariya Ivanova Soskova:
  Evolving Computability - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015. Proceedings. Lecture Notes in Computer Science 9136, Springer 2015, ISBN 978-3-319-20027-9 [contents]

10th CiE 2014: Budapest, Hungary

• 
  Arnold Beckmann, Erzsébet Csuhaj-Varjú, Klaus Meer:
  Language, Life, Limits - 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings. Lecture Notes in Computer Science 8493, Springer 2014, ISBN 978-3-319-08018-5 [contents]

9th CiE 2013: Milan, Italy

• 
  Paola Bonizzoni, Vasco Brattka, Benedikt Löwe:
  The Nature of Computation. Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings. Lecture Notes in Computer Science 7921, Springer 2013, ISBN 978-3-642-39052-4 [contents]

8th CiE 2012: Cambridge, UK

• 
  S. Barry Cooper, Anuj Dawar, Benedikt Löwe:
  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]

7th CiE 2011: Sofia, Bulgaria

• 
  Benedikt Löwe, Dag Normann, Ivan N. Soskov, Alexandra A. Soskova:
  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]

6th CiE 2010: Ponta Delgada, Azores, Portugal

• 
  Fernando Ferreira, Benedikt Löwe, Elvira Mayordomo, Luís Mendes Gomes:
  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]

5th CiE 2009: Heidelberg, Germany

• 
  Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle:
  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]

4th CiE 2008: Athens, Greece

• 
  Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe:
  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]

3rd CiE 2007: Siena, Italy

• 
  S. Barry Cooper, Benedikt Löwe, Andrea Sorbi:
  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

2nd CiE 2006: Swansea, Wales, UK

• 
  Arnold Beckmann, Ulrich Berger, Benedikt Löwe, John V. Tucker:
  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

1st CiE 2005: Amsterdam, The Netherlands

• 
  S. Barry Cooper, Benedikt Löwe, Leen Torenvliet:
  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]