Jul 4. Roberto Bruni (University of Pisa): Local Completeness for Program Correctness and Incorrectness
Jul 1. Luciano Heitor Gallegos Marin (University of Paraná): Knowledge representation for information ethics inspired by biased data
Jun 20. Edith Elkind (Northwestern University): Towards fair and efficient public transportation: the bus stop model
Jun 20. Lionel C. Briand (University of Ottawa & University of Limerick): Automated Testing and Safety Analysis of Deep Neural Networks
Jun 19. Maria Fomenko (GSSI): Non-obvious Manipulability in Hedonic Games with Friends Appreciation Preferences
Jun 11. Arianna Fedeli (GSSI): From IoT to Digital Twins: A model-driven roadmap
Jun 5. Daniele Masti (GSSI): Let's Take Back Control: A Journey through a Novel Generation of Control Techniques for Performance Engineering
May 26. Christos Tsigkanos (University of Athens): Leitmotifs on Space Software Engineering: From Specification to Architecture to Verification
May 6. Minh Trieu Tran (GSSI): Unlocking Spatial Insights from Tabular Data in Agriculture
Apr 22. Sachin Sharma (GSSI): AI-Powered Road Safety: From Smart Detection to Animal Welfare
Apr 16. Ivan Comopagnucci (GSSI): Experimenting Architectural Patterns in Federated Learning Systems
Apr 11. Sara Pettinari (GSSI): Revealing Insights in Robotic System Missions
Apr 10. Marco Carbone (IT University of Copenhagen): On the Mechanisation of Multiparty Asynchronous Session Types
Apr 7. Roberto Casadei (Università di Bologna): On software engineering for artificial collective intelligence
Mar 18. Andres Diaz-Pace (UNICEN University): Software Architecture Design meets LLM Technology: Applications, Challenges and Opportunities
Feb 5. Xinyi Tu (Aalto University): Industrial Metaverse: Revolutionizing Industry 5.0 with digital twins and extended reality