BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Dmitry Chistikov (University of Warwick)
DTSTART:20260429T130000Z
DTEND:20260429T140000Z
DTSTAMP:20260513T133622Z
UID:FLAT/20
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/FLAT/20/">Th
 ree views on Presburger arithmetic</a>\nby Dmitry Chistikov (University of
  Warwick) as part of One FLAT World Seminar\n\n\nAbstract\nLinear integer 
 arithmetic\, also known as Presburger arithmetic\, is a logic\nthat allows
  one to express linear constraints on integers: equalities\,\ninequalities
 \, and divisibility by fixed integers. Sets of natural numbers that\ncan b
 e defined in this logic are ultimately periodic sets. More generally\,\nth
 ese are semi-linear sets\, introduced in the 1960s by Parikh.\n\nThis talk
  will introduce Presburger arithmetic and three methods for deciding\nwhet
 her a given sentence in it is true. These methods are rooted in geometry\,
 \nautomata theory\, and symbolic computation\, respectively. We will also 
 discuss\nhow these methods and ideas extend to other arithmetic theories a
 nd other\nproblems (including some recent research results).\n
LOCATION:https://researchseminars.org/talk/FLAT/20/
END:VEVENT
END:VCALENDAR