COMPUTABILITY IN EUROPE
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 http://www.computability.org.uk/
| 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. |
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". Members will be consulted about publishers. |
| 2009 saw the start of the new CiE-Springer book series: Theory and Applications of Computability. The first title in the series will be Algorithmic Randomness and Complexity by Rod G. Downey and Denis Hirschfeldt. | |
| 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. |
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
The
Alan Turing Year - A Centenary Celebration of the Life and Work
of Alan Turing, 2012
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
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.
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 Reading, early July, 2012. Contacts:
Huma Shah and
Kevin Warwick.
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
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 |
|
 |
|
|
|
|
||||
And at CiE 2006 in Swansea:
| ||||
And CiE 2007 in Siena:
|
||||
And CiE 2008 in Athens:
|
||||
And CiE 2009 in Heidelberg:
|
||||
|
| ||||
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
Part B of the November 17, 2003, CiE Marie Curie Research
Training Network (RTN) proposal
What
Next For CiE? - discussion document from CiE 2005
Consolidation and
Rethinking in 2007? - discussion document for CiE 2006
June 2005 Marie Curie RTN Call -
downloadable documents
|
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 5 November 2009