Please note that this newsitem has been archived, and may contain outdated information or links.
23 June 2019, LICS workshop Learning & Automata (LearnAut 2019), Vancouver BC, Canada
Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science, spanning the same communities that the Logic in Computer Science (LICS) conference brings together. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods.
Invited speakers: Lise Getoor (UC Santa Cruz). Prakash Panangaden (McGill University) and Nils Jansen (Radboud University, to be confirmed).
We invite submissions of recent work, including preliminary research, related to the theme of the workshop. 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.
Please note that this newsitem has been archived, and may contain outdated information or links.