The workshop will be held at Reykjavik University on June 19th 2017, from 9 am to 6 pm. Lunch and coffee breaks are included in registration fees.
The detailed program will be available soon.
In addition to the three keynotes from our invited speakers, we will have 6 thirty minutes talks on peer-reviewed selected papers:
- Enes Avcu, Chihiro Shibata and Jeffrey Heinz: Subregular Complexity and Deep Learning, Paper
- Simone Barlocco and Clemens Kupke: Automata Learning: A Modal Logic Perspective
- Alexander Clark: Strong learning of Probabilistic Context-Free Grammars from Strings
- Nathanaël Fijalkow: Bisimulation on Distributions for Markov Decision Processes
- Ariadna Quattoni, Xavier Carreras and Matthias Gallé. Scalable Spectral Learning of Automata through Maximum Matching
- Rick Smetsers: Grammatical Inference as a Satisfiability Modulo Theories Problem
We also have selected 9 articles for the poster session:
- Giovanni Bacci, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare: On the Metric-based Approximate Minimization of Markov Chains
- Michael Bukatin and Jon Anthony: Dataflow Matrix Machines as a Model of Computations with Linear Streams
- Kaizaburo Chubachi, Diptarama, Ryo Yoshinaka and Ayumi Shinohara: Query Learning of Regular Languages over Large Ordered Alphabets
- Joshua Moerman: Learning Product Automata
- Tianyu Li, Guillaume Rabusseau and Doina Precup: Neural Network Based Nonlinear Weighted Finite Automata
- Alexis Linard, Rick Smetsers, Frits Vaandrager, Umar Waqas, Joost van Pinxten and Sicco Verwer: Learning Pairwise Disjoint Simple Languages from Positive Examples
- Xiaoran Liu, Qin Lin, Sicco Verwer and Dmitri Jarnikov: Anomaly Detection in a Digital Video Broadcasting System Using Timed Automata, Paper.
- Guillaume Rabusseau and Joelle Pineau: Multitask Spectral Learning of Weighted Automata
- Michal Soucha and Kirill Bogdanov: Efficient Active Learning with Extra States