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 [email protected]
Schedules and processes
The deadline for abstract submissions is 6 p.m., Central European Time (CET) on Mon., Sept. 22, 2025.
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 today!
Conference program*
|
Time |
Topic |
Presenter |
|
08:00 - 09:00 |
Registration & Coffee |
< All > |
|
09:00 - 09:10 |
Welcome and introduction |
Chris Giles - Siemens |
|
09:10 - 09:40 |
User presentation 1 |
TBD |
|
09:40 - 10:10 |
User presentation 2 |
TBD |
|
10:10 - 10:40 |
User presentation 3 |
TBD |
|
10:40 - 11:00 |
Coffee Break |
< All > |
|
11:00 - 11:30 |
User presentation 4 |
TBD |
|
11:30 - 12:00 |
User presentation 5 |
TBD |
|
12:00 - 12:30 |
User presentation 6 |
TBD |
|
12:30 - 14:00 |
Lunch |
< All > |
|
14:00 - 14:20 |
Siemens formal methodology presentation |
|
|
14:20 - 14:50 |
User presentation 7 |
TBD |
|
14:50 - 15:10 |
User presentation 8 |
TBD |
|
15:10 - 15:30 |
User presentation 9 |
TBD |
|
15:30 - 15:50 |
Coffee break |
< All > |
|
15:50 - 16:20 |
User presentation 10 |
TBD |
|
16:20 - 16:50 |
Siemens Questa OneSpin R&D presentation |
Either Dominic, Sven, Hans-Jörg, Jorg, et.al. |
|
16:50 - 17:20 |
Technology spotlight: the latest in Siemens Formal Verification Suite |
Chris Giles - Siemens |
|
17:20 - 17:30 |
Summary of the day and final questions and answers |
< All > |
|
17:50 |
Complimentary dinner |
< All > |
*Agenda is subject to change without notice.
On-demand presentations
Check out on-demand presentations from prior osmosis.
