The next virtual Women in Compilers and Tools meetup will be Thursday, August 31, 2023, 6:00 PM -7:30 PM PDT. Petra Hozzova will give “An introduction to verification using automated reasoning”.
RSVP: An introduction to verification using automated reasoning, Thu, Aug 31, 2023, 6:00 PM | Meetup