- 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
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
20 febrero 2025
«Classifying numerical semigroups using polyhedral geometry» by Christopher O’Neill
Room C3-005 Campus Nord UPC- Workshop
20 febrero 2025
«Image Authenticity: Slightly Homomorphic Digital Signatures and Privacy Preserving Folding Schemes» by Simon Erfuth
Universitat Rovira i Virgili. Departament d'Enginyeria Informàtica i Matemàtiques. Lab. 231- Seminarios
26 febrero 2025
Charla: «Blockchain: Més enllà de les criptomonedes»
Col·legi Lestonnac L'Ensenyança, Lleida- Charlas en escuelas e institutos