The Association Computability in Europe (ACiE) is an

international organization An international organization, also known as an intergovernmental organization or an international institution, is an organization that is established by a treaty or other type of instrument governed by international law and possesses its own le ...

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 Computability theory, also known as recursion theory, is a branch of mathematical logic, computer science, and the theory of computation that originated in the 1930s with the study of computable functions and Turing degrees. The field has since ex ...

, and to support the development of a 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.

Association

The ''Association Computability in Europe'' was founded in

Athens Athens ( ) is the Capital city, capital and List of cities and towns in Greece, largest city of Greece. A significant coastal urban area in the Mediterranean, Athens is also the capital of the Attica (region), Attica region and is the southe ...

Greece Greece, officially the Hellenic Republic, is a country in Southeast Europe. Located on the southern tip of the Balkan peninsula, it shares land borders with Albania to the northwest, North Macedonia and Bulgaria to the north, and Turkey to th ...

in 2008. Its founding president (2008 to 2015) was Professor S. Barry Cooper; its current president is Elvira Mayordomo 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 of the International Union of History and Philosophy of Science (DLMPST/IUHPST).

Past and Present Presidents

Members of the Association Council

Former members of the Council of the Association are: Alison Pease and Olivier Bournez (Past Membership Secretary).

Special Interest Groups

The Association has three Special Interest Groups (SIGs): ''Women in Computability'' (WiC), ''Transfinite Computations'' (TraC), and ''History and Philosophy of Computing'' (HaPoC). SIGWiC has been organising the workshop ''Women in Computability'' at the CiE conferences since 2007; HaPoC is also organising two separate conference series: ''History and Philosophy of Computing'' and ''History and Philosophy of Programming''.

S. Barry Cooper Prize

In memory of the visionary engagement of its founding president, the association established the ''S. Barry Cooper Prize'' honouring a researcher who has contributed to a broad understanding and foundational study of computability by outstanding results, by seminal and lasting theory building, by exceptional service to the research communities involved, or by a combination of these. The inaugural S. Barry Cooper Prize was awarded in 2020 to Bruno Courcelle.

Conference series

The Association grew out of the major international conference series ''Computability in Europe'' (CiE); the first CiE conference was held in

Amsterdam Amsterdam ( , ; ; ) is the capital of the Netherlands, capital and Municipalities of the Netherlands, largest city of the Kingdom of the Netherlands. It has a population of 933,680 in June 2024 within the city proper, 1,457,018 in the City Re ...

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'',

The Netherlands , Terminology of the Low Countries, informally Holland, is a country in Northwestern Europe, with Caribbean Netherlands, overseas territories in the Caribbean. It is the largest of the four constituent countries of the Kingdom of the Nether ...

* CiE 2006: ''Logical approaches to computational barriers'',

Swansea Swansea ( ; ) is a coastal City status in the United Kingdom, city and the List of urban areas in the United Kingdom, second-largest city of Wales. It forms a Principal areas of Wales, principal area, officially known as the City and County of ...

Wales Wales ( ) is a Countries of the United Kingdom, country that is part of the United Kingdom. It is bordered by the Irish Sea to the north and west, England to the England–Wales border, east, the Bristol Channel to the south, and the Celtic ...

* CiE 2007: ''Computation and Logic in the Real World'',

Siena Siena ( , ; traditionally spelled Sienna in English; ) is a city in Tuscany, in central Italy, and the capital of the province of Siena. It is the twelfth most populated city in the region by number of inhabitants, with a population of 52,991 ...

Italy Italy, officially the Italian Republic, is a country in Southern Europe, Southern and Western Europe, Western Europe. It consists of Italian Peninsula, a peninsula that extends into the Mediterranean Sea, with the Alps on its northern land b ...

* CiE 2008: ''Logic and Theory of Algorithms'',

* CiE 2009: ''Mathematical Theory and Computational Practice'',

Heidelberg Heidelberg (; ; ) is the List of cities in Baden-Württemberg by population, fifth-largest city in the States of Germany, German state of Baden-Württemberg, and with a population of about 163,000, of which roughly a quarter consists of studen ...

Germany Germany, officially the Federal Republic of Germany, is a country in Central Europe. It lies between the Baltic Sea and the North Sea to the north and the Alps to the south. Its sixteen States of Germany, constituent states have a total popu ...

* CiE 2010: ''Programs, Proofs, Processes'',

Ponta Delgada Ponta Delgada (; ) is the largest municipality (''concelho'') and executive capital of the Autonomous Region of the Azores in Portugal. It is located on São Miguel Island, the largest and most populous in the archipelago. As of 2021, it has 67,2 ...

(

Azores The Azores ( , , ; , ), officially the Autonomous Region of the Azores (), is one of the two autonomous regions of Portugal (along with Madeira). It is an archipelago composed of nine volcanic islands in the Macaronesia region of the North Atl ...

Portugal Portugal, officially the Portuguese Republic, is a country on the Iberian Peninsula in Southwestern Europe. Featuring Cabo da Roca, the westernmost point in continental Europe, Portugal borders Spain to its north and east, with which it share ...

* CiE 2011: ''Models of Computation in Context'',

Sofia Sofia is the Capital city, capital and List of cities and towns in Bulgaria, largest city of Bulgaria. It is situated in the Sofia Valley at the foot of the Vitosha mountain, in the western part of the country. The city is built west of the Is ...

Bulgaria Bulgaria, officially the Republic of Bulgaria, is a country in Southeast Europe. It is situated on the eastern portion of the Balkans directly south of the Danube river and west of the Black Sea. Bulgaria is bordered by Greece and Turkey t ...

* CiE 2012: ''How the World Computes'',

Cambridge Cambridge ( ) is a List of cities in the United Kingdom, city and non-metropolitan district in the county of Cambridgeshire, England. It is the county town of Cambridgeshire and is located on the River Cam, north of London. As of the 2021 Unit ...

England England is a Countries of the United Kingdom, country that is part of the United Kingdom. It is located on the island of Great Britain, of which it covers about 62%, and List of islands of England, more than 100 smaller adjacent islands. It ...

* CiE 2013: ''The Nature of Computation: Logic, Algorithms, Applications'',

Milan Milan ( , , ; ) is a city in northern Italy, regional capital of Lombardy, the largest city in Italy by urban area and the List of cities in Italy, second-most-populous city proper in Italy after Rome. The city proper has a population of nea ...

* CiE 2014: ''Language, Life, Limits'',

Budapest Budapest is the Capital city, capital and List of cities and towns of Hungary, most populous city of Hungary. It is the List of cities in the European Union by population within city limits, tenth-largest city in the European Union by popul ...

Hungary Hungary is a landlocked country in Central Europe. Spanning much of the Pannonian Basin, Carpathian Basin, it is bordered by Slovakia to the north, Ukraine to the northeast, Romania to the east and southeast, Serbia to the south, Croatia and ...

* CiE 2015: ''Evolving Computability'',

Bucharest Bucharest ( , ; ) is the capital and largest city of Romania. The metropolis stands on the River Dâmbovița (river), Dâmbovița in south-eastern Romania. Its population is officially estimated at 1.76 million residents within a greater Buc ...

Romania Romania is a country located at the crossroads of Central Europe, Central, Eastern Europe, Eastern and Southeast Europe. It borders Ukraine to the north and east, Hungary to the west, Serbia to the southwest, Bulgaria to the south, Moldova to ...

* CiE 2016: ''Pursuit of the Universal'',

Paris Paris () is the Capital city, capital and List of communes in France with over 20,000 inhabitants, largest city of France. With an estimated population of 2,048,472 residents in January 2025 in an area of more than , Paris is the List of ci ...

France France, officially the French Republic, is a country located primarily in Western Europe. Overseas France, Its overseas regions and territories include French Guiana in South America, Saint Pierre and Miquelon in the Atlantic Ocean#North Atlan ...

* CiE 2017: ''Unveiling Dynamics and Complexity'',

Turku Turku ( ; ; , ) is a city in Finland and the regional capital of Southwest Finland. It is located on the southwestern coast of the country at the mouth of the Aura River (Finland), River Aura. The population of Turku is approximately , while t ...

Finland Finland, officially the Republic of Finland, is a Nordic country in Northern Europe. It borders Sweden to the northwest, Norway to the north, and Russia to the east, with the Gulf of Bothnia to the west and the Gulf of Finland to the south, ...

* CiE 2018: ''Sailing Routes in the World of Computation'',

Kiel Kiel ( ; ) is the capital and most populous city in the northern Germany, German state of Schleswig-Holstein. With a population of around 250,000, it is Germany's largest city on the Baltic Sea. It is located on the Kieler Förde inlet of the Ba ...

* CiE 2019: ''Computing with Foresight and Industry '', Durham,

. * CiE 2020: ''Beyond the Horizon of Computability'',

Salerno Salerno (, ; ; ) is an ancient city and ''comune'' (municipality) in Campania, southwestern Italy, and is the capital of the namesake province, being the second largest city in the region by number of inhabitants, after Naples. It is located ...

(held as a fully online conference). * CiE 2021: ''Connecting with Computability'', Gent,

Belgium Belgium, officially the Kingdom of Belgium, is a country in Northwestern Europe. Situated in a coastal lowland region known as the Low Countries, it is bordered by the Netherlands to the north, Germany to the east, Luxembourg to the southeas ...

(online). * CiE 2022: ''Revolutions and Revelations in Computability'',

. * CiE 2023: ''Unity of Logic and Computation'',

Batumi Batumi (; ka, ბათუმი ), historically Batum or Batoum, is the List of cities and towns in Georgia (country), second-largest city of Georgia (country), Georgia and the capital of the Autonomous Republic of Adjara, located on the coast ...

Georgia Georgia most commonly refers to: * Georgia (country), a country in the South Caucasus * Georgia (U.S. state), a state in the southeastern United States Georgia may also refer to: People and fictional characters * Georgia (name), a list of pe ...

. 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 and journal

The ACiE has editorial responsibility for the

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

book series ''Theory and Applications of Computability'' and the journal ''Computability'' published by IOS Press.

References

{{reflist Theoretical computer science Mathematics organizations Mathematical logic organizations Computer science organizations Computer science conferences Information technology organizations based in Europe