GALICIA Midterm Workshop
An Innovative Approach to Software Production and Verification March 04th, 2025 – University of Eastern Piedmont – Novara, Italy Last tuesday, the Midterm Workshop of the GALICIA Project took place, organized in collaboration with AI@UPO at the University of Eastern Piedmont in Novara. The workshop highlighted the project’s innovative methodologies, including the integration of formal methods […]