GALICIA Midterm Workshop

An Innovative Approach to Software Production and Verification

March 04^th, 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 and Large Language Models (LLMs), with a focus on enhancing verification and validation (V&V) workflows.
Among the presentations, a keynote by Franco Alberto Cardillo from CNR on the theoretical and practical applications of these techniques, as well as demonstrations of the GALICIA platform by Lorenzo Vandoni from HAL Service and Alberto Stefanini. Jérémie Farret from Mind-in-a-Box explored GALICIA’s hybrid LLM infrastructure and its commercial applications.

A unique opportunity for professionals and researchers to discuss the future of AI-driven software verification and production!
A special thank you to Prof. Luigi Portinale and Prof. Bianca Gardella Tedeschi from AI@UPO for hosting us and their valuable collaboration.

An Innovative Approach to Software Production and Verification

The workshop is promoted by:

In collaboration with: