[TYPES/announce] Learning and Automata workshop: call for participation, early reg deadline 5 May

Sam Staton sam.staton at cs.ox.ac.uk
Thu May 4 05:44:31 EDT 2017


CALL FOR PARTICIPATION
Learning and Automata (LearnAut) — LICS 2017 Workshop
June 19, Reykjavik (Iceland)
Early registration: May 5th (VERY SOON)
https://learnaut.wordpress.com/

Grammatical Inference studies machine learning algorithms for classical recursive models of computations like automata and grammars. The expressive power of these models and the complexity of associated computational problems are a major research topic within theoretical computer science. This workshop aims at offering a favorable place for dialogue and at generating discussions between researchers from these two communities.

The following papers have been accepted for oral presentation:

- Enes Avcu, Chihiro Shibata and Jeffrey Heinz: Subregular Complexity and Deep Learning
- Alexander Clark: Strong learning of Probabilistic Context-Free Grammars from Strings
- Nathanaël Fijalkow: Bisimulation on Distributions for Markov Decision Processes
- Oded Maler and Irini-Eleftheria Mens: On Learning Symbolic Automata over Boolean Alphabets
- 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

In addition, the papers accepted for poster presentation are:

- Giovanni Bacci, Giorgio Bacci, Kim Guldstrand Larsen and Radu Mardare: On the Metric-based Approximate Minimization of Markov Chains
- Simone Barlocco and Clemens Kupke: Automata Learning: A Modal Logic Perspective
- 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
- Guillaume Rabusseau and Joelle Pineau: Multitask Spectral Learning of Weighted Automata
- Michal Soucha and Kirill Bogdanov: Efficient Active Learning with Extra States

The following top researchers will be invited speakers at LearnAut:
- Kim G. Larsen (Aalborg University)
- Mehryar Mohri (New York University & Google Research)
- Alexandra Silva (University College London)

If you have not registered yet to the workshop, and if you are interested by its program, we strongly recommend you to do it as soon as possible (http://www.icetcs.ru.is/lics2017-registration.html). The early registration deadline is on May 5th.

Pressures on accommodation possibilities are high, the sooner you book one the better it is (a lot of hotels are unfortunately already full). 

Looking forward to seeing you at Reykjavik!

Borja Balle (Amazon)
Leonor Becerra-Bonache (Jean Monnet)
Remi Eyraud (Aix-Marseille)




More information about the Types-announce mailing list