BEGIN:VCALENDAR
BEGIN:VEVENT
SUMMARY:Rust & Prusti: From a Safety-Focused Design To Formal Verification
DTSTART:20201119T161500
DTEND:20201119T181500
DESCRIPTION:Did you hear that Rust looks very promising but wonder whether
  it's just hype? Are you interested in understanding why Rust is frequentl
 y mentioned as one of the most beloved programming languages? Do you want 
 to know which features are truly unique to Rust?
END:VEVENT
END:VCALENDAR