Workship 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.