IMPACT FACTOR JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOGS LaTeX 5G Tutorial Advertise
 
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.



Best Deals



Credits and Sources

[1] CPP 2021 : Certified Programs and Proofs


Check other Conferences, Workshops, Seminars, and Events


OTHER COMPUTER SCIENCE EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
AMICT 2021: 15th Workshop on Advances in Methods of Information and Communication Technology
Oulu, Finland
Oct 28, 2021
SEA 2021: 10th International Conference on Software Engineering and Applications
Copenhagen, Denmark
Jun 19, 2021
RAID 2021: Research in Attacks, Intrusions and Defenses
Donostia / San Sebastian, Spain
Oct 06, 2021
SOENG 2021: 7th International Conference on Software Engineering
Copenhagen, Denmark
Apr 24, 2021
SHOW ALL

OTHER VERIFICATION EVENTS

ATVA 2021: The 19th International Symposium on Automated Technology for Verification and Analysis
Gold Coast, Australia
Oct 18, 2021
ESOP 2021: 30th European Symposium on Programming
Luxembourg
Mar 27, 2021
FMAS 2020: Second Workshop on Formal Methods for Autonomous Systems
Online
Dec 07, 2020
Indocrypt 2020: 21st International Conference on Cryptology in India
Bengaluru, India
Dec 13, 2020
SAS 2020: Static Analysis Symposium
Chicago, Illinois, United States
Nov 18, 2020
SHOW ALL

OTHER MATHEMATICS EVENTS

WLD 2021: 3rd World Logic Day
all around the world
Jan 14, 2021
A3M 2021: National Conference on applied mathematics and Mathematics Modeling
EL-Oued, ALgeria
Mar 30, 2021
VWLD 2021: Vienna World Logic Day Lecture
Online
Jan 14, 2021
ICMAI 2021: 6th International Conference on Mathematics and Artificial Intelligence
Chengdu, China
Mar 19, 2021
EMO 2021: Evolutionary Multi-Criterion Optimization
Shenzhen, China
Mar 28, 2021
SHOW ALL

OTHER FORMAL METHODS EVENTS

SEFM 2021: The 19th edition of the International Conference on Software Engineering and Formal Methods
Virtual
Dec 06, 2021
TASE 2021: The 15th International Symposium on Theoretical Aspects of Software Engineering
Shanghai
Aug 25, 2021
VWLD 2021: Vienna World Logic Day Lecture
Online
Jan 14, 2021
FormaliSE 2021: International Conference on Formal Methods in Software Engineering
Madrid, Spain
May 23, 2021
F-IDE 2021: 6th Workshop on Formal Integrated Development Environment
Online
May 24, 2021
SHOW ALL