CiE

Conference on Computability in Europe

Search within this conference

Search

1. 2026

   CiE 2026

   • 27-31 July
   • Trier, Germany

   • Timeless Machines: Computability Across Eras

     36 Papers

     1 Volume

2. 2025

   CiE 2025

   • 14-18 July
   • Lisbon, Portugal

   • Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

     35 Papers

     1 Volume

3. 2024

   CiE 2024

   • 8-12 July
   • Amsterdam, The Netherlands

   • Twenty Years of Theoretical and Practical Synergies

     35 Papers

     1 Volume

4. 2023

   CiE 2023

   • 24-28 July
   • Batumi, Georgia

   • Unity of Logic and Computation

     23 Papers

     1 Volume

5. 2022

   CiE 2022

   • 11-15 July
   • Swansea, United Kingdom

   • Revolutions and Revelations in Computability

     26 Papers

     1 Volume

6. 2021

   CiE 2021

   • 5-9 July

   • Connecting with Computability

     45 Papers

     1 Volume

7. 2020

   CiE 2020

   • 29 June - 3 July
   • Fisciano, Italy

   • Beyond the Horizon of Computability

     34 Papers

     1 Volume

8. 2019

   CiE 2019

   • 15-19 July
   • Durham, United Kingdom

   • Computing with Foresight and Industry

     27 Papers

     1 Volume

9. 2018

   CiE 2018

   • 30 July - 3 August
   • Kiel, Germany

   • Sailing Routes in the World of Computation

     42 Papers

     1 Volume

10. 2017

    CiE 2017

    • 12-16 June
    • Turku, Finland

    • Unveiling Dynamics and Complexity

      37 Papers

      1 Volume

11. 2016

    CiE 2016

    • 27 June - 1 July
    • Paris, France

    • Pursuit of the Universal

      37 Papers

      1 Volume

12. 2015

    CiE 2015

    • 29 June - 3 July
    • Bucharest, Romania

    • Evolving Computability

      36 Papers

      1 Volume

13. 2014

    CiE 2014

    • 23-27 June
    • Budapest, Hungary

    • Language, Life, Limits

      42 Papers

      1 Volume

14. 2013

    CiE 2013

    • 1-5 July
    • Milan, Italy

    • The Nature of Computation: Logic, Algorithms, Applications

      51 Papers

      1 Volume

15. 2012

    CiE 2012

    • 18-23 June
    • Cambridge, United Kingdom

    • How the World Computes

      75 Papers

      1 Volume

16. 2011

    CiE 2011

    • 27 June - 2 July
    • Sofia, Bulgaria

    • Models of Computation in Context

      33 Papers

      1 Volume

17. 2010

    CiE 2010

    • 30 June - 4 July
    • Ponta Delgada, Azores, Portugal

    • Programs, Proofs, Processes

      48 Papers

      1 Volume

18. 2009

    CiE 2009

    • 19-24 July
    • Heidelberg, Germany

    • Mathematical Theory and Computational Practice

      51 Papers

      1 Volume

19. 2008

    CiE 2008

    • 15-20 June
    • Athens, Greece

    • Logic and Theory of Algorithms

      61 Papers

      1 Volume

20. 2007

    CiE 2007

    • 18-23 June
    • Siena, Italy

    • Computation and Logic in the Real World

      87 Papers

      1 Volume

21. 2006

    CiE 2006

    • 30 June - 5 July
    • Swansea, United Kingdom

    • Logical Approaches to Computational Barriers

      61 Papers

      1 Volume

22. 2005

    CiE 2005

    • 8-12 June
    • Amsterdam, The Netherlands

    • New Computational Paradigms

      68 Papers

      1 Volume