会議情報
CPP 2022: International Conference on Certified Programs and Proofs
https://popl22.sigplan.org/home/CPP-2022提出日: |
2021-09-16 |
通知日: |
2021-11-22 |
会議日: |
2022-01-16 |
場所: |
Philadelphia, Pennsylvania, USA |
年: |
11 |
閲覧: 8857 追跡: 3 出席: 0
論文募集
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.
最終更新 Dou Sun 2021-06-19
関連会議
CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
---|---|---|---|---|---|---|---|
APMediaCast | Asia Pacific Conference on Multimedia and Broadcasting | 2014-12-23 | 2014-02-23 | 2015-04-23 | |||
ICCIC | International Conference on Computational Intelligence and Computing Research | 2014-11-05 | 2015-06-15 | 2015-12-18 | |||
ICAEM | International Conference on Advanced Energy Materials | 2023-01-20 | 2023-02-05 | 2023-01-13 | |||
b | a | a2 | Euro-Par | European Conference on Parallel and Distributed Computing | 2025-08-25 | ||
ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-09-20 | 2013-12-19 | |||
ICAMCE | International Ionference on Advanced Materials and Clean Energy | 2023-01-20 | 2023-02-17 | ||||
c | b | APSEC | Asia-Pacific Software Engineering Conference | 2024-07-06 | 2024-09-13 | 2024-12-03 | |
ICACTE | International Conference on Advanced Computer Theory and Engineering | 2020-07-30 | 2020-08-20 | 2020-09-18 | |||
PRISMS | International Conference on Privacy and Security in Mobile Systems | 2014-02-21 | 2014-03-14 | 2014-05-11 | |||
b4 | MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-05-15 | 2015-06-22 |
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
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 |
ICAEM | International Conference on Advanced Energy Materials | 2023-01-20 | 2023-01-13 |
Euro-Par | European Conference on Parallel and Distributed Computing | 2025-08-25 | |
ICCA | International Conference on Computer Applications | 2013-09-15 | 2013-12-19 |
ICAMCE | International Ionference on Advanced Materials and Clean Energy | 2023-01-20 | 2023-02-17 |
APSEC | Asia-Pacific Software Engineering Conference | 2024-07-06 | 2024-12-03 |
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 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
c | Cybernetics and Systems | Taylor & Francis | 0196-9722 | |
Journal of Object Technology | EtH Zurich | 1660-1769 | ||
Image Processing On Line | IPOL | 2105-1232 | ||
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE | 2379-8858 | |
c | Journal of Information Security and Applications | 3.800 | Elsevier | 2214-2126 |
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE | 1063-8210 | |
IEEE Open Journal of Control Systems | IEEE | 2694-085X | ||
Spatial Statistics | 2.100 | Elsevier | 2211-6753 | |
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE | 2471-285X | |
International Journal on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks | AIRCC | 0975-7260 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Cybernetics and Systems | Taylor & Francis | |
Journal of Object Technology | EtH Zurich | |
Image Processing On Line | IPOL | |
IEEE Transactions on Intelligent Vehicles | 14.00 | IEEE |
Journal of Information Security and Applications | 3.800 | Elsevier |
IEEE Transactions on Very Large Scale Integration (VLSI) Systems | 2.800 | IEEE |
IEEE Open Journal of Control Systems | IEEE | |
Spatial Statistics | 2.100 | Elsevier |
IEEE Transactions on Emerging Topics in Computational Intelligence | 5.300 | IEEE |
International Journal on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks | AIRCC |
おすすめ