Call for Papers
The PoC workshop aims to bring together researchers interested in the broad area of certification of computing systems. The workshop invites submissions on different aspects of certification, including certificates for program analysis, hardware verification, automated reasoning methodologies including SAT/SMT solving, synthesis, AI verification, and cyber-physical and control systems.
Scope and Topics
Topics of interest include, but are not limited to:
- Certificates in program verification
- Certificates in hardware verification
- Certificates and proof logging for automated reasoning, including SAT and SMT solving, first-order logic, pseudo-Boolean solving, and planning
- Certificates in probabilistic system verification
- Certificates in AI verification
- Certificates in cyber-physical systems and control theory
- Certificates for runtime monitoring and shielding
- Design, generation, and checking of verification witnesses
- Trustworthiness and independent validation of verification tools and results
Important Dates
- Submission deadline
- Review deadline
- Notification
- Workshop date
Submissions
Principles of Certification (PoC) 2027 welcomes submissions of extended abstracts of up to 3 pages. All submissions should be in the Lecture Notes in Computer Science (LNCS) format.
Submissions will be judged on their interest to the PoC community. The workshop will not have published proceedings, so we welcome presentations of published or ongoing work. If a presentation is based on previously published work, that should be clearly indicated.
The submission URL will be available soon.
Publication and Presentation
There will be no published proceedings of PoC 2027. Details about presentations at the workshop will be announced here.