Verification and Learning for Assured Autonomy – AISoLA’24 track
October 31 – November 2, 2024
AISoLA’24 track to foster the exchange of ideas on the topic of assured autonomy, between researchers from the communities of formal methods, control, and AI. Crete, Greece.
Probability in Computer Science (PICS) 2024
October 14–18, 2024
5th Ph.D. school in the series of Foundations of Programming and Software Systems. Copenhagen.
SQUARE Visualization Workshop
May 12–16, 2024
Internal workshop on data visualization.
Pre-Vamos Workshop
January 23, 2023
Workshop with invited speakers prior to the 17th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS’ 2023).