BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260915T180456Z
UID:Seminar-dept-1234@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20240416T130000
DTEND:20240416T140000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Dmitry Chistikov: Making elementary decisions about natural numbers\n\nThis talk will offer a brief introduction to logical theories of arithmetic, such as Presburger arithmetic. We will discuss decision procedures (algorithms) for these theories and how they are made "elementary". As an example, we will discuss combining integer programming and a very weak form of exponentiation: a predicate for the set of powers of 2.\n\n\n\nBased in part on joint work with Michael Benedikt (Oxford) and Alessio Mansutti (IMDEA Software Institute, Madrid).\n\n\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1234
LOCATION:6th Floor Conference Room 605, EEE
END:VEVENT
END:VCALENDAR