Call for papers
Elevate your success with osmosis 2026
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.
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 [email protected]
Schedules and processes
You have until 6 PM Central EU time on Monday September 28 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 up the agenda early, we'll close submissions.
To submit your abstract, email a PDF to [email protected] with "osmosis 2026 Abstract" in the email subject header.
We look forward to your abstracts and to seeing you in Munich!
Warm regards,
The osmosis Team