[TYPES/announce] (Deadline Extended: Sep 22) Call for Papers for FAVPQC 2022 - International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols 2022

[TRAN Dinh Duong]

Call for Papers for International Workshop on Formal Analysis and
Verification of Post-Quantum Cryptographic Protocols 2022

https://urldefense.com/v3/__https://favpqc2022.gitlab.io/__;!!IBzWLUs!UJA_K5vD_BJN3ESCz7bFaTIIqC0QJHjOtU2oDF9PfWOeWtPVCH7leM_frSCmSO7YPOyyIQR60MqgjBom7R4NGIiZZlDIw1Tba-o$  


SUBMISSION DEADLINE: September 22, 2022 (EXTENDED)


SPECIAL ISSUE SUBMISSION INVITATION


We plan a special issue of FAVPQC at PeerJ Computer Science (Q1 for
2017-2019, Q2 for 2020) as follows:

On behalf of the Organising Committee, we are pleased to offer you the
opportunity to submit your full research papers to the collection
"Practical and Theoretical Aspects of Logic, Cyber Security and
Cryptography", which will be published in the journal PeerJ Computer
Science. See the homepage here:
https://urldefense.com/v3/__https://peerj.com/special-issues/117-logic-cs-crypt__;!!IBzWLUs!UJA_K5vD_BJN3ESCz7bFaTIIqC0QJHjOtU2oDF9PfWOeWtPVCH7leM_frSCmSO7YPOyyIQR60MqgjBom7R4NGIiZZlDIRDHc4bc$  .


Once published, this collection will become a highly-visible showcase of
the most recent research focused on Logic, Cyber Security and Cryptography.

Authors wishing to be included should read the PeerJ Computer Science
author instructions and then submit via https://urldefense.com/v3/__https://peerj.com/new/__;!!IBzWLUs!UJA_K5vD_BJN3ESCz7bFaTIIqC0QJHjOtU2oDF9PfWOeWtPVCH7leM_frSCmSO7YPOyyIQR60MqgjBom7R4NGIiZZlDISu46nJ8$  . Please
include "Submitted to the Logic, CyberSecurity and Cryptography Collection
- PJCS-COLL-LCSC"  in the Confidential Note to Staff field of the
submission form.


The deadline for submissions is 20th January 2023.

If accepted for publication, authors will be required to pay either an
Article Processing Charge or a PeerJ Lifetime Membership, please see
https://urldefense.com/v3/__https://peerj.com/pricing/__;!!IBzWLUs!UJA_K5vD_BJN3ESCz7bFaTIIqC0QJHjOtU2oDF9PfWOeWtPVCH7leM_frSCmSO7YPOyyIQR60MqgjBom7R4NGIiZZlDIvydWpLc$   for details.


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. 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:

https://urldefense.com/v3/__https://easychair.org/conferences/?conf=favpqc2022__;!!IBzWLUs!UJA_K5vD_BJN3ESCz7bFaTIIqC0QJHjOtU2oDF9PfWOeWtPVCH7leM_frSCmSO7YPOyyIQR60MqgjBom7R4NGIiZZlDIcoqM254$  


IMPORTANT DATES


- Paper submission due: September 22, 2022 (Extended)

- Notification: September 30, 2022

- Camera-ready: October 14, 2022


PROGRAM COMMITTEE CO-CHAIRS


- Sedat Akleylek, Ondokuz Mayis University, Turkey (co-chair)

- Santiago Escobar, Polytechnic University of Valencia, Spain (co-chair)

- Kazuhiro Ogata, Japan Advanced Institute of Science and Technology,

Japan (co-chair)

- Ayoub Otmani, University of Rouen Normandie, France (co-chair)


PUBLICITY CHAIR


- Duong Dinh Tran, Japan Advanced Institute of Science and Technology,
Japan (duongtd at jaist.ac.jp)


Best regards
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220914/b12d026b/attachment-0001.htm>