Computability in Europe
Encyclopedia
Computability in Europe 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.
International organization
An intergovernmental organization, sometimes rendered as an international governmental organization and both abbreviated as IGO, is an organization composed primarily of sovereign states , or of other intergovernmental organizations...
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
S. Barry Cooper
S. Barry Cooper is a British mathematician and computability theorist. He is currently Professor of Mathematical Logic at the University of Leeds. His book Computability Theory has made this basic but technical research area accessible to a new generation of students...
,
a mathematician from Leeds
Leeds
Leeds is a city and metropolitan borough in West Yorkshire, England. In 2001 Leeds' main urban subdivision had a population of 443,247, while the entire city has a population of 798,800 , making it the 30th-most populous city in the European Union.Leeds is the cultural, financial and commercial...
.
CiE is also a major international conference series.
The first CiE conference was held in Amsterdam
Amsterdam
Amsterdam is the largest city and the capital of the Netherlands. The current position of Amsterdam as capital city of the Kingdom of the Netherlands is governed by the constitution of August 24, 1815 and its successors. Amsterdam has a population of 783,364 within city limits, an urban population...
in June, 2005, subsequent meetings being in Swansea
Swansea
Swansea is a coastal city and county in Wales. Swansea is in the historic county boundaries of Glamorgan. Situated on the sandy South West Wales coast, the county area includes the Gower Peninsula and the Lliw uplands...
, Wales
Wales
Wales is a country that is part of the United Kingdom and the island of Great Britain, bordered by England to its east and the Atlantic Ocean and Irish Sea to its west. It has a population of three million, and a total area of 20,779 km²...
(CiE 2006), Siena
Siena
Siena is a city in Tuscany, Italy. It is the capital of the province of Siena.The historic centre of Siena has been declared by UNESCO a World Heritage Site. It is one of the nation's most visited tourist attractions, with over 163,000 international arrivals in 2008...
, Italy
Italy
Italy , officially the Italian Republic languages]] under the European Charter for Regional or Minority Languages. In each of these, Italy's official name is as follows:;;;;;;;;), is a unitary parliamentary republic in South-Central Europe. To the north it borders France, Switzerland, Austria and...
(CiE 2007),
Athens
Athens
Athens , is the capital and largest city of Greece. Athens dominates the Attica region and is one of the world's oldest cities, as its recorded history spans around 3,400 years. Classical Athens was a powerful city-state...
(CiE 2008), and Heidelberg
Heidelberg
-Early history:Between 600,000 and 200,000 years ago, "Heidelberg Man" died at nearby Mauer. His jaw bone was discovered in 1907; with scientific dating, his remains were determined to be the earliest evidence of human life in Europe. In the 5th century BC, a Celtic fortress of refuge and place of...
, Germany
Germany
Germany , officially the Federal Republic of Germany , is a federal parliamentary republic in Europe. The country consists of 16 states while the capital and largest city is Berlin. Germany covers an area of 357,021 km2 and has a largely temperate seasonal climate...
(CiE 2009). CiE 2010 will be in Ponta Delgada
Ponta Delgada
Ponta Delgada is a city and municipality on the island of São Miguel in the archipelago of the Azores, an autonomous region of Portugal. It includes 44,403 residents in the urban area, and approximately 20,113 inhabitants in the three central parishes that comprise the historical city: São Pedro,...
(Azores
Azores
The Archipelago of the Azores is composed of nine volcanic islands situated in the middle of the North Atlantic Ocean, and is located about west from Lisbon and about east from the east coast of North America. The islands, and their economic exclusion zone, form the Autonomous Region of the...
),
Portugal
Portugal
Portugal , officially the Portuguese Republic is a country situated in southwestern Europe on the Iberian Peninsula. Portugal is the westernmost country of Europe, and is bordered by the Atlantic Ocean to the West and South and by Spain to the North and East. The Atlantic archipelagos of the...
and CiE 2011 in Sofia
Sofia
Sofia is the capital and largest city of Bulgaria and the 12th largest city in the European Union with a population of 1.27 million people. It is located in western Bulgaria, at the foot of Mount Vitosha and approximately at the centre of the Balkan Peninsula.Prehistoric settlements were excavated...
, Bulgaria
Bulgaria
Bulgaria , officially the Republic of Bulgaria , is a parliamentary democracy within a unitary constitutional republic in Southeast Europe. The country borders Romania to the north, Serbia and Macedonia to the west, Greece and Turkey to the south, as well as the Black Sea to the east...
.
CiE 2012 in Cambridge
Cambridge
The city of Cambridge is a university town and the administrative centre of the county of Cambridgeshire, England. It lies in East Anglia about north of London. Cambridge is at the heart of the high-technology centre known as Silicon Fen – a play on Silicon Valley and the fens surrounding the...
, England
England
England is a country that is part of the United Kingdom. It shares land borders with Scotland to the north and Wales to the west; the Irish Sea is to the north west, the Celtic Sea to the south west, with the North Sea to the east and the English Channel to the south separating it from continental...
will be part of the Alan Turing Year
Alan Turing Year
The Alan Turing Year 2012 will be a celebration of the life and scientific influence of Alan Turing on the occasion of the centenary of his birth on 23 June 1912...
.
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
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
book series Theory and Applications of Computability.