GALICIA Final Report

GALICIA Project Wraps Up: Advancing Trustworthy AI for the Internet We’re pleased to announce the successful completion of the GALICIA project — Generative AI with Cybersecurity for Internet Applications — a European research initiative funded through the NGI Sargasso programme under Horizon Europe. Over the past year, GALICIA explored how artificial intelligence can support the […]
GALICIA Final Workshop

Showcasing GALICIA on the Global Stage of AI Innovation April 15th, 2025 – World Summit AI – Montreal, Canada On the 15th of April 2025, the GALICIA project was showcased at the World Summit AI in Montreal (worldsummit.ai), one of the world’s leading events in the field of artificial intelligence. This marked a key moment […]
GALICIA Survey Report

Generative AI with Cybersecurity for Internet Applications development (GALICIA) – Survey The objective of GALICIA is to provide a platform for automated verification of LLM (Large Language Model) generated code against a set of test cases in automation, encompassing a large case study of industrial relevance in the telecom sector. To this end, GALICIA will assist […]
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 […]
GALICIA First Workshop

An Innovative Approach to Software Production and Verification March 04, 2025 – Università del Piemonte OrientaleVia 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 […]