BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:7407-409@gi.de
CLASS: PUBLIC
SUMMARY:Trustworthy Tuesday - Designing correct and secure chips: how can f
 ormal methods help? with Prof. Dr. Wolfgang Kunz
DESCRIPTION:Next week, the German Informatics Society as part of the Ecosys
 tem Formally Verifiable IT presents the next part of our new webinar series
  “Trustworthy Tuesday”. Once a month at 2pm CET, researchers will present t
 heir work in the field of formal verification as part of our “snackable sci
 ence” format. \n\n\n\nWe want to break down the complex topic of formal ver
 ification and trustworthy IT into small bites. A short input and a discussi
 on round will provide you with insights into research approaches and best p
 ractices.\n\n\n\nWe invite students, experts and other interested parties t
 o “snack” on this new knowledge after your lunch break.\n\n\n\nFor our next
  session on November 11th, Prof. Dr. Wolfgang Kunz will give an introductio
 n to formal hardware verification with his talk “Designing correct and secu
 re chips: how can formal methods help?”. Wolfgang Kunz is Professor at the 
 Department of Electrical and Computer Engineering at the RPTU Rheinland-Pfä
 lzische Technische Universität Kaiserslautern-Landau and holder of the Elec
 tronic Design Automation Chair.
LOCATION:Zoom
DTSTAMP:20251105T130958Z
DTSTART:20251111T130000Z
DTEND:20251111T134500Z
END:VEVENT
END:VCALENDAR