Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops
Description
This volume constitutes the papers of two workshops which were held in conjunction with the 23rd International Workshop on Software Engineering and Formal Methods, SEFM 2025 Collocated Workshops, held in Toledo, Spain, on November 11, 2025.
The 12 full papers and 5 short papers presented in this book were carefully reviewed and selected from 26 submissions. SEFM 2025 Collocated Workshops presents the following two workshops:
- ReacTS 2025: International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications.
- CIFMA 2025: 7th International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications.
More details
Content
.- Comparing finite many-valued logics via WSkS.
.- goLoop: SMT-Based Loop Analysis via Global Optimization.
.- Probabilistic Relation-Changing Operators.
.- Reconfigurable stochastic multi-formalism models: an approach based on Maude.
.- A HASKELL encoding for reconfigurable timed systems.
.- Reasoning about blurred observations of program states: A recipe.
.- Four-valued logics of indicative conditionals.
.- Dynamic Fuzzy Language for Labeled Fuzzy Reactive Graphs.
.- Janus Cognition: Bio Xeno Round-Trip.
.- Does Dual Tasking Expend Limited-Resource Executive Processes?.
.- Cognitively Inspired Sampled String Matching.
.- A Modal Semantics of Perception.
.- Representation and invariance in reinforcement learning.
.- Fake News through Influence Models: a proposal.
.- Quantum Collapse as a Model of Creative Insight: A Formal Framework for Emergent Cognition.
.- The Evolution of Metaphorical Language: A Formal Model of Figurative Communication.
.- Semi-Participants: LLMs, Activity Theory, and the Symbol Grounding Problem.