| Computability in Europe 2009 Mathematical Theory and Computational Practice Heidelberg, Germany, 19-24 July 2009 |   |
| Computability in Europe 2009 Mathematical Theory and Computational Practice Heidelberg, Germany, 19-24 July 2009 | |
| General Home Programme Committee Organising Committee Sponsors Contact News Programme Committee |
Participation Registration Venue Practical Information Accommodation Grants Photos Practical Information |
Programme Time Table Tutorials and Plenary Talks Special Sessions Contributed Talks and Informal Presentations Workshop “Women in Computability” Contributed talks and Informal Presentations |
Publications Pre- and Post-Conference Call for Papers Paper Submission Instructions for Authors Informal Presentations Pre- and Post-Conference |
CiE Conference Description Association Conference Series Women in Computability Women in Computability |
| Admissible sets Analog computation Artificial intelligence Automata theory Classical computability and degree structures Computability theoretic aspects of programs Computable analysis and real computation Computable structures and models Computational and proof complexity Computational complexity Computational learning and complexity Concurrency and distributed computation Constructive mathematics Cryptographic complexity Decidability of theories Derandomization 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 L-systems and membrane computation Mathematical models of emergence Molecular computation Natural computing 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 Quantum computing and complexity Randomness Reducibilities and relative computation Relativistic computation Reverse mathematics Swarm intelligence Type systems and type theory Uncertain reasoning Weak arithmetics and applications |