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

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 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