Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops

ReacTS 2024
ReacTS 2024 Organizers's Message.- Behavioural Equivalences over Reconfigurable Systems.- Graph Games and Dynamic Logics.- Arbitrary Radical Upgrades.- Binders for switch graphs specification.- Higher-order arrows for Path-Dependent Many-Valued Systems.- Towards resolving distributed beliefs.- A new fuzzy approach to transition and bisimulation systems.- Pivotal Rules Consequence in Action Model Logic.- Paraconsistent Reactive Graphs.- Reconfiguring staggered quantum walks with ZX?.- Many-logic modal structures based on the lattice L6: a first look.-

CIFMA 2024
CIFMA 2024 Organizers's Message.- On group secrets and the metacommunicative aspects of revealing a true secret.- Explicit Legg-Hutter intelligence calculations which suggest non-Archimedean intelligence.- Cognitive Aspects in the Formal Modelling of Multi-party Human-computer Interaction.- On the Morphic Problem in Artificial Neural Networks.- Time Factor in Neural Learning Processes.- How Does Culture Shape the Perception of Social Robots?.- Executive Cognitive Control of Free Choices.- Towards a Readability Criterion for Humans and Machines.- From birth to loss of representations in artificial neural networks.