Computability in Europe

The Association Computability in Europe (ACiE) 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 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. The ACiE positions itself at the interface between applied and fundamental research, prioritising mathematical approaches to computational barriers.

The Association Computability in Europe originated as a research network called Computability in Europe (CiE) in 2003, became a conference series in 2005, and the ACiE was formed in 2008.