Workshop au CIRM

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