News
A photo album taken during CiE2010 is already available on cie2010photo.
Or by parts
Social Event (Whale Watching).
Enjoy!
Scope
Computability in Europe provides the largest international conference dealing with the full spectrum of computability-related research.
CiE 2010 in the Azores is the sixth conference of the Series, held in a geographically unique and dramatic location, Europe's most Westerly outpost. The theme of CiE 2010 - "Programs, Proofs, Processes" - points to the usual CiE synergy of Computer Science, Mathematics and Logic, with important computability-theoretic connections to science and the real universe.
CiE serves as an interdisciplinary forum for research in all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics.
Formal systems, attendant proofs, and the possibility of their computer generation and manipulation (for instance, into programs) have been changing a whole spectrum of disciplines. The conference will address not only the more established lines of research of Computational Complexity and the interplay between Proofs and Computation, but also novel views that rely on physical and biological processes and models to find new ways of tackling computations and improving their efficiency.
Tutorials
- Computational Game Theory
- Information, Computation and Physics
Plenary Speakers
- Eric Allender
- New Surprises from Self-Reducibility
- José L. Balcázar
- Towards a Logic of Association Rules
- Shafi Goldwasser
- On the Possibility of Cryptography without (so many) Secrets
- Denis Hirschfeldt
- Algorithmic Randomness and Lowness
- Seth Lloyd
- Quantum Algorithm for Solving Linear Systems of Equations
- Sara Negri
- A Survey of Labelled Sequent Systems
- Toniann Pitassi (APAL Lecturer)
- The Story of Set Disjointness
- Ronald de Wolf
- Quantum Proofs for Classical Theorems
Special sessions
- Biological Computing
- Organizers: Shankara Krishna and Paola Bonizzoni
- Computability of the Physical
- Organizers: Cris Calude and Barry Cooper
- Computational Complexity
- Organizers: Alan Selman and Luís Antunes
- Proof Theory and Computation
- Organizers: Fernando Ferreira and Martin Hyland
- Reasoning as Computation from Leibniz to Boole
- Organizers: Benedikt Löwe and Guglielmo Tamburrini
- Web Algorithms and Computation
- Organizers: Martin Olsen and Thomas Erlebach
Tribute to Marian Boykan Pour-El (1928-2009)
- Ning Zhong
- Where to go: Download into a Computer or Uplift to Become a Cloud?
Local Information
The conference will be held at the University of Azores, which is located in the city of Ponta Delgada, in São Miguel Island, a few minutes walking distance from the historical city centre. The international airport of São Miguel (Aeroporto João Paulo II) is also in Ponta Delgada, just 3km away from the University. It has daily flights to the other islands and to the Portuguese mainland (Lisbon). It also provides frequent non-stop flights to Oporto, to several European cities (Frankfurt, Madrid, London, Paris, Amsterdam and Zürich) and to two North American cities (Boston and Toronto). There are several hotels and restaurants near the University.
For a complete tourist guide about Azores, please visit the local tourism website.
