Workshop au CIRM

Weighted Automata : Theory and Applications (WATA 2020)
Objective of the workshop
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.
Résumé en français
Le workshop WATA traite de tous les aspects des automates quantitatifs, allant de leur th ́eorie 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 ́es 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.
organisateur : Pierre Guillon (I2M)
Pour plus d’informations : https://wata2020.lis-lab.fr