Sections

• Welcome
• Tutorials and Invited Lectures
• Call for Participation
• Call for Papers
• Important Dates
• Registration
• Schedule
• Conference Location
• Travel Information
• Tourism
• Support

Previous Workshops

• WATA 2018
• WATA 2016
• WATA 2014
• WATA 2012
• WATA 2010
• WATA 2008
• WATA 2006
• WATA 2004
• WATA 2002

Important Dates

• workshop:
  April 14–17, 2020
  April 20–23, 2021
• submission for special issue:
  September 1, 2020
  June 1, 2021

Organizers

Benjamin Monmege (Aix-Marseille Université, LIS)

Paul Gastin (Université Paris-Saclay, LMF)

Manfred Droste (Universität Leipzig)

Heiko Vogler (TU Dresden)

Pierre Guillon (Aix-Marseille Université, CNRS, I2M)

Weighted Automata: Theory and Applications

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

Picture Source