Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Papers: Foundations of Computer Security


view this post on Zulip Email Gateway (Mar 27 2026 at 16:27):

From: Jana Hofmann <jana.hofmann@mpi-sp.org>

Dear colleagues,

Please find below the call for papers for the Workshop on Foundations of Computer Security, co-located with CSF (and FLoC this year!).

We consider short papers and full papers. There are no proceedings, so send us your crazy ideas! Deadline: April 7

Best wishes,
Anitha and Jana


Jana Hofmann
Tenure-Track Faculty
MPI-SP, Bochum, Germany


The Workshop on Foundations of Computer Security (FCS), is co-located with FLoC and CSF in Lisbon, Portugal on July 25, 2026. 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: March 31, 2026 (AoE), extended to April 7 (AoE)
Author notification: May 1, 2026
Submission website: https://submissions.floc26.org/fcs/


Last updated: Apr 12 2026 at 02:50 UTC