BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260408T090950Z
UID:Seminar-dept-1285@lxserverA.csc.liv.ac.uk.csc.liv.ac.uk
ORGANIZER:CN=Lutz Oettershagen:MAILTO:Lutz.Oettershagen@liverpool.ac.uk
DTSTART:20251021T130000
DTEND:20251021T140000
SUMMARY:School Seminar Series
DESCRIPTION:Laure Daviaud: Weighted automata: what is it? And why is it fun to study?\n\nI will give a general talk on weighted automata, a quantitative extension of automata, used in verification that can model probabilistic systems or cost minimisation for example. I will give an overview of the kind of problems that are studied for them, what we know, recent breakthroughs and what is still out of reach.\n\n\n\n \n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=1285
LOCATION:ELEC201, 2th Floor Lecture Theater EEE
END:VEVENT
END:VCALENDAR