BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260922T052420Z
UID:Seminar-dept-477@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20190711T160000
DTEND:20190711T170000
SUMMARY:School Seminar Series
DESCRIPTION:Prof. Bakh Khoussainov: Open problems in the theory of automatic structures\n\nAutomatic structures are algebraic structures, such as graphs, groups\n\nand partial orders, that can be presented by automata. By varying the \n\nclasses of automata (e.g. finite automata, tree automata, omega-automata) \n\none varies the classes of automatic structures. The class of all automatic \n\nstructures is robust in the sense that it is closed under many natural algebraic \n\nand model-theoretic operations.  In this talk, we give formal definitions to \n\nautomatic structures, motivate the study, present many examples, and explain \n\nseveral fundamental theorems.  Some results in the area are deeply connected \n\nwith algebra, additive combinatorics, set theory, and complexity theory. \n\nWe then motivate and pose several important  unsolved questions in the area.\n\n\n\nThis lecture is given as part of the Aitken Lecture Tour 2019 (https://www.lms.ac.uk/events/lectures/forder-and-aitken-lectureship).\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=477
LOCATION:GHOLT-H223
END:VEVENT
END:VCALENDAR