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