Conference Information
CPP 2022: International Conference on Certified Programs and Proofs
https://popl22.sigplan.org/home/CPP-2022Submission Date: |
2021-09-16 |
Notification Date: |
2021-11-22 |
Conference Date: |
2022-01-16 |
Location: |
Philadelphia, Pennsylvania, USA |
Years: |
11 |
Viewed: 7034 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
Short | Full Name | Submission | Conference |
---|---|---|---|
APMediaCast | Asia Pacific Conference on Multimedia and Broadcasting | 2014-12-23 | 2015-04-23 |
ICCIC | International Conference on Computational Intelligence and Computing Research | 2014-11-05 | 2015-12-18 |
Euro-Par | European Conference on Parallel and Distributed Computing | 2023-03-03 | 2023-08-28 |
ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-12-19 |
APSEC | Asia-Pacific Software Engineering Conference | 2022-06-29 | 2022-12-06 |
ICACTE | International Conference on Advanced Computer Theory and Engineering | 2020-07-30 | 2020-09-18 |
PRISMS | International Conference on Privacy and Security in Mobile Systems | 2014-02-21 | 2014-05-11 |
MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-06-22 |
WMNC | Joint IFIP Wireless Mobile Networking Conference | 2022-07-25 | 2022-10-17 |
ECOOP | European Conference on Object-Oriented Programming | 2022-03-01 | 2022-06-06 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
Semiconductor Science and Technology | 2.098 | IOP Publishing | 0268-1242 | |
Mathematical Programming Computation | Springer | 1867-2949 | ||
Mathematical Programming | 3.995 | Springer | 0025-5610 | |
b | Computational Complexity | 0.487 | Springer | 1016-3328 |
a | IEEE Journal on Selected Areas in Communications | 11.42 | IEEE | 0733-8716 |
b | Journal of Functional Programming | 1.37 | Cambridge University Press | 0956-7968 |
Magnetic Resonance Imaging | 2.546 | Elsevier | 0730-725X | |
b | Science of Computer Programming | 0.863 | Elsevier | 0167-6423 |
Transport and Telecommunication Journal | Transport and Telecommunication Institute | 1407-6160 | ||
Programming and Computer Software | 0.105 | Springer | 0361-7688 |
Full Name | Impact Factor | Publisher |
---|---|---|
Semiconductor Science and Technology | 2.098 | IOP Publishing |
Mathematical Programming Computation | Springer | |
Mathematical Programming | 3.995 | Springer |
Computational Complexity | 0.487 | Springer |
IEEE Journal on Selected Areas in Communications | 11.42 | IEEE |
Journal of Functional Programming | 1.37 | Cambridge University Press |
Magnetic Resonance Imaging | 2.546 | Elsevier |
Science of Computer Programming | 0.863 | Elsevier |
Transport and Telecommunication Journal | Transport and Telecommunication Institute | |
Programming and Computer Software | 0.105 | Springer |
Recommendation