Learning models defining recursive computations, like autom ata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the a ssociated computational problems are major researc h topics within mathematical logic and computer sc ience, spanning the same communities that the Logi c in Computer Science (LICS) conference brings tog ether. The goal of this workshop is to bring toget her experts on logic who could benefit from gramma tical inference tools, and researchers in grammati cal inference who could find in logic and verifica tion new fruitful applications for their methods.< /p>\n\n
Invited speakers: Lise Getoor (UC Sant a Cruz). Prakash Panangaden (McGill University) an d Nils Jansen (Radboud University, to be confirmed ).
\n\n\n
We in vite submissions of recent work, including prelimi nary research, related to the theme of the worksho p. Similarly to how main machine learning conferen ces and workshops are organized, all accepted abst racts will be part of a poster session held during the workshop. Additionally, the Program Committee will select a subset of the abstracts for oral pr esentation. At least one author of each accepted a bstract is expected to represent it at the worksho p.
\n