SEFM Workshops

Keyphrases

Publications

volume 14568, 2024

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers SEFM Workshops 14568 (2024)

2023

Matthew Watts
Semantic Memory, Mnemonic Effort and Mnemonic Habit. SEFM Workshops (2023)
Graham Pluck, Kris Ariyabuddhiphongs
Clinical Cognitive Sciences. SEFM Workshops (2023)
Rasmus Gahrn-Andersen
Code Biology and Enactivism: Bringing Adaptors to Basic Minds. SEFM Workshops (2023)
Donatella Persico, Francesca Pozzi
Facets of Openness in a Serious Game: Opening up Format, Content, Software and Hardware. SEFM Workshops (2023)
Muhammad Suffian Nizami, Ulrike Kuhl, Jose Maria Alonso-Moral, Alessandro Bogliolo
CL-XAI: Toward Enriched Cognitive Learning with Explainable Artificial Intelligence. SEFM Workshops (2023)
Silvia Larghi, Edoardo Datteri
Mentalistic Stances Towards AI Systems: Beyond the Intentional Stance. SEFM Workshops (2023)
Samuel A. Alexander
Private Memory Confers No Advantage. SEFM Workshops (2023)
Antonio Cerone, Olzhas Zhalgendinov
Using Maude to Model Motivation in Human Behaviour. SEFM Workshops (2023)
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
Frequentist Probability Logic. SEFM Workshops (2023)
Giovanni Galli
Scientific Understanding and the Explanatory Integration in Cognitive Sciences. SEFM Workshops (2023)

volume 13765, 2023

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops - AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers SEFM Workshops 13765 (2023)

2022

volume 13230, 2022

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops - CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers SEFM Workshops 13230 (2022)

2021