BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:8130-13509@trustworthy-it.com
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday #11 - Can Formal Methods help me?
DESCRIPTION:In our next session on August 18th, Dr. Matthew Wilding will gi
 ve his presentation “Can Formal Methods Help Me?”. Formal methods are appro
 aches 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.  \n\nMatthew Wilding is a program manager at D
 ARPA (Defense Advanced Research Projects Agency) for software engineering a
 nd critical system assurance.\n\nThe event is happening on August 18th, sta
 rting at 2pm (UTC +2). The event will be held on Zoom. The recording will b
 e uploaded to the EvIT website after the event.\n\nJoin us here: https://me
 etgi.zoom.us/j/61924747086?pwd=n4ilgx0WbDAZmwZnbRCElbsvOtucs5.1\n\n\n\n
LOCATION:Online (Zoom)
DTSTAMP:20260804T100338Z
DTSTART:20260818T120000Z
DTEND:20260818T124500Z
END:VEVENT
END:VCALENDAR