Trustworthy Tuesday #11 - Can Formal Methods help me?
Back to the foundations: Dr. Matthew Wilding asks the question "How can formal methods help me?" and invites you to join.
Venue
Online (Zoom)-, Deutschland
Description
In our next session on August 18th, Dr. Matthew Wilding will give his presentation “Can Formal Methods Help Me?”. Formal methods are approaches that use mathematical reasoning to provide guarantees about computer-based systems. It is often not clear when and how to apply formal methods because there are many tools and mathematical approaches, a wide variety of domains with distinct assurance needs, and different sources of worrisome computer systems complexity.
Matthew Wilding is a program manager at DARPA (Defense Advanced Research Projects Agency) for software engineering and critical system assurance.
The event is happening on August 18th, starting at 2pm (UTC +2). The event will be held on Zoom. The recording will be uploaded to the EvIT website after the event.
Join us here: https://meetgi.zoom.us/j/61924747086?pwd=n4ilgx0WbDAZmwZnbRCElbsvOtucs5.1
Registration
- Costs
- Free of charge
- Note
- You can register online for this event.
- Registration deadline
- 17.08.2026