×

FormalFoundry joins the AI sovereignty debate at SpaceShield Summit

Events & insights · Published
SpaceShield Summit 2026, Stalowa Wola, 3–4 March 2026. Image source: Space 4 Talents.

Event date: 3–4 March 2026 (panel: 3 March).

FormalFoundry took part in SpaceShield Summit 2026, held in Stalowa Wola on 3–4 March. Organised under the Space 4 Talents initiative, the congress brought together participants from the space, defence and dual-use technology sectors.

Our co-founder Grzegorz Kunicki joined the panel on Poland’s technological sovereignty in the era of AI. The discussion included perspectives from Michał Kwiatkowski of Aldec and Ewa Dolińska-Wysocka of Bielik, connecting questions of national capability with the practical requirements of dependable AI.

The conversation went beyond where models are developed or hosted. It addressed the importance of language and cultural context, alongside the ability to inspect and audit systems used in high-responsibility environments.

FormalFoundry presented its approach through formal methods: expressing domain knowledge as precise rules and checking AI outputs against that defined logic. The aim is to complement testing with reasoning that can be examined against explicit requirements, rather than relying solely on a model’s apparent confidence.

For us, the central question is not simply who builds AI, but how organisations can understand and check the rules it follows. We thank the Space 4 Talents organisers and fellow participants for the discussion.

Explore the summit programme

Skip to content

News

FormalFoundry joins the AI sovereignty debate at SpaceShield Summit

At SpaceShield Summit 2026 in Stalowa Wola, FormalFoundry contributed a formal-methods perspective to the discussion on technological sovereignty, auditability and AI for critical systems.

Event date: 3–4 March 2026 (panel: 3 March).

FormalFoundry took part in SpaceShield Summit 2026, held in Stalowa Wola on 3–4 March. Organised under the Space 4 Talents initiative, the congress brought together participants from the space, defence and dual-use technology sectors.

Our co-founder Grzegorz Kunicki joined the panel on Poland’s technological sovereignty in the era of AI. The discussion included perspectives from Michał Kwiatkowski of Aldec and Ewa Dolińska-Wysocka of Bielik, connecting questions of national capability with the practical requirements of dependable AI.

The conversation went beyond where models are developed or hosted. It addressed the importance of language and cultural context, alongside the ability to inspect and audit systems used in high-responsibility environments.

FormalFoundry presented its approach through formal methods: expressing domain knowledge as precise rules and checking AI outputs against that defined logic. The aim is to complement testing with reasoning that can be examined against explicit requirements, rather than relying solely on a model’s apparent confidence.

For us, the central question is not simply who builds AI, but how organisations can understand and check the rules it follows. We thank the Space 4 Talents organisers and fellow participants for the discussion.

Explore the summit programme

Book a meetingStart a scoped conversation

Cabinet index

Explore Formal Foundry

Search the archive

Find a page

Type to search the published content.