Weighted Automata: Theory and Applications
October 4–7, 2023, Leipzig, Germany
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 survey 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.
Tutorials & Survey Lectures
We are happy to announce the following tutorials and survey lectures.
Tutorials
- Kim Larsen (Aalborg University, Denmark)
- Heiko Vogler (TU Dresden, Germany)
Survey Lectures
- Frank Drewes (Umeå, Sweden)
- Zoltán Fülöp (Szeged, Hungary)
- Paul Gastin (Paris-Saclay, France)
- Peter Kostolányi (Bratislava, Slovakia)
- Jacques Sakarovitch (Paris, France)
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 September 1, 2023 to wata2023@informatik.uni-leipzig.de. 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 September 8, 2023. We plan to accept contributions close to their submission date.
Call for Papers
We secured a special issue of Information and Computation on the topics of this workshop. Participation at WATA 2023 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 via the standard publisher platform Editorial Manager for the special issue VSI:WATA 2023. Preferably please also send a PDF to each of the two editors of the special issue.
- Manfred Droste droste@informatik.uni-leipzig.de
- Andreas Maletti maletti@informatik.uni-leipzig.de
The deadline for submission is April 15, 2024. We intend to ensure a quick refereeing process.
Important Dates
| Submission of abstracts: | September 1, 2023 |
| Application for financial support: | September 1, 2023 |
| Notification of acceptance: | September 8, 2023 |
| Registration: | September 15, 2023 |
| Workshop: | October 4–7, 2023 |
| submission for special issue: | December 19, 2023 |
Registration & Financial Support
The registration deadline is September 15, 2023. There is no registration fee. In order to register, please send your name, affiliation, e-mail address, intended length of participation to wata2023@informatik.uni-leipzig.de and state if you want to attend the conference dinner (not for free) or not.
There are limited resources to partially compensate the travel expenses of participating Ph.D. students and young scientists. Please, contact us by September 1, 2023 at wata2023@informatik.uni-leipzig.de to give us enough time to make a fair decision.
Schedule
The workshop will start on Wednesday, October 4, 2023 at 9am and will close with lunch on Saturday, October 7, 2023.You can find the time table of the scientific programme here.
Informal Get-Together & Conference Dinner
On Tuesday, October 3, 2023 (public holiday), starting at 7pm, there will be an informal get-together at Barfusz, Markt 9 (directly at Barfussgässchen next to the old market).
Our conference dinner is planned for Friday, October 6, 2023 starting at 7pm at Ratskeller, Neues Rathaus Leipzig, Lotterstraße 1 (map).
Conference Location
Leipzig University, Paulinum,
Felix-Klein-Hörsaal
(5th floor, room P501),
Augustusplatz 10, Leipzig
Accommodation
We kindly ask participants to book rooms by themselves.
We have pre-reserved a limited number of rooms, keyword "WATA", near the main station, for the participants of WATA 2023. Please note the expiration dates of the special pre-reservations, so please book your room before expiration.
-
Intercity Hotel Leipzig
Tröndlinring 2
04105 Leipzig
(reserved until September 5, 2023)
Single and double rooms cost 99 and 119 euros per night, respectively, including breakfast. These rates also include free tickets for public transit for the duration of your stay. You can book these rooms by calling +49 341 308 661 888 and mention the keyword "WATA". Cancellation is possible free of charge a week before the planned arrival day.
Travel Information
From Airport Leipzig-Halle there is an Airport Express operated by Deutsche Bahn and regional trains in a 30-minutes-cycle (26 and 52 minutes on the hour). The journey lasts 12 or 16 minutes (for S5 X and S5, respectively) and the fare is 5,40 Euro. You can purchase tickets directly at the train station or online via DB (choose from "Leipzig/Halle Flughafen" to "Leipzig Hbf").
There are taxi stands in front of Terminal B at the airport and in the city center of Leipzig, e.g., in front of the main railway station. The travel from the airport to the city center takes about 30 minutes and costs approximately 50 Euros.
Further Information
- Leipzig University
- Stadt Leipzig, city of Leipzig
- Gewandhaus zu Leipzig
- Leipzig Opera
- Leipzig Theater
- Leipzig Museum of Fine Arts
- city magazine with activities, addresses etc. (only in German)
- public transportation in Leipzig
Here is a map of the city center of Leipzig.
View Larger Map
Organizers
- Manfred Droste
Leipzig University
Institute of Computer Science
D-04009 Leipzig, Germany
Tel.: +49-341-9732200
Fax: +49-341-9732209
E-Mail: droste@informatik.uni-leipzig.de - Andreas Maletti
Leipzig University
Institute of Computer Science
D-04009 Leipzig, Germany
Tel.: +49-341-9732201
Fax: +49-341-9732209
E-Mail: maletti@informatik.uni-leipzig.de
If you have requests concerning WATA 2023, please send an e-mail to
wata2023@informatik.uni-leipzig.de.