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.
Craft a concise narrative outlining the important bits of your success story, encompassing:
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 email@example.com
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 firstname.lastname@example.org with “osmosis A&D 2024 abstract” in the the email subject header.
We look forward to your abstracts!
The osmosis A&D Team