Skip to content
Loading Events

« All Events

  • This event has passed.

osmosis 2022 – Formal Verification

December 8, 2022 @ 8:00 am - 5:00 pm CET

osmosis 2022

Attention anyone interested in Formal Verification: after a hiatus due to you-know-what, osmosis is back in-person this coming December 8 in Munich! (Yes, the day after DVCon Europe, and in the exact same hotel to make it easy for you to extend your week of gathering verification knowledge.)

What is osmosis? It stands for Open Siemens Meeting on Solutions, Innovation & Strategy and it is the event for customers and partners of Siemens EDA Questa Formal and OneSpin solutions.

The name was chosen intentionally because of the term osmosis represents movement in two directions. In this case, we wish to underscore a two-way transfer of knowledge, which is essential to the success and value of any users’ group event. This users’ group meeting is tailored towards users of Questa Formal and OneSpin solutions, but we encourage everyone who is interested in areas of functional correctness, safety, security, or trust to attend – this event is for you! In general, the event is going to be packed with information, shared learning, and in-person interactions with industry experts.

What is your story? If you have a story to tell, you’re invited to share it at osmosis. You’ll benefit from increased industry visibility as a subject matter expert, and the conversations that follow may help you, or others, improve solutions even more.

Abstract guidelines are here:

And you can pre-register now:

The team can’t wait to see you in-person!

Nicolae Tusinschi
for the Siemens EDA Formal team


December 8, 2022
8:00 am - 5:00 pm CET
Event Categories:
Event Tags:
, ,
Event Website


Siemens EDA
View Organizer Website


Holiday Inn City Center
Hochstraße 3
Munich, 81669 Germany
+ Google Map

Leave a Reply

Your email address will not be published. Required fields are marked *