BEGIN:VCALENDAR
PRODID:-//WikiCFP//aehyvari 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260618T181838Z
DTSTART;VALUE=DATE:20220811
DTEND;VALUE=DATE:20220813
SUMMARY:SMT 2022
DESCRIPTION:20th International Workshop on Satisfiability Modulo Theories
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=156683&copyo
 wnerid=173857
UID:cfp925265-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260618T181838Z
DTSTART;VALUE=DATE:20220515
SUMMARY:SMT 2022 Deadline
DESCRIPTION:20th International Workshop on Satisfiability Modulo Theories
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=156683&copyo
 wnerid=173857
UID:cfp925265-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260618T181838Z
DTSTART;VALUE=DATE:20220624
SUMMARY:SMT 2022 Notification Due
DESCRIPTION:20th International Workshop on Satisfiability Modulo Theories
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=156683&copyo
 wnerid=173857
UID:cfp925265-N@wikicfp.com
END:VEVENT
END:VCALENDAR