[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Workshop on Foundations of Computer Security (FCS), is co-located with CSF
in Santa Cruz, CA, USA on June 16, 2025. FCS is a friendly, in-person
1-day workshop that brings together researchers interested in laying the
foundations of secure systems.
FCS welcomes papers on all topics related to the formal underpinnings of
security and privacy, and their applications. The workshop has no formal
proceedings: you are welcome to advertise work that appeared in other venues or
submit your work-in-progress. We are seeking submissions for full-length talks
and short talks. 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.
Paper submission: April 6, 2025 (AoE).
Author notification: May 1, 2025
Submission website:
https://urldefense.com/v3/__https://easychair.org/my/conference?conf=fcs25__;!!IBzWLUs!QBrX9Bfo9omQOGfUV_mp0WmP2iRUHFyjILGAN0zpdQmMYNif0-Sh5Pzccq__m80bPtwlJipgucdUi84eC0rBU61zTdNlKnIY$
For more information, please visit our website:
https://urldefense.com/v3/__https://fcs-workshop.github.io/fcs2025/__;!!IBzWLUs!QBrX9Bfo9omQOGfUV_mp0WmP2iRUHFyjILGAN0zpdQmMYNif0-Sh5Pzccq__m80bPtwlJipgucdUi84eC0rBU61zTc3NMq_d$
