BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260921T235604Z
UID:Seminar-dept-1239@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20240430T130000
DTEND:20240430T140000
SUMMARY:School Seminar Series
DESCRIPTION:Dr. Samuel Braunfeld: Some interactions between model theory and structural graph theory\n\nWe will discuss how model-theoretic concepts concerned with separating tame from wild behavior in classes of infinite structures and with developing a structure theory for the tame classes can be applied to classes of finite structures, interacting with programs in structural graph theory. In particular, these concepts have been behind significant recent progress in determining when the general algorithmic problem of first-order model checking is (fixed-parameter) tractable.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1239
LOCATION:Ashton Lecture Theatre
END:VEVENT
END:VCALENDAR