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.
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!
Submit your abstract and register to attend.
On-demand presentations
Check out past, on-demand presentations.