Discipline Mathematical and Computational Sciences
Subdiscipline Computer-Assisted Proof and Functional Programming
Event Type Conference
Delegate Fee 250euro-500euro
Venue Holiday Inn London – Wembley,
Empire Way, Wembley,
Middlesex, HA9 8DS, London
Conference Aims and Objectives
The ICCAPFP 2021: 23rd International Conference on Computer-Assisted Proof and Functional Programming aims to bring together leading academic scientists, researchers and research scholars to exchange and share their experiences and research results on all aspects of Computer-Assisted Proof and Functional Programming. It also provides a premier interdisciplinary platform for researchers, practitioners and educators to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Computer-Assisted Proof and Functional Programming.
Call for Contributions
All honorable authors are kindly encouraged to contribute to and help shape the conference through submissions of their research abstracts, papers and e-posters. Also, high quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of Computer-Assisted Proof and Functional Programming are cordially invited for presentation at the conference. The conference solicits contributions of abstracts, papers and e-posters that address themes and topics of the conference, including figures, tables and references of novel research materials.