Av. Països Catalans 26 E-43007 Tarragona, Spain

Summer school: Formal methods for Information Security

junio 18, 2025 - junio 20, 2025
"Centre Tarraconense El Seminari”, Tarragona

Workshop

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.