Open Science Research Excellence

ICCAPFP 2021 : International Conference on Computer-Assisted Proof and Functional Programming

London, United Kingdom
February 14 - 15, 2021

Call for Papers

ICCAPFP 2021 : International Conference on Computer-Assisted Proof and Functional Programming is the premier interdisciplinary platform for the presentation of new advances and research results in the fields of Computer-Assisted Proof and Functional Programming. 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:
  • Computer-assisted proof
  • Proof technology
  • The digitization of formal mathematics
  • Satisfiability solvers
  • Rewriting engines
  • Computer algebra systems
  • Automated theorem provers
  • Interactive proof assistants
  • Four color theorem
  • Artificial intelligence
  • Heuristic search
  • Methods
  • Philosophical objections