BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//University of Liverpool Computer Science Seminar System//v2//EN
BEGIN:VEVENT
DTSTAMP:20260912T090945Z
UID:Seminar-verification-668@lxserverM.csc.liv.ac.uk
ORGANIZER:CN=Patrick Totzke:MAILTO:totzke@liverpool.ac.uk
DTSTART:20180621T140000
DTEND:20180621T150000
SUMMARY:Verification Series
DESCRIPTION:Nicolas Berthier: Journal Club: On the Relation between Reactive Synthesis and Supervisory Control of Input/Output Behaviours\n\nI will report on a recent paper discussing the links between Reactive Synthesis and Supervisory Control Synthesis, two families of problems that have been addressed in parallel by two research communities that previously acted almost like they ignored each other.  In the presentation, I will try to highlight the similarities and differences between these problems.\n\nFor those interested, I attach the paper that I am going to discuss; although the presentation shall mostly consist in a glorious farandole of automata of various sorts.\n\nhttps://www.csc.liv.ac.uk/research/seminars/abstract.php?id=668
LOCATION:EEE 5.07
END:VEVENT
END:VCALENDAR