BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:James Worrell (U of Oxford)
DTSTART:20200806T180000Z
DTEND:20200806T190000Z
DTSTAMP:20260423T021312Z
UID:OLS/17
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/17/">Dec
 ision problems in program analysis</a>\nby James Worrell (U of Oxford) as 
 part of Online logic seminar\n\n\nAbstract\nWe consider decision problems 
 for affine programs: a simple model from the field of program analysis. In
  this talk we focus on deciding the existence of algebraic and semi-algebr
 aic invariants that separate reachable from non-reachable program states\,
  and on deciding termination. We will survey some recently obtained decisi
 on procedures for these problems\, and highlight some longstanding open qu
 estions.\n
LOCATION:https://researchseminars.org/talk/OLS/17/
END:VEVENT
END:VCALENDAR