# Topics

CiE 2014 conference topics include, but not limited to:

- Admissible sets
- Algorithms
- Analog computation
- Artificial intelligence
- Automata theory
- Bioinformatics and bio-inspired computation
- Bounded arithmetic
- Classical computability and degree structures
- Cognitive science and modelling
- Complexity classes
- Computability theoretic aspects of programs
- Computable analysis and real computation
- Computable structures and models
- Computational and proof complexity
- Computational biology
- Computational creativity
- Computational learning and complexity
- Computational linguistics
- 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
- Emerging and non-standard models of computation
- 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
- Machine learning
- Mathematical models of emergence
- Molecular computation
- Morphogenesis and developmental biology
- Multi-agent systems
- Natural computation
- Neural nets and connectionist models
- Philosophy of science and computation
- Physics and computability
- Probabilistic systems
- Process algebras and concurrent systems
- Programming language semantics
- Proof mining and applications
- Proof theory and computability
- Proof complexity
- Quantum computing and complexity
- Randomness
- Reducibilities and relative computation
- Relativistic computation
- Reverse mathematics
- Semantics and logic of computation
- Swarm intelligence and self-organisation
- Type systems and type theory
- Uncertain reasoning
- Weak systems of arithmetic and applications