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.

También puede interesarte…

Volver a Agenda

15 octubre 2025

UNECE Expert Meeting on SDC 2025

Auditorio del Campus Poblenou de la UPF, Barcelona
  • Congreso

15 septiembre 2025

MDAI2025-Modelling Decisions for Artificial Intelligence

Auditorio del Jardí Botànic, Valencia
  • Congreso

3 junio 2025

Curso «FortiGate Administrator»

Aules URV - DEIM, Campus Sescelades, Tarragona
  • Curso