1. Home

Formal verification conference

osmosis 2023

Thursday November 16, 2023 | Holiday Inn City Center | Munich, Germany

Call for papers

Elevate your success with osmosis 2023

The annual osmosis event serves as a dynamic platform for the exchange of successes achieved through the application of formal techniques in overcoming verification challenges. It offers a unique opportunity to connect and engage with our accomplished R&D experts and fellow participants. If you possess a compelling narrative of achievement, we cordially extend an invitation for you to unveil it at osmosis. You will benefit from increased industry visibility as a subject matter expert, and the conversations that follow may help you and others improve formal-based verification solutions even more.

Advanced registration open now:

Abstract guidelines

Craft a concise narrative outlining the important bits of your success story, encompassing:

  • The intricate problem you addressed
  • Rationale for employing formal technology-based solutions
  • Tangible outcomes, ideally quantifiable
  • Key learnings and findings

For utmost impact, limit your abstract to a single page, front-and-back. Include diagrams and code examples if desired.

Should you seek guidance in refining your narrative, we're here to assist. Reach out to us at osmosis.sisw@siemens.com

Schedules and processes

You have until 6 PM Central EU time on Monday October 16 to submit your abstract.

Submissions will be evaluated as they are received. When we see a strong abstract, we will select it for osmosis and start working with the authors on their presentations. If we fill the agenda early, we'll close submissions for 2023.

To submit your abstract, email a PDF to osmosis.sisw@siemens.com with "osmosis 2023 abstract" in the email subject header.

We look forward to your abstracts and to seeing you in Munich!

Warm regards,

The osmosis Team