SEFM Conference

📄📢 Best Paper Award at @sefm_conf, with a contribution on a new logic for quantitative security properties on attack trees! Grateful to my co-authors at @UTwente: M.Lopuhaä-Zwakenberg, E.M. Hahn and @m_stoelinga. See the paper here: arxiv.org/pdf/2309.09231

SEFM 2023 is underway!

SEFM 2023 kicks off in 10 days with the workshops DataMod (@Data2ModelsBack), OpenCERT and CIFMA. All details on the venue are now on our website: sefm-conference.github.io/2023/workshops/

Anyone who also visits iFM 2023 in Leiden (@iFMconf) can get a further €20 discount for both registrations.

The early-bird discount for SEFM 2023 has been extended until 17 October. Link to the registration system can be found on sefm-conference.github.io/2023/registrat….

Registration for SEFM 2023 is open! Early bird discount is available until October 10. See sefm-conference.github.io/2023/registrat….

The submission deadline for SEFM'23 has been extended: two more weeks to finish your paper. Abstracts are due 16 June, papers on 23 June. All info on sefm-conference.github.io/2023/callforpa…

New at SEFM this year is an Artifact Evaluation. Will your paper earn a badge? All details are available on sefm-conference.github.io/2023/artifacts/

The first call for papers is out! Abstracts are due 2 June, papers 9 June (both AoE). See sefm-conference.github.io/2023/callforpa… for all the details.

We are excited to announce that SEFM 2023 will take place in Eindhoven, The Netherlands on 6-10 November. The first details are available on sefm-conference.github.io/2023/.

The @sefm_conf main conference proceedings are published in the Formal Methods subline of @SpringerCompSci's Lecture Notes in Computer Science, and can be accessed at link.springer.com/book/10.1007/9… for several weeks starting on Thursday 2 December 2021.

The SEFM'21 amazing keynote speakers are: -Ana Cavalcanti, University of York, UK -Marsha Chechik, University of Toronto, Canada -Sebastian Uchitel𝗹, University of Buenos Aires, Argentina; and Imperial College London, UK Details are available at sefm-conference.github.io/keynotes/

The SEFM main conference proceedings will be published in the Formal Methods subline of Springer's Lecture Notes in Computer Science. springer.com/gp/computer-sc…

The main conference registration is now open at sefm-conference.github.io/registration/ We look forward to seeing you at SEFM 2021.

The papers accepted for presentation at SEFM 2021 are now listed under sefm-conference.github.io/acceptedpapers/ We decided to accept 22 full papers and 4 tool papers out of the 86 submissions (25.58% full paper acceptance rate).

“I love deadlines. I love the whooshing noise they make as they go by.” (Douglas Adams) Please, avoid the 'whooshing noise' by submitting your work eagerly and timely to SEFM'21! Abstract: 26 July 2021 Paper: 30 July 2021 #FormalMethods :)

[Deadline Extension] Call for Papers for #SEFM 2021 Important Dates: Abstract submission: July 26, 2021 (AOE) Paper submission: July 30, 2021 (AOE) Conference date: Dec 6-10, 2021 (Location: online due to COVID19) Website: sefm-conference.github.io #sefm21 #sefm

The SEFM'21 keynote speakers are - 𝗔𝗻𝗮 𝗖𝗮𝘃𝗮𝗹𝗰𝗮𝗻𝘁𝗶, University of York, UK - 𝗠𝗮𝗿𝘀𝗵𝗮 𝗖𝗵𝗲𝗰𝗵𝗶𝗸, University of Toronto, Canada - 𝗦𝗲𝗯𝗮𝘀𝘁𝗶𝗮𝗻 𝗨𝗰𝗵𝗶𝘁𝗲𝗹, University of Buenos Aires, Argentina; and Imperial College London, UK Stay tuned!