Computability in Europe

more than a conference series . . .

The CiE Network

Approximately 427 researchers defining a fundamentally important scientific field

Its Geographical and Scientific Focus

A real interface between computability, logic, mathematics, and theoretical computer science - with an awareness of the wider scientific context

Europe-wide participation - Austria, Bulgaria, Czech Republic, Denmark, England, France, Georgia, Germany, Greece, Hungary, Israel, Italy, Kazakhstan, Netherlands, Norway, Poland, Portugal, Rumania, Russia, Scotland, Slovenia, Spain, Sweden, Wales

The node structure Leeds

AmsterdamAthens

BarcelonaHeidelberg

LisbonMunichNancy

NovosibirskOslo

PragueSienaSofia

Swansea

The CiE Conference Series

Raise the profile of our research area

Break down barriers and learn new and useful things

Get to meet and work with each other

Discuss how we can build our research community and its international representation

Aims:

Latest developments . . . May, 2006 submission of Marie Curie Conferences and Training Courses proposal

Planned CiE conferences -

Framework 7! CiE 2007: Computation and Logic in the Real World.Siena, Italy. June 18-23, 2007.

CiE 2008: Logic and Theory of Algorithms.Athens, Greece. June 2008

CiE 2009: Mathematical Theory and Computational Practice.Heidelberg, Germany. June 2009.

CiE 2010: Programs, Proofs, Processes.Lisbon, Portugal. June 2010.

What CiE 2007 is Not CiE 2007 is not a logic conference - although many researchers have backgrounds in logic, and computability started as a branch of logic, and logic is still a source of techniques and universalities

CiE 2007 is not a computer science conference - even though the CS conference culture and many of its research preoccupations inform its basic structure

CiE 2007 is not even a mathematics conference - it provides a venue for fruitful interaction between theoretical and experimental approaches to basic questions

What Direction Should CiE Take in 2007?

CiE General Meeting - Sunday