Welcome to LearnAut 2017

The workshop “Learning and Automata” (LearnAut) willl be held at LICS 2017 in Reykjavik (Iceland) on Monday, 19 June 2017.

Registration is open and should be done using the LICS webpage.

The final program is now available!


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.


The LearnAut workshop will consists of 3 invited talks, other talks from researchers who submitted their work to the workshop, and discussions. An important amount of time will be kept for interactions between participants.

Similarly to how main machine learning conferences and workshops are organized, all accepted abstracts will be part of a poster session held during the workshop. Additionally, the Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop.