- Agenda
- Summer school: Formal methods for Information Security
Summer school: Formal methods for Information Security
- junio 18, 2025 - junio 20, 2025
- "Centre Tarraconense El Seminari”, Tarragona
- Workshop
Summer school: Formal methods for Information Security
This event will offer participants insights into the latest advancements in Formal Methods and their application to secure systems. It is designed for Ph.D. students, graduate students, and researchers in Cybersecurity and related fields. Over three days, participants will learn from renowned speakers who are pioneers in Formal Methods for Information Security.
También puede interesarte…
Volver a Agenda
18 diciembre 2025
«De Turing a China. Un viaje por la Inteligencia Artificial» – Anabel Forte
Ol'Dirty Burgers (La Cantonada)- Conferencias
19 noviembre 2025
«Ciberseguretat i transformació digital: reptes i oportunitats en un món canviat»
Auditorio de la Oficina del Parlamento Europeo de Barcelona- Conferencias