FOSAD: Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2026 or later

 
 

All CFPs on WikiCFP

Event When Where Deadline
FOSAD 2025 24th Summerschool on Foundations of Security Analysis and Design
Aug 25, 2025 - Aug 30, 2025 Bertinoro, Italy Jul 21, 2025
FOSAD 2024 23rd Summerschool on Foundations of Security Analysis and Design
Aug 26, 2024 - Aug 30, 2024 Bertinoro, Italy Jul 26, 2024
FOSAD 2023 22nd Summerschool on Foundations of Security Analysis and Design
Aug 28, 2023 - Sep 1, 2023 Bertinoro, Italy Jul 27, 2023
FOSAD 2022 21st Summerschool - Foundations of Security Analysis and Design
Aug 29, 2022 - Sep 2, 2022 Bertinoro, Italy Jul 24, 2022
FOSAD 2021 20th FOSAD: International School on Foundations of Security Analysis and Design
Aug 30, 2021 - Sep 3, 2021 Bertinoro, Italy Jul 24, 2021
FOSAD 2019 19th FOSAD Summerschool on Foundations of Security Analysis and Design
Aug 26, 2019 - Aug 30, 2019 Bertinoro, Italy Jul 5, 2019
FOSAD 2017 17th Summer School on Foundations of Security Analysis and Design
Aug 28, 2017 - Sep 2, 2017 Bertinoro, Italy Jun 23, 2017
FOSAD 2016 summer school FOSAD: Foundations of Security Analysis and Design
Aug 29, 2016 - Sep 3, 2016 Bertinoro, Italy Jun 20, 2016
FOSAD 2015 15th International School on Foundations of Security Analysis and Design
Aug 31, 2015 - Sep 5, 2015 Bertinoro, Italy Jun 20, 2015
 
 

Present CFP : 2025

Since 2000, FOSAD has been held at the Rock of Bertinoro and
hosted by the University Residential Center (CEUB):
https://www.ceub.it/
which provides a unique architectural and environmental
setting, joining the stunning views of the hilltop of
Bertinoro, with the historical location of the ancient
Fortress and the facilities of the Center, including
accommodation, meeting rooms, and modern conference
and computing services.

LECTURERS)

Current list, to be completed:
- Lorenzo Cavallaro (University College London)
- Cas Cremers (CISPA Helmholtz Center for Information Security)
- Ernesto Damiani (Università di Milano)
- Joaquin Garcia-Alfaro (Institut Polytechnique de Paris & Institut Mines-Telecom)
- Frank Piessens (KU Leuven)

A special session is organized for participants who intend
to take advantage of the audience for presenting their
current research/tool in the area.

SCHOOL DATES)

Applications are accepted until places are filled and no later than:
July 21, 2025.

SCHOOL FEES)

FOSAD 2025 is sponsored by SERICS.
The registration is FREE and covers admission to all the lectures,
coffee breaks, lunches, and social events.
Accommodation in B&B in a double room in the same venue hosting
FOSAD is offered at the special fee of 250 euros, and starts from
24 August to 30 August.

Application form:
https://sites.google.com/uniurb.it/fosad/home/fosad-2025/application

SCIENTIFIC COMMITTEE)

Martin Abadi
Alessandro Aldini
Gilles Barthe
Herve Debar
Javier Lopez
Fabio Martinelli (Chair)
Catherine Meadows
Bart Preneel
Peter Y.A. Ryan

PARTNERSHIP)

FOSAD is organized in cooperation with SERICS Security and Rights in the Cyberspace https://serics.eu/
and under the auspices of

- IFIP WG 11.14 Secure Engineering (NESSoS) http://www.nessos-project.eu
- SPARTA Cybersecurity Competence Network http://www.sparta.eu
- EU DUCA https://www.irit.fr/duca/
- EU CyberSecPro https://www.cybersecpro-project.eu/
- EU-CHECK https://cybersec4europe.eu/eu-check/
 

Related Resources

Ei/Scopus-CCNML 2025   2025 5th International Conference on Communications, Networking and Machine Learning (CCNML 2025)
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
GreeNet Symposium - SGNC 2025   16th Symposium on Green Networking and Computing (SGNC 2025)
Security 2025   Special Issue on Recent Advances in Security, Privacy, and Trust
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering
IEEE CNCIT 2025   2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025)
Ei/Scopus-SGGEA 2025   2025 2nd Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2025)
TdD 2026   Temes de Disseny 2026 Special Issue: Design Practices Transitioning Towards Embracing Systemic Worldviews
HICSS 2026   Hawaii International Conference on System Sciences Mini Track: AI-Driven Program Analysis and Software Synthesis: Transforming Modern Software Engineering