Carview!

CARVIEW

MOTORHOMES

Select Language

HTTP/2 301 server: nginx date: Tue, 30 Dec 2025 10:37:20 GMT content-type: text/html; charset=UTF-8 location: https://learnaut.wordpress.com/program/ x-hacker: Want root? Visit join.a8c.com/hacker and mention this header. host-header: WordPress.com vary: accept, content-type, cookie x-redirect-by: WordPress x-ac: 2.bom _dca MISS alt-svc: h3=":443"; ma=86400 strict-transport-security: max-age=31536000 server-timing: a8c-cdn, dc;desc=bom, cache;desc=MISS;dur=330.0 HTTP/2 200 server: nginx date: Tue, 30 Dec 2025 10:37:20 GMT content-type: text/html; charset=UTF-8 vary: Accept-Encoding x-hacker: Want root? Visit join.a8c.com/hacker and mention this header. host-header: WordPress.com vary: accept, content-type, cookie link: ; rel=shortlink content-encoding: gzip x-ac: 2.bom _dca MISS alt-svc: h3=":443"; ma=86400 strict-transport-security: max-age=31536000 server-timing: a8c-cdn, dc;desc=bom, cache;desc=MISS;dur=392.0 Program – Workshop on Learning and Automata (LearnAut)

Program

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.

In addition to the three keynotes from our invited speakers, we will have 6 thirty minutes talks on peer-reviewed selected papers. 9 posters from selected submitted papers will also be displayed to enforce the discussions (see details below).

Here is the detailed program:

09:00-09:05	Short Introduction to the workshop, slides
09:05-10:05	Invited keynote: Alexandra Silva, UCL
10:05-10:30	Coffee break (Posters setup)
10:30-11:00	Simone Barlocco and Clemens Kupke: Automata Learning: A Modal Logic Perspective
11:00-11:30	Rick Smetsers: Grammatical Inference as a Satisfiability Modulo Theories Problem, paper
11:30-12:00	Enes Avcu, Chihiro Shibata and Jeffrey Heinz: Subregular Complexity and Deep Learning, paper
12:00-12:09	Posters Spotlights (1 minute per poster)
12:09-14:00	Posters@Lunch
14:00-15:00	Invited keynote: Mehryar Mohri, Google and NYU
15:00-15:30	Ariadna Quattoni, Xavier Carreras and Matthias Gallé: Scalable Spectral Learning of Automata through Maximum Matching, paper
15:30-16:00	Coffee break (Posters)
16:00-17:00	Invited keynote: Kim G. Larsen, Aalborg University
17:00-17:30	Nathanaël Fijalkow: Bisimulation on Distributions for Markov Decision Processes
17:30-18:00	Alexander Clark: Strong learning of Probabilistic Context-Free Grammars from Strings

The 9 selected posters are:

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, Paper.
Kaizaburo Chubachi, Diptarama, Ryo Yoshinaka and Ayumi Shinohara: Query Learning of Regular Languages over Large Ordered Alphabets, Paper.
Joshua Moerman: Learning Product Automata, Paper.
Tianyu Li, Guillaume Rabusseau and Doina Precup: Neural Network Based Nonlinear Weighted Finite Automata, Paper.
Alexis Linard, Rick Smetsers, Frits Vaandrager, Umar Waqas, Joost van Pinxten and Sicco Verwer: Learning Pairwise Disjoint Simple Languages from Positive Examples, Paper.
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, Paper.
Michal Soucha and Kirill Bogdanov: Efficient Active Learning with Extra States