1. Home
Military jet flying above the clouds.

Formal verification virtual event

osmosis Aerospace and Defense 2024

Tuesday, April 23 | 1 p.m. (ET) – 3:30 p.m. (ET); 10 a.m. (ET) – 12:30 p.m. (ET)

Wednesday, April 24 | 1 p.m. (ET) – 3 p.m. (ET); 10 a.m. (PT) – Noon (PT)

For US citizens only via their company's contact information

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.

Questions?

Contact us