Weighted Automata: Theory and Applications
April 20–23, 2021, CIRM@Marseille, France
The workshop covers all aspects of weighted automata, ranging from the theory of weighted automata and quantitative logics to applications for real-time systems and natural language processing. The aim is to present tutorials and invited lectures by outstanding scientists in this area. We invite everybody to participate in this workshop without fee and to present their own technical contributions in this area.
News
Because of the Covid-19, WATA will be entirely online, from April 20 to April 23. You may still register yourself, in order to receive the links for the meeting, by following this link.
Call for Papers
There will be a special issue of Information and Computation devoted to the topics of this workshop, edited by Manfred Droste, Paul Gastin, and Benjamin Monmege. Participation in WATA 2020 is encouraged, but is not a prerequisite for a submission. Submissions can be either original research papers or surveys. All submissions will be refereed according to the usual high journal standards. Authors are asked to submit their contribution on the Editorial Manager of Information and Computation, by selecting "VSI: WATA 2020" in the field "Article type". The deadline for submission is June 1, 2021. It has been extended in consideration of the delay in the conference: however, submissions are possible and encouraged much before the deadline since the articles will be published in Information and Computation as soon as they are accepted (and not once all articles of the special issue will be ready). We intend to ensure a quick refereeing process.
Tutorials and Invited Lectures
We are happy to announce the following tutorials and survey lectures, that will be nicely completed with contributed talks.
Tutorials
- Andreas Maletti (Universität Leipzig)
- Anca Muscholl (Université Bordeaux)
Invited Lectures
- Mikołaj Bojańczyk (University of Warsaw)
- Laure Daviaud (City University of London)
- Filip Mazowiecki (MPI for Software Systems in Saarbrücken)
- Glenn Merlet (Aix-Marseille Université)
- Guillermo A. Pérez (University of Antwerp)
- Jean-Éric Pin (IRIF, CNRS, University Paris-Diderot)
- Karin Quaas (Universität Leipzig)
- George Rahonis (Aristotle University of Thessaloniki)
Schedule
The workshop will start on April 20th at 9:00 (CET), and will close on April 23rd at 16:00 (CET). The schedule is available here, with available slides and videos. A booklet with the title and abstract of all talks can be downloaded here.
If you have requests concerning WATA 2020/2021, please send an e-mail to wata2020@lis-lab.fr.
Support
This workshop is supported by:
- LIS computer science laboratory in Marseille
- Research training group Quantitative Logics and Automata
- LMF computer science laboratory in Paris-Saclay
- I2M mathematics laboratory in Marseille
- FRUMAM