BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//6AM City//Daily Cedar Park//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
UID:evt_eUocjmmCKE6v-20261105T003000Z@dailycedarpark.com
DTSTAMP:20261102T044959Z
DTSTART:20261105T003000Z
DTEND:20261105T023000Z
SUMMARY:Austin Formal Methods Meetup - November 4th\, 2026
LOCATION:STATION Austin\, ACL Room (16th Floor)\, 701 Brazos St.\, Austin\,
  TX 78701
DESCRIPTION:Austin Formal Methods Meetup Join us for an evening of program 
 proofs\, useful tools\, rigorous techniques\, vastly more secure and perfo
 rmant software\, and lively discussions around the more…\n\nhttps://www.
 meetup.com/austin-formal-methods-user-group/events/315309170/
URL:https://www.meetup.com/austin-formal-methods-user-group/events/31530917
 0/
END:VEVENT
END:VCALENDAR