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 for the project, with the final workshop delivered by Mind in a Box as part of the high-profile session titled “Next Gen LLMOps: Modern practices to operate Gen AI safely and efficiently.”
The presentation focused on GALICIA’s platform for verifying AI-generated code, emphasizing automation, security, and industrial applications—particularly in the telecom sector. GALICIA aims to enable the formal verification of code produced by Large Language Models (LLMs), ensuring that generated software meets predefined specifications and industry standards. The platform’s lifecycle spans from natural language requirements to formal security validation, addressing the growing need for trustworthy AI-driven software development.
Unlike earlier workshops that prioritized internal discussion, the final event was designed to position GALICIA on the international scene, engaging with a global audience of AI professionals, researchers, telecom experts, and investors. The platform’s appearance at such a prestigious event strengthened its credibility and visibility, highlighting its contribution to operationalizing secure Generative AI workflows—commonly referred to as LLMOps.
Audience feedback during the session reflected strong interest in GALICIA’s infrastructure, particularly its potential to resolve challenges related to LLM adoption in industry. There was considerable attention given to domain-specific code generation, with many attendees recognizing Retrieval-Augmented Generation (RAG) as a promising strategy to ensure outputs are grounded in contextually relevant information.
Complementing the World Summit AI presentation, the GALICIA infrastructure was also featured at the 7th International Conference on Advances in Signal Processing and Artificial Intelligence (ASPAI 2025) in Austria. There, the technical team from Mind in a Box presented a scientific paper detailing GALICIA’s architecture, including its use of RAG workflows and LLMOps infrastructure.
