6 Febbraio 2025 News_it/en 0 Comment

GALICIA Workshop

An Innovative Approach to Software Production and Verification

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

Novareckon è lieta di presentare il primo workshop del progetto GALICIA.

Questo workshop mira a fornire una piattaforma coinvolgente per discutere degli sviluppi all’avanguardia nei processi di produzione e verifica del software. Il workshop esplorerà metodologie innovative come l’integrazione di metodi formali e modelli linguistici di grandi dimensioni (LLM), enfatizzandone il potenziale nel migliorare i flussi di lavoro di verifica e validazione (V&V).

L’evento presenta una serie diversificata di presentazioni, tra cui una relazioneKeynote di un rappresentante del CNR, incentrata sul quadro teorico e alcune applicazioni pratiche di questi metodi. I partecipanti acquisiranno anche informazioni sulla piattaforma GALICIA, dimostrata attraverso benchmark da Lorenzo Vandoni e Alberto Stefanini, e un dettagliato case study presentato da remoto da un relatore di Mind-in-a-Box.

Un momento cruciale del workshop sarà la tavola rotonda, che seguirà una consultazione che coinvolgerà utenti di PMI innovative e start-up, centri di ricerca, grandi aziende, associazioni industriali e poli di innovazione provenienti da Europa e Canada. La discussione si concentrerà sia sugli aspetti tecnici della piattaforma GALICIA sia sulle sue prospettive di diffusione e sfruttamento. I partecipanti condivideranno le proprie esperienze e prospettive, fornendo preziose indicazioni per plasmare il potenziale di innovazione del progetto. Questo scambio interattivo mira ad allineare i risultati del progetto con le esigenze del mondo reale, favorendo al contempo collaborazioni significative. Il workshop si concluderà con un riepilogo per consolidare i principali punti chiave.

Registrazione:

Sarà possibile seguire l’evento sia in presenza, capienza massima della sala 20 persone, che online, cliccando su uno dei seguenti inviti.

Programma provvisorio:

Come raggiungere il Workshop:

Il Workshop è promosso da:

In collaborazione con: