BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:1795-3266@fg-afs.gi.de
CLASS: PUBLIC
SUMMARY:Learning and Automata
DESCRIPTION:Grammatical Inference (GI) studies machine learning algorithms 
 for models defining recursive computations like automata and grammars. The 
 expressive power of this kind of models and the complexity of associated co
 mputational problems are a major research topic within the LICS community. 
 Historically, there has been very little interaction between the GI and LIC
 S communities, though in recent years we have seen some important results s
 tarting to bridge the gap between both worlds, including applications of le
 arning to formal verification and model checking, and (co-)algebraic formul
 ations of automata and grammar learning algorithms.\n\nThe goal of this wor
 kshop is to bring together experts on logic that could benefit from grammat
 ical inference tools, and researchers in grammatical inference who could fi
 nd in logic and verification new applications for their methods.
LOCATION:University of Oxford
DTSTAMP:20181206T183750Z
DTSTART:20180713T070000Z
DTEND:20180713T193000Z
END:VEVENT
END:VCALENDAR