Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops

ReacTS 2025 and CIFMA 2025, Toledo, Spain, November 11, 2025, Revised Selected Papers

AvFrancesco Bianchini,Arianna Pavone

Häftad, Engelska, 2026

Del i serien Lecture Notes in Computer Science

1 608 kr

Kommande

Beskrivning

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.

Produktinformation

Utgivningsdatum:2026-08-17
Mått:155 x 235 x undefined mm
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:262
Förlag:Springer Nature Switzerland AG
ISBN:9783032297129

Utforska kategorier

Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

Innehållsförteckning

.- 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.