[TYPES/announce] Call for papers: FCS'22 workshop @ CSF/FLoC'22

Joe Near jnear at uvm.edu
Tue May 3 14:56:08 EDT 2022

The Workshop on Foundations of Computer Security (FCS), is co-located
with CSF and FLoC in Haifa, Israel on August 11, 2022. FCS 2022 welcomes
papers on all topics related to the formal underpinnings of security and
privacy, and their applications.

We are seeking submissions for full length talks and short talks. FCS
does not have formal proceedings, and you are welcome to advertise your
work that appeared in other venues, or submit your work-in-progress.
Submissions may conform to any 2-column format accepted by IEEE, ACM, or
USENIX conferences. FCS uses a light form of double-blind reviewing
similar to CSF’s.

Long paper submissions (12 pages excluding bib and appendices) are due
Friday, June 10 (AoE)

Short paper submissions (2 pages excluding bib and appendices) are due
Thursday, June 16 (AoE)

Our virtual workshop had great attendance last year, and led to great
discussions and conversations with the friendly and awesome CSF

For more information, please visit our website:

More information about the Types-announce mailing list