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:20260423T034446Z
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\nInteractive livestream: htt
 ps://fc-up-pt.zoom.us/j/85946529834\nPassword hint: Subscribe to the maili
 ng list to receive the password\n\nAbstract\nLinear integer arithmetic\, a
 lso known as Presburger arithmetic\, is a logic\nthat allows one to expres
 s linear constraints on integers: equalities\,\ninequalities\, and divisib
 ility by fixed integers. Sets of natural numbers that\ncan be defined in t
 his logic are ultimately periodic sets. More generally\,\nthese are semi-l
 inear sets\, introduced in the 1960s by Parikh.\n\nThis talk will introduc
 e Presburger arithmetic and three methods for deciding\nwhether a given se
 ntence in it is true. These methods are rooted in geometry\,\nautomata the
 ory\, and symbolic computation\, respectively. We will also discuss\nhow t
 hese methods and ideas extend to other arithmetic theories and other\nprob
 lems (including some recent research results).\n
LOCATION:https://researchseminars.org/talk/FLAT/20/
URL:https://fc-up-pt.zoom.us/j/85946529834
END:VEVENT
END:VCALENDAR