Formal Verification Virtual Event

osmosis Aerospace and Defense 2024

Tuesday April 23 | 1pm Eastern – 3:30pm Eastern; 10am Pacific 12:30pm Pacific

Wednesday April 24 | 1pm Eastern – 4:00pm Eastern; 10am Pacific 1:00pm Pacific

For US Citizens only via their Company’s contact information

Call for papers

Elevate your success with osmosis A&D 2024

osmosis Aerospace and Defense (A&D) is about sharing the success in using formal techniques to address the demanding verification requirements and challenges of Trust and Assurance verification, Safety Critical Designs, and DO-254 compliant and other high-consequence systems.

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 challenging 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 Midnight Eastern time on Monday March 11 to submit your abstract.

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

To submit, email a PDF copy of your abstract to osmosis.sisw@siemens.com with “osmosis A&D 2024 abstract” in the the email subject header.

We look forward to your abstracts!

Warm regards,

The osmosis A&D Team