Conference Information
CPP 2018: International Conference on Certified Programs and Proofs
Submission Date:
Notification Date:
Conference Date:
Los Angeles, California, USA
Viewed: 2314   Tracked: 1   Attend: 0

Conference Location
Call For Papers
Certified Programs and Proofs (CPP) is an international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates.

Topics of interest

We welcome submissions in research areas related to formal certification of programs and proofs. The following is a suggested list of topics of interests to CPP. This is a non-exhaustive list and should be read as a guideline rather than a requirement.

    certified or certifying programming, compilation, linking, OS kernels, runtime systems, and security monitors;
    program logics, type systems, and semantics for certified code;
    certified decision procedures, mathematical libraries, and mathematical theorems;
    proof assistants and proof theory;
    new languages and tools for certified programming;
    program analysis, program verification, and proof-carrying code;
    certified secure protocols and transactions;
    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;
    logics for certifying concurrent and distributed programs;
    higher-order logics, logical systems, separation logics, and logics for security;
    teaching mathematics and computer science with proof assistants.

Submission Guidelines

Papers should be submitted in PDF format through the EasyChair submission page at

Submitted papers must be formatted following the ACM SIGPLAN Proceedings format using the sigplanconf format (not the acmart format), using 10 point font for the main text (not the default 9pt font).

Submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography. Shorter papers are welcome and will be given equal consideration.

Abstracts must be submitted by October 6, 2017 (AOE). The deadline for full papers is October 11, 2017 (AOE), and authors have the option to withdraw their papers during the window between the two.

Submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the paper. They should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical and formal developments directed to the specialist should follow. References and comparisons with related work should be included. Papers not conforming to the above requirements concerning format and length may be rejected without further consideration.

Whenever appropriate, the submission should come along with a formal development, using whatever prover, e.g., Agda, Coq, Dafny, Elf, HOL, HOL-Light, Isabelle, Lean, Matita, Mizar, NQTHM, PVS, Vampire, etc. Such formal developments must be submitted together with the paper as auxiliary material, and will be taken into account during the reviewing process.

The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. Original formal proofs of known results in mathematics or computer science are welcome. One author of each accepted paper is expected to present it at the conference.

For any questions about the formatting or submission of papers, please consult the PC chairs.
Last updated by Xin Yao in 2017-08-21
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
APMediaCastAsia Pacific Conference on Multimedia and Broadcasting2014-12-232014-02-232015-04-23
ICCICInternational Conference on Computational Intelligence and Computing Research2014-11-052015-06-152015-12-18
caa2Euro-ParEuropean Conference on Parallel and Distributed Computing2020-02-07 2020-08-24
ICCAInternational Conference on Computer Applications2013-09-152013-09-202013-12-19
cbAPSECAsia-Pacific Software Engineering Conference2020-07-102020-09-042020-12-01
ICACTEInternational Conference on Advanced Computer Theory and Engineering2020-07-302020-08-202020-09-18
PRISMSInternational Conference on Privacy and Security in Mobile Systems2014-02-212014-03-142014-05-11
b4MFPSInternational Conference on the Mathematical Foundations of Programming Semantics2015-04-032015-05-152015-06-22
WMNCJoint IFIP Wireless Mobile Networking Conference2019-04-202019-05-202019-09-11
baa1ECOOPEuropean Conference on Object-Oriented Programming2021-01-292021-03-242021-07-12
Related Journals
CCFFull NameImpact FactorPublisherISSN
Semiconductor Science and Technology2.098IOP Publishing0268-1242
Mathematical Programming Computation Springer1867-2949
Mathematical Programming2.090Springer0025-5610
bComputational Complexity0.487Springer1016-3328
aIEEE Journal on Selected Areas in Communications9.302IEEE0733-8716
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Magnetic Resonance Imaging2.112Elsevier0730-725X
bScience of Computer Programming1.088Elsevier0167-6423
Transport and Telecommunication JournalTransport and Telecommunication Institute1407-6160
Programming and Computer Software0.105Springer0361-7688
Full NameImpact FactorPublisher
Semiconductor Science and Technology2.098IOP Publishing
Mathematical Programming Computation Springer
Mathematical Programming2.090Springer
Computational Complexity0.487Springer
IEEE Journal on Selected Areas in Communications9.302IEEE
Journal of Functional Programming1.37Cambridge University Press
Magnetic Resonance Imaging2.112Elsevier
Science of Computer Programming1.088Elsevier
Transport and Telecommunication JournalTransport and Telecommunication Institute
Programming and Computer Software0.105Springer