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:
​ wata2020@lis-lab.fr

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.