BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ian McQuillan (University of Saskatchewan)
DTSTART:20240207T140000Z
DTEND:20240207T150000Z
DTSTAMP:20260423T021309Z
UID:FLAT/1
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/FLAT/1/">Sto
 re languages of automata models\, with applications</a>\nby Ian McQuillan 
 (University of Saskatchewan) as part of One FLAT World Seminar\n\n\nAbstra
 ct\nThe store language of an automaton is a language-theoretic encoding of
  the contents of every data store that can appear at any point in an accep
 ting computation. While this is an older concept\, it is not a particularl
 y well-studied one. In this talk\, previous results regarding store langua
 ges from the literature are reviewed\, and the store languages of many exi
 sting types of automata from the literature are described. Several applica
 tions of store languages are then presented\, including towards verificati
 on\, to help with decision problems\, and with closure properties.\n
LOCATION:https://researchseminars.org/talk/FLAT/1/
END:VEVENT
END:VCALENDAR