Open Science Research Excellence

ICCTFC 2020 : International Conference on Computability Theory and Frequency Computation

Barcelona, Spain
June 11 - 12, 2020

Call for Papers

ICCTFC 2020 : International Conference on Computability Theory and Frequency Computation is the premier interdisciplinary platform for the presentation of new advances and research results in the fields of Computability Theory and Frequency Computation. The conference will bring together leading academic scientists, researchers and scholars in the domain of interest from around the world. Topics of interest for submission include, but are not limited to:
  • Computability theory
  • Computable functions
  • Computable and uncomputable sets
  • Computing and enumerating
  • Turing computability
  • Relative computability and the Turing degrees
  • Rice's theorem and the arithmetical hierarchy
  • Reverse mathematics
  • Numberings
  • Coding and countability
  • Computability and complexity
  • Computational complexity theory
  • Primitive recursive functions
  • Partial recursive functions
  • The priority method
  • The lattice of recursively enumerable sets
  • Automorphism problems
  • Kolmogorov complexity
  • Frequency computation
  • Inductive inference
  • Generalizations of Turing computability
  • Continuous computability theory
  • Relationships between definability, proof and computability