Events

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).