BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Gereon Kremer (Stanford University)
DTSTART:20220602T210000Z
DTEND:20220602T214500Z
DTSTAMP:20260419T191340Z
UID:SageDays112358/14
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SageDays1123
 58/14/">Satisfiability Modulo Theories for Arithmetic Problems</a>\nby Ger
 eon Kremer (Stanford University) as part of Global Virtual SageDays 112.35
 8\n\n\nAbstract\nSatisfiability Modulo Theories (SMT) solving has grown to
  be a very successful solving paradigm\, powering software and hardware ve
 rification\, symbolic execution\, test-case generation\, synthesis\, plann
 ing\, scheduling and optimization tasks. One of the theories in SMT solvin
 g is nonlinear real arithmetic which opens immediate connections to the co
 mputer algebra community that has long known this theory as the theory of 
 the reals.\nThis talk presents approaches for this theory that are used in
  the SMT community and discusses some existing and possible future collabo
 ration between the SMT and computer algebra communities.\n
LOCATION:https://researchseminars.org/talk/SageDays112358/14/
END:VEVENT
END:VCALENDAR