GALICIA First Workshop

An Innovative Approach to Software Production and Verification

March 04, 2025 – Università del Piemonte Orientale
Via Ettore Perrone, 18 – Novara, Italy

GALICIA is pleased to announce its first workshop.

This workshop aims to provide an engaging platform for discussing cutting-edge developments in software production and verification processes. The workshop will explore innovative methodologies such as the integration of formal methods and large language models (LLMs), emphasizing their potential in enhancing verification and validation (V&V) workflows.

The event features a diverse set of presentations, including a keynote by a CNR representative, focusing on the theoretical framework and some practical applications of these methods. Participants will also gain insights into the GALICIA platform, demonstrated through benchmarks by Lorenzo Vandoni and Alberto Stefanini, and a detailed case study presented remotely by a speaker from Mind-in-a-Box.

A pivotal moment of the workshop will be the Round Table discussion, which follows a consultation involving users from innovative SMEs and start-ups, research centers, large companies, industry associations, and innovation hubs from Europe and Canada. The discussion will focus on both the technical aspects of the GALICIA platform and its dissemination and exploitation prospects. Participants will share their experiences and perspectives, providing valuable insights to shape the innovation potential of the project. This interactive exchange aims to align project results with real-world needs, while fostering meaningful collaborations. The workshop will conclude with a sum-up to consolidate key takeaways.

Registration:

The workshop will be available both in person, with a maximum of 20 participants, and online.

An Innovative Approach to Software Production and Verification

Registration:

Provisional Agenda:

How to reach the Department premises:

The workshop is promoted by:

In collaboration with: