FLoC 2018: Learning and Automata

Website der Veranstaltung

Datum und Uhrzeit

13.07.2018, 09:00 - 21:30 Uhr
Im Kalender speichern


University 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.