On 2–3 February 2026, the VASSAL consortium gathered at CEA-List (Nano-Innov, France) for two intensive days that marked an important milestone in the project’s evolution. More than a scientific workshop, the meeting became a strategic reflection on how research excellence translates into industrial relevance, policy positioning, standardisation, and long-term institutional strength.
From the outset, one message stood out clearly: impact does not happen by accident — it is designed.
At the heart of the workshop were in-depth scientific sessions, where partners presented recent advances and aligned future research directions.
Discussions covered:
These sessions were not only about reporting progress. They enabled comparison of methodologies, identification of complementarities, and definition of concrete next steps for joint experimentation and publications. The exchange strengthened scientific coherence across BUoT, TU Wien, and CEA, while reinforcing shared ambitions.
Bridging Academia and Industry
CEA-List shared its structured engagement model built around three pillars — purpose, finance, and intellectual property. Operating primarily at TRL 3–7, CEA ensures research remains research while maintaining strong industrial relevance, deliberately avoiding market distortion at higher TRLs.
Particularly inspiring was the transition from bilateral collaborations to “club partnerships” — shared innovation ecosystems where multiple industrial actors co-invest, share risks, and accelerate emerging technologies together.
For VASSAL, this raised a strategic question:
How can formal methods be positioned not as niche expertise, but as enabling infrastructure for industry?
Intellectual Property as a Strategic Tool
The discussion on CEA’s updated Intellectual Property Charter highlighted a collaborative philosophy: patents are licensed, not sold; exclusivity is time-bound; transparency is essential when public funding is involved; and start-ups receive supportive conditions.
Beyond legal mechanisms, IP was framed as a living instrument for responsible knowledge dissemination. This prompted important reflections within VASSAL on how our tools should be positioned, how licensing models can stimulate uptake without restricting openness, and how open science and patenting can coexist constructively.
Influence Before the Call
A highly impactful session on EU affairs demonstrated that strategic positioning is proactive, not reactive. Calls are shaped years before publication. Position papers matter. Active engagement in associations matters.
The key takeaway was clear:
To influence the direction of a domain, one must first become part of its ecosystem.
For VASSAL, this reinforces the importance of developing a strong pitch, engaging earlier in thematic networks, translating scientific ambition into policy-relevant language, and preparing not only proposals — but narratives.
Quality as Institutional Strength
Insights into CEA’s ISO 9001-inspired project quality framework — including risk registers, internal audits, change management, and root-cause analysis — highlighted that quality is not administrative burden. It is institutional memory, resilience, and performance culture.
For Brno University of Technology, TU Wien, and the VASSAL consortium, this perspective strengthens our commitment to long-term institutional capability building. Sustainable excellence requires systems, not only talent.
Standardisation: From Research to Certification
Discussions on model-based design standards (SysML v2, UML, AADL), safety standards (ISO 26262, OpenX), and certification pathways opened a new strategic dimension.
The central question for VASSAL emerged:
How can formal verification contribute not only to correctness proofs, but to compliance and certification frameworks?
If verification tools demonstrate determinism, reproducibility, and compliance support, they become industrial enablers rather than purely academic artefacts. This is an area VASSAL intends to explore in a focused and realistic manner.
Steering the Next Phase
The Steering Committee sessions framed the workshop within a broader perspective — evaluating progress, discussing sustainability, aligning future calls, and identifying how VASSAL can best serve its scientists while strengthening all partner institutions.
These discussions confirmed that VASSAL is evolving beyond project implementation toward long-term strategic collaboration.
A Shared Momentum
What made these two days particularly valuable was the integration of scientific, administrative, strategic, and policy perspectives into one coherent dialogue. The openness of exchange strengthened trust, clarity, and shared ambition across the consortium.
We sincerely thank Julien Signoles and the entire CEA-List team for their warm hospitality and intellectual generosity.
This workshop marked a turning point:
VASSAL is not only advancing formal methods — it is shaping a credible pathway from research excellence to sustainable impact.
