The annual osmosis event is a dynamic platform for exchanging successes achieved through applying formal techniques to overcome verification challenges. It offers a unique opportunity to connect and engage with our accomplished research and development (R&D) experts and participants.
More information on osmosis Europe 2025 - including the agenda and registration information - is now available on this Verification Academy page.
We look forward to seeing you in Munich!
On-demand presentations
Check out on-demand presentations from prior osmosii.