Animation and exchanges in the Petri Nets community

[address@concealed]

[Apologies if you receive multiple copies of this Call For Participation]

**********************************
CALL FOR PARTICIPATION
**********************************

SEFM 2025: The 23rd International Conference on Software Engineering and Formal Methods
will be held between 10-14 November 2025 in Toledo, Spain.

https://sefm-conference.github.io/2025/

************************

Toledo is a historic city located in central Spain, known for its rich cultural heritage and stunning architecture. Often referred to as the "City of Three Cultures", Toledo has a unique blend of Christian, Muslim, and Jewish influences.

Registration is already open (early registration deadline September 30):

https://sefm-conference.github.io/2025/registration/

****************
KEYNOTES
****************

Elvira Albert, Complutense University of Madrid, Spain: Securely Optimized (Ethereum) Smart Contracts using Formal Methods.
Robert M. Hierons, University of Sheffield, United Kingdom: Systematic testing for robotic systems.
Ricardo Pérez del Castillo, University of Castilla-La Mancha, Spain: Quantum Software in Action: Challenges and Opportunities in Software Engineering

****************
PROGRAM
****************

An exciting scientific program with 15 papers: https://sefm-conference.github.io/2025/acceptedpapers/

******************
WORKSHOPS
******************

DataMod 2025, 10 & 11 November: 13th International Symposium - From Data to Models and Back organised by RLivia Lestingi (Politecnico di Milano, Italy) and Gwen Salaün (Université Grenoble Alpes, France).
CIFMA 2025, 11 November: 7th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications organised by Francesco Bianchini (University of Bologna, Italy) and Arianna Pavone (University of Palermo, Italy).
ReacTS 2025, 11 November: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications organised by José Proença (University of Porto, Portugal) and Umberto Rivieccio (Universidad Nacional de Educación a Distancia, Spain).

********************
REGISTRATION
********************

https://sefm-conference.github.io/2025/registration/

******************
ORGANIZERS
******************

General Chair:
Manuel Núñez, Complutense University of Madrid, Spain

Programme Committee Chairs:
Domenico Bianculli, University of Luxembourg, Luxembourg
Elena Gómez-Martínez, Complutense University of Madrid, Spain

Workshops Chair:
Ignacio Requeno, Complutense University of Madrid

Publicity Chair:
Miguel Benito-Parejo, Complutense University of Madrid, Spain