Sections

Previous Workshops

10th International Workshop

Weighted Automata: Theory and Applications

WATA 2020
April 14–17, 2020, 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.

RAMICS 2020

RAMICS 2020, the 18th International Conference on Relational and Algebraic Methods in Computer Science, will take place just before WATA, from 8 to 11 April, at École polytechnique in Palaiseau (close Paris). We encourage participants to combine the two events.

Tutorials and Invited Lectures

We are happy to announce the following tutorials and survey lectures: more to come...

Tutorials

Invited Lectures

Call for Participation

Interested participants are most welcome. If you wish to present a technical contribution, please send an abstract (preferably of at most one page) by February 14, 2020 to wata2020@lis-lab.fr. These contributions do not count as publications; submission of relevant, already published or submitted results is allowed. Authors will be informed about acceptance of their submissions by February 28, 2020.

Call for Papers

There will be a special issue of Information and Computation devoted to the topics of this workshop. 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 preferably in PDF to wata2020@lis-lab.fr. The deadline for submission is September 1, 2020. We intend to ensure a quick refereeing process.

Conference Location

The conference will take place in Marseille (France), at CIRM (International Center for Mathematical Meetings) very close to the famous Calanques
163 avenue de Luminy, 13288 Marseille

Accommodation

There are rooms pre-booked for the participants directly at CIRM. The inscription to the event (free) will then let you book your room directly to the CIRM (approx. 90€ per night, all included).

Travel Information

By airplane: Marseille-Provence Airport has daily connections with many European cities. The best way to come to the city center from the airport is to take the shuttle. The trip takes 25 minutes approximately, and the shuttle arrives in the train station St-Charles. More information: http://www.navettemarseilleaeroport.com

By train: Marseille is connected by TGV to Paris, Lille, Lyon, Nancy, Strasbourg, Bruxelles, London and many other big cities of France or Europe. The train station is station St-Charles.

City transportation: From train station St Charles, you will have to travel to get to Campus Luminy (conference location). The company RTM proposes metro, tram and bus to travel in Marseille: see their website for timeplans and fares.

Tourism

Marseille is a city full of art and culture and has many wonders to share with you. With its 26 centuries of history, it combines tradition and modernity. The city has a wealth of monuments, places of interest and museums to visit:

Marseille is also known for its wonderful Calanques, magnificent white cliffs that rise vertically from the sea along a coast line of 20 kilometers. Luminy Campus is in the middle of them, which makes it a little longer to reach from the airport or train station, but then you may want to take sometime to walk in the Calanques.

If you have requests concerning WATA 2020, please send an e-mail to
wata2020@lis-lab.fr.

Support

This workshop is supported by:

Picture Source