December 3, Michael Heeney (Middlesex University, London): Online Constructionism Using Digital Twins

November 19, Mahrokh Mirani (GSSI): Towards Efficient Norm-Aware Robots’ Decision Making Using Datalog

October 24, Marc Serra-Garcia (AMOLF): Materials that learn

Sep 25, Darko Bozhinoski (IRIDIA, Université Libre de Bruxelles): Software Engineering for Robotic Systems: From Individual Robots to Autonomous Swarms

Sep 16, Adiel Tuyishime (GSSI): Enhancing Model Management with Automated REST API Generation

Sep 9, Yelyzaveta Kurkchi (GSSI): Towards Cyber-Physical-Ethical Systems

Sep 6, Balachander Krishnamurthy (AT&T Labs--Research): Generative AI and the rise of tailored LLMs

Jul 26, Rickson Simioni Pereira (GSSI): On the Need for Configurable Travel Recommender Systems: A Systematic Mapping Study

Jul 18, Laura Nenzi (University of Trieste): Learning Temporal Logic Formulas from Time-series Data

Jun 25, Marc Serra-Garcia (AMOLF): Cognitive dynamical systems: Talking structures, smart nano-robots and the limits of green computers

Jun 25, Carlo Ghezzi (Politecnico di Milano): Rethinking software engineering research and education in the light of digital humanism

Jun 10, Adrian Francalanza (University of Malta): Runtime Instrumentation for Reactive Components

May 30, Tiziano Santilli (GSSI): Continuous Compliance in the Automotive Industry

May 28, Mirgita Frasheri (Aarhus University): Digital Twins for Mobile Robots

May 17, Leonardo Mostarda (Camerino University): Scalable solutions for IoT smart contract execution

Apr 11, Guglielmo De Angelis (CNR--IASI): Flakiness goes live: Insights from an In Vivo testing simulation study

Apr 5, Aldeida Aleti (Monash University): Testing AI based systems

Apr 4, Alexandra Bota, Enrico Iavazzo and Maurizio Spiriticchio (Fameccanica): Industrial automation and digital transformation. The case of Angelini Technologies - Fameccanica 

Feb 28, Bas Luttik (TU Eindhoven, The Netherlands): Verifying shared-memory mutual exclusion algorithms with non-atomic reads and writes

Feb 23, Carlos Gustavo Lopez Pombo (CITECCA and UBA): Verification of software artifacts in the nuclear domain (an experience report)

Feb 20, Daniel Yankelevic (Fundar, Argentina): Data, models and public policies

Feb 16, Nikos Tzevelekos (Queen Mary University, London): Nominal games, automata and program verification

Jan 13. Nicola Prezza (Univesity of Venice): Sketching and Streaming for Data Compression

Jan 30. Travis Gagie (Dalhousie University, Canada): r-bar indexing

Jan 22. Marie Farrell (University of Manchester): Requirements Specification for Autonomous Robotic Systems: Time to Start FRETting

Jan 16. Imran Khan and Olaf Maurer (Zalando): Joint Order Selection, Allocation, Batching and Picking for Large Scale Warehouses

Jan 10. Yllka Velaj (University of Vienna): Embedding and Clustering of Atributed Multiplex Networks

Jan 9. Alberto Pelliccione (AI Capital): How AI is Reshaping Cybersecurity