BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260913T115332Z
UID:Seminar-dept-366@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20150121T110000
DTEND:20150121T120000
SUMMARY:School Seminar Series
DESCRIPTION:Prof Wolfgang Thomas: Finite Automata and the Infinite: A Journey Through 50 Years of Research\n\nFinite automata have been a central tool in making infinite structures of computer science accessible for algorithmic methods. There are two basic kinds of “infinity”: Infinite system behavior (as seen in non-terminating system runs) and infinite state spaces. In this talk we focus on the second aspect, the verification of infinite-state systems. We present essential stages of research, starting with Büchi’s study of prefix rewriting systems in 1964, continuing with Rabin’s tree theorem of 1969, and ending with more recent progress (based on results of Muchnik, Caucal, and others), which created an extremely rich landscape of infinite structures with good algorithmic properties.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=366
LOCATION:Ashton Lecture Theater
END:VEVENT
END:VCALENDAR