CiE

Conference on Computability in Europe

Search within this conference

Search

1. 2023

   CiE 2023

   • 24-28 July
   • Batumi, Georgia

   • Unity of Logic and Computation

     23 Papers

     1 Volume

2. 2022

   CiE 2022

   • 11-15 July
   • Swansea, United Kingdom

   • Revolutions and Revelations in Computability

     26 Papers

     1 Volume

3. 2021

   CiE 2021

   • 5-9 July

   • Connecting with Computability

     45 Papers

     1 Volume

4. 2020

   CiE 2020

   • 29 June - 3 July
   • Fisciano, Italy

   • Beyond the Horizon of Computability

     34 Papers

     1 Volume

5. 2019

   CiE 2019

   • 15-19 July
   • Durham, United Kingdom

   • Computing with Foresight and Industry

     27 Papers

     1 Volume

6. 2018

   CiE 2018

   • 30 July - 3 August
   • Kiel, Germany

   • Sailing Routes in the World of Computation

     42 Papers

     1 Volume

7. 2017

   CiE 2017

   • 12-16 June
   • Turku, Finland

   • Unveiling Dynamics and Complexity

     37 Papers

     1 Volume

8. 2016

   CiE 2016

   • 27 June - 1 July
   • Paris, France

   • Pursuit of the Universal

     37 Papers

     1 Volume

9. 2015

   CiE 2015

   • 29 June - 3 July
   • Bucharest, Romania

   • Evolving Computability

     36 Papers

     1 Volume

10. 2014

    CiE 2014

    • 23-27 June
    • Budapest, Hungary

    • Language, Life, Limits

      42 Papers

      1 Volume

11. 2013

    CiE 2013

    • 1-5 July
    • Milan, Italy

    • The Nature of Computation. Logic, Algorithms, Applications

      51 Papers

      1 Volume

12. 2012

    CiE 2012

    • 18-23 June
    • Cambridge, United Kingdom

    • How the World Computes

      75 Papers

      1 Volume

13. 2011

    CiE 2011

    • 27 June - 2 July
    • Sofia, Bulgaria

    • Models of Computation in Context

      33 Papers

      1 Volume

14. 2010

    CiE 2010

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

    • Programs, Proofs, Processes

      48 Papers

      1 Volume

15. 2009

    CiE 2009

    • 19-24 July
    • Heidelberg, Germany

    • Mathematical Theory and Computational Practice

      51 Papers

      1 Volume

16. 2008

    CiE 2008

    • 15-20 June
    • Athens, Greece

    • Logic and Theory of Algorithms

      61 Papers

      1 Volume

17. 2007

    CiE 2007

    • 18-23 June
    • Siena, Italy

    • Computation and Logic in the Real World

      87 Papers

      1 Volume

18. 2006

    CiE 2006

    • 30 June - 5 July
    • Swansea, United Kingdom

    • Logical Approaches to Computational Barriers

      61 Papers

      1 Volume

19. 2005

    CiE 2005

    • 8-12 June
    • Amsterdam, The Netherlands

    • New Computational Paradigms

      68 Papers

      1 Volume