![]() |
| |||||||||||
FOSAD 2025 : 24th Summerschool on Foundations of Security Analysis and Design | |||||||||||
Link: https://sites.google.com/uniurb.it/fosad/home/fosad-2025 | |||||||||||
| |||||||||||
Call For Papers | |||||||||||
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/ |
|