Animation and exchanges in the Petri Nets community

[address@concealed]

[Apologies if you receive multiple copies of this CFP]

SEFM 2025 Workshops
Toledo, Spain, 10–11 November 2025

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

************************
CALL FOR WORKSHOP PAPERS
************************

The 23rd International Conference on Software Engineering and Formal Methods (SEFM 2025) will host the following workshops:

- DataMod 2025 – 13th International Symposium "From Data to Models and Back"
- CIFMA 2025 – International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications
- ReACTS 2025 – Workshop on Formal Methods for Reconfigurable Systems

The SEFM 2025 workshops aim to provide a forum for researchers and practitioners from academia, industry, and research institutions to present and discuss their latest work in specialized areas complementing the main conference.
Workshops have different deadlines and can be found in the respective websites. The workshop papers will be published, later on, by Springer.



**** DATAMOD 2025 ****
Website: https://datamod-symposium.github.io/DataMod-2025/

DataMod 2025 aims at bringing together practitioners and researchers from academia, industry and research institutions interested in the combined computational modelling methods with data-driven techniques from the areas of knowledge management, data mining and machine learning. Modelling methodologies of interest include automata, agents, Petri nets, process algebras and rewriting systems. Application domains include social systems, ecology, biology, medicine, smart cities, governance, security, education, software engineering, and any other field that deals with complex systems and large amounts of data.

Papers can present research results in any of the themes of interest for the symposium, as well as application experiences, tools and promising preliminary ideas. Papers dealing with synergistic approaches that integrate modelling and knowledge management/discovery, or that exploit knowledge management/discovery to develop/synthesise system models are especially welcome.

Authors are invited to submit original research or tool papers on any relevant topic. These can either be normal or short papers. Short papers can discuss new ideas which are at an early stage of development and which have not yet been thoroughly evaluated.

** TOPICS OF INTEREST **
Modelling and analysis methodologies include:
- Agent-based Methodologies
- Automata-based Notations
- Big Data Analytics
- Cellular Automata
- Classification
- Clustering, Segmentation and Profiling
- Conformance Analysis
- Constraint Programming
- Data Mining
- Differential Equations
- Game Theory
- Machine Learning
- Membrane Systems
- Network Theory and Analysis
- Ontologies
- Optimisation Modelling
- Petri Nets
- Process Calculi
- Process Mining
- Rewriting Systems
- Spatio-temporal Data Analysis/Mining
- Statistical Model Checking
- Text Mining
- Topological Data Analysis

Application domains include:
- Biology
- Brain Data and Simulation
- Business Process Management
- Climate Change
- Cybersecurity
- Ecology
- Education
- Environmental Risk Assessment and Management
- Enterprise Architectures
- Epidemiology
- Genetics and Genomics
- Governance
- HCI and Human Behaviour
- Open Source Software Development and Communities
- Pharmacology
- Resilience Engineering
- Safety and Security Risk Assessment
- Social Good
- Social Software Engineering
- Social Systems
- Sustainable Development
- Threat Modelling and Analysis
- Urban Ecology
- Smart Cities and Smart Lands

Synergistic approaches include:
- Use of modelling methods and notations in a knowledge management/discovery context
- Development and use of common modelling and knowledge management/discovery frameworks to explore and understand complex systems from the application domains of interest


Authors are invited to submit:
- Regular papers (up to 16 pages, excluding references)
- Short papers (up to 8 pages, excluding references)
- Presentation reports (up to 4 pages)

All papers should be written in English and formatted according to the LNCS style. www.springer.com/lncs

Submission: https://easychair.org/conferences/?conf=datamod2025
Proceedings: Springer LNCS post-proceedings (regular and short papers)

** IMPORTANT DATES **
Abstract submission (optional): 22 August 2025
Paper submission: 29 August 2025
Notification: 30 September 2025
Revised version: 7 October 2025
Symposium: 10–11 November 2025

** PROGRAM CO-CHAIRS **
Livia Lestingi, Politecnico di Milano, Italy
Gwen Salaün, Université Grenoble Alpes, France

Contact: address@concealed




**** CIFMA 2025 ****
Website: https://cifma.github.io/

CIFMA 2025 aims to provide a collaborative forum for researchers and practitioners from academia, industry, and research institutions who are interested in the foundations and applications of cognition. The workshop encourages interdisciplinary dialogue and concrete collaborations between fields such as computer science, logic, neuroscience, linguistics, cognitive robotics, philosophy, and more.
The workshop specifically promotes the use of formal methods as a unifying approach to model and analyze cognitive systems and processes, extending well beyond their traditional use in software engineering.

** TOPICS OF INTEREST **
Interdisciplinary Foundations of Cognition:
- Philosophy of cognition
- Human memory and memory processes
- Attention
- Perception, visual cognition and situated cognition
- Cognitive models and architectures
- Languages for cognitive science
- Social cognition
Cognitive Robotics:
- Autonomous knowledge acquisition
- Motor babbling
- Learning by imitation
- Cognitive architectures for robotics
Cognitive Linguistics:
- Cognitive approaches to grammar
- Cognitive and conceptual semantics
- Cognitive phonology
- Dynamical models of language acquisition
- Computational models of metaphor and language acquisition
- Corpus linguistics and conversational data
Cognitive Learning:
- Learning theories
- Cognitive development
- Problem solving
- Metacognition
Cognitive Neuroscience and Medicine:
- Biomedical signal and image processing
- Biomedical sensors and wearable systems
- Brain-computer interfaces and neural prostheses
- Brain mapping
- Neural and rehabilitation engineering
Logics and their application to:
- Human-computer interaction
- Human behaviour
- Human reasoning and problem solving
- Visual reasoning
- Human-robot interaction
- Linguistics
Cognitive computing:
- Artificial neural networks
- Human behaviour
- Cognitive analytics
- Human cognitive augmentation
- Cognitive computing hardware
- AI cognitive systems
Cognition and software engineering:
- Integration of cognitive models and cognitive architectures within the software design and verification process
- Cognitive aspects in cyber-physical systems and their verification
- Socio-technical systems
- Cognitive aspects in safety analysis and verification of safety-critical systems
- Cognitive security
- Cognition hacking
Cognition and formal methods:
- Formal frameworks for trust reasoning
- Formal methods for the modeling and analysis of robotic systems
- Formal methods for the modeling and analysis of human behaviour
- Formal methods for the modeling and analysis of human interaction with computers and robots
- Application of formal methods to cognitive psychology
- Formal frameworks for trust reasoning


Authors are invited to submit:
- Regular papers (12–15 pages references excluded; 12–16 pages for post-proceedings)
- Short papers (6–8 pages; 6–9 pages for post-proceedings)
- Presentations (extended abstracts up to 4 pages, pre-proceedings only)

Submission: https://easychair.org/conferences/?conf=cifma2025
Proceedings: Springer LNCS post-proceedings (regular and short papers)

** IMPORTANT DATES **
Paper submission: 3 September 2025
Notification: 15 October 2025
Pre-proceedings version: 3 November 2025
Post-proceedings Final Version (LNCS): TBA
Workshop: 11 November 2025

** PROGRAM CHAIRS **
Francesco Bianchini, University of Bologna, Italy
Arianna Pavone, University of Palermo, Italy

Contacts: address@concealed, address@concealed




**** REACTS 2025 ****
Website: https://reacts-workshop.github.io/2025/

ReACTS 2025 is dedicated to formal methods for reconfigurable systems, including theoretical foundations, logical frameworks, computational tools, and applications. Topics include reconfigurable transition systems, logical methods, verification and model checking, reactive systems, algebraic semantics, and applications of AI for RTS.

** TOPICS OF INTEREST **
Reconfigurable transitions systems (RTS):
- Models for the analysis of reconfigurable systems
- Applications of formal models for reconfigurable systems
- Computational tools to animate and analyze RTS
- Generalizations of RTS-Fuzzy RTS, Paraconsistent RTS, Weighted RTS, Stochastic RTS, etc.
- Featured Transition Systems
- Reconfigurable Cyber Physical Systems
Logical Methods
- Dynamic Logics, Separation Logics, Dynamic Epistemic Logics for RTS
- Bisimulations and general algebraic constructions
- Model Checking and Tools
- Reactive systems and Process Algebra
- Logics for Cyber Physical Systems
- Topological and Algebraic Semantics
- Applications of AI for RTS


Authors are invited to submit:
- Full papers (12 pages excluding references)
- Short presentations (4 pages)

Submission: https://reacts-workshop.github.io/2025/submission.html

** IMPORTANT DATES **
Paper submission: August 20, 2025
Notification of acceptance: September 22, 2025
Camera-ready: October 20, 2025
Workshop: 11 November 2025

** PROGRAM CHAIRS **
José Proença, University of Porto, Portugal
Umberto Rivieccio, UNED, Spain

Contacts: address@concealed, address@concealed