COMPUTABILITY IN EUROPE Association and Conference Series A source of information for those interested in the CiE community and its activities

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 pmt6sbc @ leeds.ac.uk. 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	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. It will be of interest to researchers and students in computability theory, algorithmic information theory, and theoretical computer science. Flyer for download.
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 goes online! Ready to receive submissions, first issue to appear during the 2012 Turing Centenary.
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 the CiE president Barry Cooper at pmt6sbc @ leeds.ac.uk, for consideration by the CiE Board.

CiE Events:

Homepage for the CiE conference series

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

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

And at CiE 2006 in Swansea:
And CiE 2007 in Siena:
And CiE 2008 in Athens:
And CiE 2009 in Heidelberg:
And a quickly improvised photo at CiE 2010 in Ponta Delgada, The Azores:

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

Maintained by Barry Cooper, last changed 23 July 2010