IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
CPP 2021 : Certified Programs and Proofs
CPP 2021 : Certified Programs and Proofs

CPP 2021 : Certified Programs and Proofs

Copenhagen, Denmark
Event Date: January 18, 2021 - January 19, 2021
Abstract Submission Deadline: September 16, 2020
Submission Deadline: September 22, 2020
Notification of Acceptance: November 19, 2020
Camera Ready Version Due: December 10, 2020




About

Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education.

CPP 2021 will be held on 18-19 January 2021 and will be co-located with POPL 2021. CPP 2021 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG.


Call for Papers

We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP:

- certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware;
- certified mathematical libraries and mathematical theorems;
- proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc);
- new languages and tools for certified programming;
- program analysis, program verification, and program synthesis;
- program logics, type systems, and semantics for certified code;
- logics for certifying concurrent and distributed systems;
- mechanized metatheory, formalized programming language semantics, and logical frameworks;
- higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security;
- verification of correctness and security properties;
- formally verified blockchains and smart contracts;
- certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest;
- certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification;
- certificates for program termination;
- formal models of computation;
- mechanized (un)decidability and computational complexity proofs;
- formally certified methods for induction and coinduction;
- integration of interactive and automated provers;
- logical foundations of proof assistants;
- applications of AI and machine learning to formal certification;
- user interfaces for proof assistants and theorem provers;
- teaching mathematics and computer science with proof assistants.



Credits and Sources

[1] CPP 2021 : Certified Programs and Proofs


Check other Conferences, Workshops, Seminars, and Events


OTHER COMPUTER SCIENCE EVENTS

SPTM 2025: 13th International Conference of Security, Privacy and Trust Management
London, United Kingdom
Jul 26, 2025
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
CMLA 2025: 7th International Conference on Machine Learning & Applications
Toronto, Canada
Jul 19, 2025
CIoT 2025: 7th International Conference on Internet of Things
Toronto, Canada
Jul 19, 2025
MODELSWARD 2026: 14th International Conference on Model-Based Software and Systems Engineering
Marbella, Spain
Mar 7, 2026
SHOW ALL

OTHER VERIFICATION EVENTS

SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
AREA 2024: 4th Workshop on Agents and Robots for reliable Engineered Autonomy
Santiago de Compostela
Oct 19, 2024
LearnAut 2024: Learning and Automata
Tallinn, Estonia
Jul 7, 2024
SCID @ AsiaCCS 2024: 1st ACM workshop on Security-Centric Strategies for Combating Information Disorder
Singapore
Jul 1, 2024
SPIN 2024: 30th International Symposium on Model Checking Software
Luxembourg City
Apr 10, 2024
SHOW ALL

OTHER MATHEMATICS EVENTS

ICMMAP 2025: 2025 9th International Conference on Mechanics, Mathematics and Applied Physics
Harbin, China.
Dec 12, 2025
ICORES 2026: 15th International Conference on Operations Research and Enterprise Systems
Marbella, Spain
Mar 9, 2026
December Issue 2025: Ganit Charcha Mathematics Magazine
Kolkata
Jul 1, 2025
ICAMMIS 2025: 2025 International Conference on Applied Mathematics, Modeling, and Information Security
Nanjing
Jun 14, 2025
ICAMAP 2025: 2025 International Conference on Applied Mathematics and Applied Physics
Chengdu, China
Jul 18, 2025
SHOW ALL

OTHER FORMAL METHODS EVENTS

MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS) Deadline Extended (Final)
Taipei, Taiwan
Oct 2, 2025
SBMF 2025: 28th Brazilian Symposium on Formal Methods
Recife, Brazil
Dec 3, 2025
MEMOCODE 2025: 23rd ACM/IEEE International Symposium on Formal Methods and Models for System Design (FMCPS)
Taipei, Taiwan
Oct 2, 2025
FMAS 2025: 7th International Workshop on Formal Methods for Autonomous Systems
Paris
Nov 17, 2025
iFM 2025: 20th International Conference on Integrated Formal Methods
Paris, France
Nov 19, 2025
SHOW ALL