Weighted Automata: Theory and Applications (WATA)
Automates quantitatifs : théorie et applications

19 – 23 April 2021

Organizing Committee

Manfred Droste (University of Leipzig)
Paul Gastin (LSV Cachan & ENS Paris Saclay)
Pierre Guillon (Aix-Marseille Université)
Benjamin Monmege (LIS, Aix-Marseille Université)
Heiko Vogler (TU Dresden)

If you have requests concerning WATA, please send an e-mail to:

The workshop WATA covers all aspects of weighted automata, ranging from the theory of weighted automata and quantitative logics to applications for real-time systems, natural language processing, and even further fields like systems biology and energy grid. The aim is to present tutorials and survey lectures by outstanding scientists in this area, and to also welcome submitted technical contributions, in particular by young researchers and by members in or in close relation with industry
​Quantitative models and quantitative analysis in Computer Science is receiving increased attention in order to meet the challenges from application areas such as Cyber Physical Systems. What is aimed at is a revision of the foundation of Computer Science where Boolean models and analyses are replaced by quantitative models and analyses in order that more detailed and practically useful answers can be provided. Recently, a large number of new models, toolsets, and new application domains have emerged. The theory of weighted automata has also developed, introducing extensions of the models which are motivated by the quantitative analysis of systems.
Le workshop WATA traite de tous les aspects des automates quantitatifs, allant de leur théorie et des logiques quantitatives aux applications dans les systèmes temps-réels, le traitement des langues naturelles, et même de plusieurs domaines tels que la biologie des systèmes et les grilles énergétiques. Le but est de présenter des tutoriels et des exposés invités par des chercheurs renommés du domaine, mais aussi d’accueillir des contributions techniques soumises, en particulier par des jeunes chercheurs et pas des membres dans ou proche du monde industriel.

Andreas Maletti (Universität Leipzig)   Neural Networks and Weighted Automata
Anca Muscholl (Université Bordeaux)   A View on String Transducers

Invited Lectures

Mikołaj Bojańczyk (University of Warsaw)   Weighted languages, monads, and distributive laws
Laure Daviaud (City University of London)   Weighted automata and Cost-register Automata over the max-plus semiring
Glenn Merlet (Aix-Marseille Université)   Separating words with weighted automata
Guillermo A. Pérez (University of Antwerp)   Parameter Synthesis for One-Counter Automata
Jean-Éric Pin (IRIF, CNRS, University Paris-Diderot)   Weighted Tiling Automata on Graphs: Evaluation Complexity
Karin Quaas (Universität Leipzig)   On the universality problem for unambiguous register automata
George Rahonis (Aristotle University of Thessaloniki)   Logical description of (weighted) parametric component-based systems with (w)FOEIL