CiE 2008
Computability in Europe 2008 (CiE 2008),
organised by the
Graduate Program in Logic, Algorithms and Computation (MPLA)
and the
Department of History and Philosophy of Science of the
University of Athens,
takes place in Athens, Greece, 15 June  20 June, 2008.
CiE 2008 is the fourth of a newly evolving series of
conferences under the heading
Computability in Europe
which started 2005 in Amsterdam as CiE 2005: New computational paradigms,
and has been continued in
Swansea CiE 2006: Logical approaches to computational barriers, and
Siena CiE 2007: Computation and Logic in the Real World.
The conference serves as an interdisciplinary forum, which deals with
approaches to practical computational problems in many different areas.
This includes
Admissible sets
Algorithms
Analog computation
Artificial intelligence
Automata theory
Bioinformatics
Classical computability and degree structures
Complexity classes
Computability theoretic aspects of programs
Computable analysis and real computation
Computable structures and models
Computational and proof complexity
Computational learning and complexity
Concurrency and distributed computation
Constructive mathematics
Cryptographic complexity
Decidability of theories
Derandomization
DNA computing
Domain theory and computability
Dynamical systems and computational models
Effective descriptive set theory
Finite model theory
Formal aspects of program analysis
Formal methods
Foundations of computer science
Games
Generalized recursion theory

History of computation
Hybrid systems
Higher type computability
Hypercomputational models
Infinite time Turing machines
Kolmogorov complexity
Lambda and combinatory calculi
Lsystems and membrane computation
Mathematical models of emergence
Molecular computation
Natural Computation
Neural nets and connectionist models
Philosophy of science and computation
Physics and computability
Probabilistic systems
Process algebra
Programming language semantics
Proof mining
Proof theory and computability
Proof complexity
Quantum computing and complexity
Randomness
Reducibilities and relative computation
Relativistic computation
Reverse mathematics
Swarm intelligence
Type systems and type theory
Uncertain Reasoning
Weak systems of arithmetic and applications
