Association and Conference Series

A source of information for those interested in the CiE community and its activities

To link to this webpage please use the url

NEWS: At the CiE General Meeting in Athens in June 2008, it was decided that Computability in Europe should become an Association, with a constitution, and a more formal membership and governance structure. If you would like to become a member of the new association CiE, please go to the CiE membership application form. Applications for membership from outside the EU are welcomed. Current Members.
The CiE eMailing List is available to all members, posts to be sent to Olivier Bournez at bournez @ This is intended to be a low-traffic, strictly moderated email list, though information of general interest to CiE members, e.g. on events, funding issues, job opportunities, etc, are very welcome.

Most items received will be circulated via the CiE Newsletter, which is sent out roughly twice a month. Archive: Newsletter No. 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24, 25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87

book 2009 saw the start of the new CiE-Springer book series: Theory and Applications of Computability. Proposals for new titles are invited - see the CiE webpage for the series.
The first title in the series is Algorithmic Randomness and Complexity by Rod G. Downey and Denis Hirschfeldt, published in July 2010.
This is the first comprehensive treatment of this important field, designed to be both a reference tool for experts and a guide for newcomers. It surveys a broad section of work in the area, and presents most of its major results and techniques in depth. Its organization is designed to guide the reader through this large body of work, providing context for its many concepts and theorems, discussing their significance, and highlighting their interactions.

book2 It will be of interest to researchers and students in computability theory, algorithmic information theory, and theoretical computer science. Flyer for download.

The second book in the series is another remarkable book, the sort of book that CiE has special pride in bringing to publication. Apartness and Uniformity - A Constructive Development by Douglas Bridges and Luminita Simona Vita is the first book dealing with the apartness approach to constructive topology, and is a valuable addition to the literature on constructive mathematics and on topology in computer science. It is aimed at graduate students and advanced researchers in theoretical computer science, mathematics, and logic who are interested in constructive/algorithmic aspects of topology.

A number of important new additions to the series are expected in 2014-15.

Computability At the CiE AGM in Heidelberg in July 2009, it was agreed that CiE should form a new journal to "cover the full scientific spectrum of computability-related areas represented by the Association CiE". And that "the new journal should have the title COMPUTABILITY".
NEWS: In February 2011, CiE signed an agreement with leading scientific publisher IOS Press for the publication of the first issue of the new journal during the 2012 Turing Centenary year.

LATEST: COMPUTABILITY is online, and freely accessible to all Association CiE members! Submissions are specially invited from the CiE community, across the whole spectrum of topics featuring in CiE conferences. We are now into our fifth issue and 3rd volume, as 2015 approaches.

If you are an Association CiE member, you can access current and past issues of the journal by clicking here.

CiE aims to facilitate and stimulate funding proposals amongst the Association members, at national, EU and international level. Contributions and information for our ad hoc funding webpage are more than welcome. Requests for Association CiE sponsorship of international meetings should be sent to CiE past-president Barry Cooper at pmt6sbc @, for consideration by the CiE Board.

CiE Events:

Homepage for the CiE conference series
CiE2005 small poster CiE2006 small poster CiE 2007 small poster CiE 2008 small poster CiE 2009 small poster
CiE 2010 small poster CiE 2011 small poster CiE 2012 small poster CiE 2013 small poster CiE 2009 small poster CiE 2015 small poster
First CiE conference, CiE 2005 - Computability in Europe 2005: New Computational Paradigms, University of Amsterdam, June 8-12, 2005
CiE 2006 - Computability in Europe 2006: Logical Approaches to Computational Barriers, University of Wales, Swansea, June 30 - July 5, 2006
CiE 2007 - Computability in Europe 2007: Computation and Logic in the Real World, University of Siena, June 18 - 23, 2007 - co-located with CCA 2007, June 16 - 18, 2007
CiE 2008 - Computability in Europe 2008: Logic and Theory of Algorithms, University of Athens, 15-20 June, 2008
CiE 2009 - Computability in Europe 2009: Mathematical Theory and Computational Practice, University of Heidelberg, 19-24 July, 2009
CiE 2010 - Computability in Europe 2010: Programs, Proofs, Processes, Ponta Delgada, Azores, Portugal, June/July, 2010. Submission deadline: January 20, 2010
CiE 2011 - Computability in Europe 2011: Models of Computation in Context, Sofia, Bulgaria, June, 2011
CiE 2012 - Computability in Europe 2012: Turing Centenary Conference, University of Cambridge, June 18 - 23, 2012
CiE 2013 - Computability in Europe 2013: The Nature of Computation - Logic, Algorithms, Applications, University of Milano-Bicocca., July 1 - 5, 2013
CiE 2014 - Computability in Europe 2014: Language, Life, Limits, Budapest, Hungary, June 23 - 27, 2014
CiE 2015 - Computability in Europe 2015: Evolving Computability, Bucharest, Romania, June 29 - July 3, 2015
CiE 2016 - Computability in Europe 2016 in Paris 7, France

CiE Sponsored Events:

Turing Year logo
The Alan Turing Year - A Centenary Celebration of the Life and Work of Alan Turing, 2012
International Conference History and Philosophy of Computing, Ghent University, November 7-10, 2011. Submission deadline: tba
Fifth Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2010), University of Leeds, UK, 13 - 15 April 2010. Submission deadline: January 4, 2010
Workshop on Logical Approaches to Barriers in Computing and Complexity, Alfried Krupp Wissenschaftskolleg, Greifswald, Germany, 17-20 February 2010 - jointly organized by the Association CiE with the DVMLG, the PTLiFN, and the EACSL. Submission deadline: November 7, 2009
DCM 2009: 5th International Workshop on Developments in Computational Models - Computational Models From Nature, Rhodes, Greece, 11 July 2009

Alan Turing Year Events:

28th British Colloquium for Theoretical Computer Science - BCTCS 2012, University of Manchester, Monday 2nd April to Thursday 5th April, 2012. Contact: Ian Pratt-Hartmann
31st Annual International Conference on the Theory and Applications of Cryptographic Techniques (EuroCrypt 2012), University of Cambridge, April, 2012. Organised by the International Association for Cryptologic Research. Contact: Nigel Smart
Turing Centenary Conference: CiE 2012 - How the World Computes, University of Cambridge, 18-23 June, 2012
Turing Centenary Celebration, University of Manchester, 23-24 June, 2012. Contact: Andrei Voronkov
The 2012 International Association for Computing and Philosophy World Congress (IACAP 2012), University of Birmingham, July 2012. Contacts: John Barnden, Anthony Beavers and Manfred Kerber.
39th International Colloquium on Automata, Languages and Programming (ICALP 2012), University of Warwick, July 9-13, 2012. Contact: Artur Czumaj
Logic Colloquium 2012, University of Manchester, July, 2012. Contact: Alex Wilkie

CiE Related Events:

April-June 2016 - Special Semester on Computational Complexity and Proof Complexity, Chebyshev Laboratory at St.Petersburg State University, Russia.
Special Semester organisers: Edward A. Hirsch (Steklov Institute/St.Petersburg), Sam Buss (Univ. of California, San Diego)
UC 2011 - 10th International Conference on Unconventional Computation, Turku, Finland, June 6 - 10, 2011. Submission deadline: tba
TAMC 2011 - 8th Annual Conference on Theory and Applications of Models of Computation, Chofu, Tokyo, Japan, May 23 - 25, 2011. Submission deadline: tba
SOFSEM 2011 - 37th Annual Conference on Current Trends in Theory and Practice of Informatics, Novy Smokovec, Slovakia, January 22 - 28, 2011. Submission deadline: September 5, 2010
6th IFIP International Conference on Theoretical Computer Science (TCS 2010), 20th - 23rd September 2010, Brisbane, Australia. Deadline for abstracts: February 12, 2010
LiCS 2010 - 25th Annual IEEE Symposium on Logic in Computer Science, 11th - 14th July 2010, Edinburgh, Scotland, U.K. Paper submission deadline: January 17, 2010
ICALP 2010 - 37th International Colloquium on Automata, Languages and Programming, 5th - 12th July 2010, Bordeaux, France. Submission deadline: February 10, 2010
UC 2010 - 9th International Conference on Unconventional Computation, Tokyo, Japan, June 21 - 25, 2010. Submission deadline: February 1st, 2010
TAMC 2010 - 7th Annual Conference on Theory and Applications of Models of Computation, Prague, Czech Republic, June 7 - 11, 2010. Submission deadline: February 10, 2010
Workshop on the Philosophy of the Information and Computing Sciences, February 8 - 12, 2010 at the Lorentz Center, Leiden University, the Netherlands
UC 2009 - Eighth International Conference on Unconventional Computation, Ponta Delgada (Azores), Portugal, September 7-11, 2009
Logic Colloquium 2009, ASL European Summer Meeting, Sofia, Bulgaria, July 31 - August 5, 2009
ICALP 2009 - 36th International Colloquium on Automata, Languages and Programming, Rhodes, Greece, 5-12 July 2009
The Science and Philosophy of Unconventional Computing (SPUC09), Cambridge (UK), March 23-25, 2009
NWC 09, Workshop New Worlds of Computation, Orleans, FRANCE, January 12, 2009
NICSO 2008 - 3rd International Workshop on Nature Inspired Cooperative Strategies for Optimization, Puerto de La Cruz, Tenerife, 12-14 November 2008
CSL 2008 - 17th EACSL Conference on Computer Science Logic, Bertinoro, Italy, September 15-19, 2008
UC 2008 - Seventh International Conference on Unconventional Computation, Vienna, August 25-28, 2008
CCA 2008 - Computability and Complexity in Analysis 2008, Held in Honor of Klaus Weihrauch's 65th Birthday, August 21-24, 2008, Hagen, Germany
PCC '08 - 7th International Workshop on Proof Theory, Computation, Complexity, August 8th-9th, 2008 Oslo, Norway
Joint 5th QPL and 4th DCM Workshops - Quantum Physics and Logic Development of Computational Models, July 12-13, 2008, Reykjavik, Iceland
ICALP 2008 - 35th International Colloquium on Automata, Languages and Programming, 6th - 13th July 2008, Reykjavik, Iceland
Logic Colloquium 2008, ASL European Summer Meeting, Bern, Switzerland 3-8 July 2008
ILC 2007 - International Conference on Infinity in Logic and Computation, 3-5 November 2007, University of Cape Town, South Africa
UC 2007 - 6th International Conference on Unconventional Computation, 13-17 August 2007, Queen's University, Kingston, Canada
UC 2006 - 5th International Conference on Unconventional Computation, 4-8 September 2006, University of York, UK
Days in Logic - 2006, Coimbra, Portugal, 19-21 January 2006
7th Augustus de Morgan Workshop, on Interactive Logic: Games and Social Software, King's College London, November 4-7, 2005
International Conference on Computability and Complexity in Analysis - CCA 2005, August 25-29, 2005, Kyoto, Japan
Logic Colloquium 2005, ASL European Summer Meeting, Athens, Greece, July 28 - August 3, 2005
PCC '05: 4th International Workshop on Proof, Computation, Complexity, July 16-17, 2005, Lisbon. Held in association with the 32nd International Colloquium on Automata, Language and Programming ICALP '05, July 11-15, 2005, Lisbon, Portugal.
International Workshop: Computations on the Continuum, June 27-28, 2005, Lisbon University of Technology, Portugal

Who we are - or were, before we agreed at CiE 2008 in Athens to form Association CiE:

Leeds Amsterdam Athens Barcelona Heidelberg Lisbon Munich Nancy Novosibirsk Oslo Prague Siena Sofia Swansea

photo of CiE 2005 participants  

And at CiE 2006 in Swansea:

photo of CiE 2006 participants

And CiE 2007 in Siena:

photo of CiE 2007 participants

And CiE 2008 in Athens:

photo of CiE 2008 participants

And CiE 2009 in Heidelberg:

photo of CiE 2009 participants

And a quickly improvised photo at CiE 2010 in Ponta Delgada, The Azores:

photo of CiE 2010 participants

CiE 2011 in Sofia, Bulgaria:

photo of CiE 2011 participants

The Turing Centenary Conference, CiE 2012 in Cambridge, UK:

photo of CiE 2012 participants

CiE 2013 in Milano, Italy:

photo of CiE 2013 participants

CiE 2014 in Budapest, Hungary:

photo of CiE 2014 participants

Miscellaneous information:

Most relevant to CiE in Framework 7 is the new IDEAS programme , administered by the newly formed European Research Council (ERC)
Overview of the Framework 7 PEOPLE programme , including links to specific calls for Marie Curie actions
More detailed information on People and Marie Curie calls
Slides of Association CiE AGM Agenda and Annual Report from CiE 2010 in Ponta Delgada
Consolidation and Rethinking in 2007? - discussion document for CiE 2006
What Next For CiE? - discussion document from CiE 2005
June 2005 Marie Curie RTN Call - downloadable documents
Part B of the November 17, 2003, CiE Marie Curie Research Training Network (RTN) proposal

CiE is a European network of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underlying significance for the real world.

CiE aims to widen understanding and appreciation of the importance of the concepts and techniques of computability theory, and to support the development of a vibrant multi-disciplinary community of researchers focused on computability-related topics.

CiE positions itself at the interface between applied and fundamental research, prioritising mathematical approaches to computational barriers.

Maintained by Barry Cooper, last changed 23 July 2010