Computability in Europe

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Association CiE logo

Computability in Europe (CiE) is an international organization 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 originated as a research network in 2003, and the Association Computability in Europe was formed in July 2008.

Its first and current president is Professor S. Barry Cooper, a mathematician from Leeds.

CiE is also a major international conference series. The first CiE conference was held in Amsterdam in June, 2005, subsequent meetings being in Swansea, Wales (CiE 2006), Siena, Italy (CiE 2007), Athens (CiE 2008), and Heidelberg, Germany (CiE 2009). CiE 2010 will be in Ponta Delgada (Azores), Portugal and CiE 2011 in Sofia, Bulgaria. CiE 2012 in Cambridge, England will be part of the Alan Turing Year.

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.

CiE has editorial responsibility for the Springer book series Theory and Applications of Computability.

External links[edit]