BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//program.berlinbuzzwords.de//bbuzz26//speaker//NXGVAY
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-bbuzz26-NBBST7@program.berlinbuzzwords.de
DTSTART;TZID=CET:20260609T160000
DTEND;TZID=CET:20260609T164000
DESCRIPTION:Formal methods are powerful tools to verify software systems' c
 orrectness and reliability. However\, manually writing system specs is tim
 e-consuming and hard to maintain. LLMs can help with this burden.\nWe'll s
 hare new research into tools to automate formal methods workflows and lear
 nings from how LLMs currently perform.
DTSTAMP:20260525T120236Z
LOCATION:Kesselhaus
SUMMARY:Correctness Too Cheap To Meter: Formal Verification and LLMs - Emil
 ie Ma
URL:https://program.berlinbuzzwords.de/bbuzz26/talk/NBBST7/
END:VEVENT
END:VCALENDAR