FLoC 2018: Learning and Automata
VeranstaltungsortUniversity of Oxford
Oxford, United Kingdom
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 computational problems are a major research topic within the LICS community. Historically, there has been very little interaction between the GI and LICS communities, though in recent years we have seen some important results starting to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms.
The goal of this workshop is to bring together experts on logic that could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new applications for their methods.