OSMOSIS 2024
October 17 @ 8:00 am - 5:00 pm PDT
Elevate your success with osmosis 2024
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. If you possess a compelling achievement narrative, we invite 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.
Abstract guidelines
Craft a concise narrative outlining the essential 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, please limit your abstract to a single page, front and back.
Include diagrams and code examples if desired.
If you have questions or need guidance in refining your narrative, please reach out to us at osmosis.sisw@siemens.com
Schedules and processes
The deadline for abstract submissions is 6 p.m. Central EU time on Mon., Sept. 23, 2024.
Submissions will be evaluated as they are received. As we select abstracts, we will begin working with the authors on their presentations. If we fill the agenda early, we’ll close submissions.
We look forward to receiving your abstracts and seeing you in Munich!
On-demand presentations
Check out past, on-demand presentations.