BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Drupal iCal API//EN
X-WR-CALNAME:Events items teaser
X-WR-TIMEZONE:America/Toronto
BEGIN:VTIMEZONE
TZID:America/Toronto
X-LIC-LOCATION:America/Toronto
BEGIN:DAYLIGHT
TZNAME:EDT
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
DTSTART:20170312T070000
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:EST
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
DTSTART:20171105T060000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:69b420c577bd2
DTSTART;TZID=America/Toronto:20180213T160000
SEQUENCE:0
TRANSP:TRANSPARENT
DTEND;TZID=America/Toronto:20180213T160000
URL:https://uwaterloo.ca/artificial-intelligence-group/events/phd-seminar-s
 at-stochastic-sat
LOCATION:DC - William G. Davis Computer Research Centre 200 University Aven
 ue West 2306C Waterloo ON N2L 3G1 Canada
SUMMARY:PhD Seminar: From SAT to Stochastic SAT
CLASS:PUBLIC
DESCRIPTION:Speaker: Ricardo Salmon\, PhD Candidate\n\nStochastic satisfiab
 ility (SSAT) problems are an extension of SAT\nproblems that is PSPACE-com
 plete and in the same complexity class as\nquantified Boolean formula (QBF
 ) and partially observable Markov\ndecision processes (POMDPs).
DTSTAMP:20260313T143549Z
END:VEVENT
END:VCALENDAR