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 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 originated as a research network in 2003, became a conference series in 2005, and the Association Computability in Europe was formed in 2008.[1]

Association[edit]

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.

Past presidents of the Association were S. Barry Cooper (2008-2015) and Dag Normann (2015-2016). The current members of the Council of the Association are Pablo Arrighi, Arnold Beckmann, Paola Bonizzoni, Olivier Bournez, Liesbeth De Mol, Johann Makowsky, Florin Manea, Elvira Mayordomo, Dag Normann, Giuseppe Primiero, and Martin Ziegler.[2]


Conference series[edit]

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, Greece (CiE 2008), Heidelberg, Germany (CiE 2009) Ponta Delgada (Azores), Portugal (CiE 2010), Sofia, Bulgaria (CiE 2011), Cambridge, England (CiE 2012), Milan, Italy (CiE 2013), Budapest, Hungary (CiE 2014), Bucharest, Romania (CiE 2015), and Paris, France (CiE 2016). CiE 2017 will be held in Turku, Finland and CiE 2018 will be held in Kiel, Germany.[3] The current chair of the Steering Committee of the conference series is Florin Manea; his predecessors were Benedikt Löwe (2005-2013) and Arnold Beckmann (2013-2016).

Book series & Journal[edit]

CiE has editorial responsibility for the Springer book series Theory and Applications of Computability[4] and the journal Computability published by IOS Press.[5]


External links[edit]

References[edit]

  1. ^ Benedikt Löwe, Barry Cooper (1943–2015): The engine of Computability in Europe, Computability 5(1):3-11 (2016).
  2. ^ "Association CiE Website: Governance". Retrieved 1 July 2016. 
  3. ^ "CiE Conference Series Website". Retrieved 1 July 2016. 
  4. ^ "Springer Verlag Website of the book series". Retrieved 1 July 2016. 
  5. ^ "Website of the journal Computability". Retrieved 1 July 2016.