Important dates

The conference is over.
 
 
 

 Contact

 

See: Menu item "Organizers"

http://cie2014.inf.elte.hu/?Organizers

 

 

 

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