FOSAD: Foundations of Security Analysis and Design

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2027 or later

 
 

All CFPs on WikiCFP

Event When Where Deadline
FOSAD 2026 25th Summerschool on Foundations of Security Analysis and Design
Aug 24, 2026 - Aug 28, 2026 Bertinoro, Italy Jul 24, 2026
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 : 2026

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.

COURSES)

FOSAD 2026 celebrates its 25th edition with a program enriched by renowned experts, who will address topics such as AI security, post-quantum cryptography, analysis of security protocols, identity protection, e-voting systems, and hardware security.

The current list of lecturers includes:
- Jamie Hayes (Google DeepMind)
- Ralf Kuesters (Stuttgart Univ.)
- MarĂ­a Naya-Plasencia (INRIA Paris)
- Kai Rannenberg (Goethe Univ.)
- Peter Y. A. Ryan (Univ. of Luxembourg)
- Michael Schwarz (CISPA Helmholtz Center for Information Security)

PhD FORUM - A special session of the Summerschool is dedicated to talks given by participants who intend to present their current research/tool in the area to the audience.

APPLICATION)

Applications are accepted until places are filled and no later than July 24, 2026.
The fee is 800 Euros and covers registration and accommodation starting from 23 August 2026 in a double room, half board. A few scholarships are available to cover up to half the fee.

Application form:
https://sites.google.com/uniurb.it/fosad/home/fosad-2026/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 supported by:
SERICS - Security and Rights in the Cyberspace
IFIP WG 11.14 on Secure Software and Systems Engineering
EU Project SYNAPSE
EU project DUCA
EU project Cybersecpro
 

Related Resources

IEEE-ICECCS 2026   2025 IEEE International Conference on Electronics, Communications and Computer Science (ICECCS 2026)
iSRED 2026   International Symposium on Social Robots and Ethical Design
GreeNet Symposium - SGNC 2026   17th Symposium on Green Networking and Computing (SGNC 2026)
Transition Design Conference 2026   Transition Design Conference 2026: Weaving Regenerative Futures
Ei/Scopus-CMLDS 2026   2026 3rd International Conference on Computing, Machine Learning and Data Science (CMLDS 2026)
SESBC 2026   7th International Conference on Software Engineering, Security and Blockchain
CVIPPR 2026   2026 4th Asia Conference on Computer Vision, Image Processing and Pattern Recognition (CVIPPR 2026)
BDBS 2026   7th International Conference on Big Data, Blockchain and Security
CTADS 2026   2026 2nd International Conference on Communication Technology and Data Security-EI/Scopus
CNCIT 2026   2026 5th International Conference on Networks, Communications and Information Technology