FAVPQC 2023

Topics of Interest

Authors are invited to submit papers describing original and unpublished work somehow related to formal analysis and verification of post-quantum cryptographic protocols. Topics of interest include, but are not limited to:

• Post-quantum cryptosystems
• Post-quantum cryptographic protocols
• Logics of quantum computing/algorithms/programs
• Formal analysis/verification of those related to the above-mentioned

---

Publication

Proceedings shall be submitted to CEUR-WS.org for online publication. Therefore, authors are supposed to use the CEUR-ART template style for preparing papers. From the CEUR preparation guide, authors can find and download the CEUR-ART template style (also available on Overleaf). Authors need to use the Latex 1-column style. In addition to regular papers (12 - 16 pages), authors are also recommended to submit short papers (6 - 8 pages), such as work-in-progress ones and tool demonstration ones. Papers submitted as regular papers may be accepted as short papers.

---

Paper submissions

Submissions must be uploaded to the following EasyChair website: TBA https://easychair.org/conferences/?conf=favpqc2023

• Paper submission due: September 29 October 20, 2023
• Notification: October 13 November 3 November 10, 2023
• Camera-ready: October 27 November 17, 2023