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.
Association CiE logo
|Website||Association Computability in Europe website|
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.
The Association Computability in Europe was founded in Athens, Greece in 2008. Its founding president (2008 to 2015) was Professor S. Barry Cooper; its current president is Paola Bonizzoni and its current secretary general is Giuseppe Primiero. The Association is promoting the development, particularly in Europe, of computability-related science, ranging over mathematics, computer science, and applications in various natural and engineering sciences such as physics and biology. This also includes the promotion of the study of philosophy and history of computing as it relates to questions of computability. The ACiE is an international member of the Division for Logic, Methodology and Philosophy of Science and Technology (DLMPST/IUHPST).
Past and Present PresidentsEdit
- S. Barry Cooper (2008-2015)
- Dag Normann (2015-2016)
- Paola Bonizzoni (2016-2020)
Current Members of the Association CouncilEdit
Arnold Beckmann, Paola Bonizzoni (President), Olivier Bournez, Merlin Carl, Liesbeth De Mol (Member-at-Large Executive Committee), Gianluca Della Vedova, Daniel Graça, Jarkko Kari, Benedikt Löwe, Johann Makowsky, Florin Manea (Chair of the Conference Series Steering Committee), Barnaby Martin (Member-at-Large Executive Committee), Elvira Mayordomo (Member-at-Large Executive Committee), Dag Normann (Treasurer and Past President), Giuseppe Primiero (Secretary General), Mariya Soskova (Member-at-Large Executive Committee), and Martin Ziegler.
The Association grew out of the major international conference series Computability in Europe (CiE); the first CiE conference was held in Amsterdam in June 2005. CiE is an interdisciplinary annual conference series promoting the development of computability-related science, ranging over mathematics, computer science, and applications in various natural and engineering sciences such as physics and biology. The conference scope also includes the study of philosophy and history of computing as it relates to questions of computability.
- CiE 2005: New Computational Paradigms, Amsterdam, The Netherlands
- CiE 2006: Logical approaches to computational barriers, Swansea, Wales
- CiE 2007: Computation and Logic in the Real World Siena, Italy
- CiE 2008: Logic and Theory of Algorithms, Athens, Greece
- CiE 2009: Mathematical Theory and Computational Practice, Heidelberg, Germany
- CiE 2010: Programs, Proofs, Processes, Ponta Delgada (Azores), Portugal
- CiE 2011: Models of Computation in Context, Sofia, Bulgaria
- CiE 2012: How the World Computes, Cambridge, England
- CiE 2013: The Nature of Computation: Logic, Algorithms, Applications, Milan, Italy
- CiE 2014: Language, Life, Limits, Budapest, Hungary
- CiE 2015: Evolving Computability, Bucharest, Romania
- CiE 2016: Pursuit of the Universal, Paris, France
- CiE 2017: Unveiling Dynamics and Complexity, Turku, Finland
- CiE 2018: Sailing Routes in the World of Computation, Kiel, Germany
- CiE 2019: Computing with Foresight and Industry , Durham, England.
Book series & JournalEdit
- Benedikt Löwe, Barry Cooper (1943–2015): The engine of Computability in Europe, Computability 5(1):3-11 (2016).
- "Association CiE Website: Governance". Retrieved 31 January 2019.
- "Association CiE Website: Guidelines for Organizing a CiE Conference". Retrieved 31 January 2019.
- "CiE Conference Series Website". Retrieved 31 January 2019.
- "Springer Verlag Website of the book series". Retrieved 1 July 2016.
- "Website of the journal Computability". Retrieved 1 July 2016.