Conference Information
CPP 2022: International Conference on Certified Programs and Proofs
https://popl22.sigplan.org/home/CPP-2022
Submission Date:
2021-09-16
Notification Date:
2021-11-22
Conference Date:
2022-01-16
Location:
Philadelphia, Pennsylvania, USA
Years:
11
Viewed: 4876   Tracked: 2   Attend: 0

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.
Last updated by Dou Sun in 2021-06-19
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 Computing2022-02-042022-04-292022-08-22
ICCAInternational Conference on Computer Applications2013-09-152013-09-202013-12-19
cbAPSECAsia-Pacific Software Engineering Conference2021-07-012021-09-022021-12-06
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 Conference2021-08-292021-09-102021-10-20
baa1ECOOPEuropean Conference on Object-Oriented Programming2022-03-012022-05-012022-06-06
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 Communications11.42IEEE0733-8716
bJournal of Functional Programming1.37Cambridge University Press0956-7968
Magnetic Resonance Imaging2.053Elsevier0730-725X
bScience of Computer Programming0.775Elsevier0167-6423
Transport and Telecommunication JournalTransport and Telecommunication Institute1407-6160
Computer Standards & Interfaces2.809Elsevier0920-5489
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 Communications11.42IEEE
Journal of Functional Programming1.37Cambridge University Press
Magnetic Resonance Imaging2.053Elsevier
Science of Computer Programming0.775Elsevier
Transport and Telecommunication JournalTransport and Telecommunication Institute
Computer Standards & Interfaces2.809Elsevier
Recommendation