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