Weighted Automata: Theory and Applications
May 22–26, 2018, 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 and Survey Lectures
We are happy to announce the following tutorials and survey lectures.
Tutorials
- Mikołaj Bojańczyk (Warsaw, Poland)
- Frank Drewes (Umeå, Sweden)
- Borja de Balle Pigem (Amazon, Cambridge, England)
Survey Lectures
- Zoltán Fülöp (Szeged, Hungary)
- Paul Gastin (Cachan, France)
- Werner Kuich (Wien, Austria)
- Kim Larsen (Aalborg, Denmark)
- Sebastian Maneth (Bremen, Germany)
- Benjamin Monmege (Marseille, France)
- Jacques Sakarovitch (Paris, France)
Titles of Tutorials, Survey Lectures, and Accepted Talks
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 March 8, 2018 to wata2018@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 March 22, 2018.
Call for Papers
There will be a special issue of Information and Computation on the topics of this workshop. Participation in WATA 2018 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 each of the three editors of the special issue. Please send your files to:
- Manfred Droste droste@informatik.uni-leipzig.de
- Andreas Maletti maletti@informatik.uni-leipzig.de
- Heiko Vogler heiko.vogler@tu-dresden.de
The deadline for submission is October 31, 2018. We intend to ensure a quick refereeing process.
Important Dates
submission of abstracts: | March 8, 2018 |
application for financial support: | March 8, 2018 |
notification of acceptance: | March 22, 2018 |
registration: | April 22, 2018 |
workshop: | May 22-26, 2018 |
submission for special issue: | October 31, 2018 |
Pictures
Pictures can be viewed here (password protected).
Registration and Financial Support
The registration deadline is April 22, 2018. There is no registration fee. In order to register, please send your name, affiliation, e-mail address, intended length of participation to wata2018@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 March 8, 2018 at wata2018@informatik.uni-leipzig.de to give us enough time to make a fair decision.
Schedule
The workshop will start on May 22 at 9am will close with lunch on May 26.You can find the time table of the scientific programme here.
Informal Get-Together and Conference Dinner
On Monday, May 21, 2018 (public holiday), starting at 19:00, 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 Thursday, May 24, starting at 19:00, at Ratskeller, Neues Rathaus Leipzig, Lotterstraße 1.
There will be a goodbye lunch on Saturday, May 26, starting at 13:00, at Hans im Glück, Augustusplatz 14, directly in front of the university.
Cultural Event
You can join us for a visit to Panometer Leipzig. We will depart directly at 15:00 on Thursday, May 24, by public transport. Details will be announced at the workshop.
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 2018", near the main station and in the city center, for the participants of WATA 2018. Please note the expiry dates of the reservations.
-
Intercity Hotel Leipzig
Tröndlinring
04105 Leipzig
(reserved until 26th March 2018)
- Hotel Ibis/Hotel Ibis budget
Reichsstraße 17/19
04109 Leipzig
(reserved until 28th February 2018)Single rooms cost about 90/60 euros per night, including breakfast. The booking forms Hotel Ibis and Hotel Ibis budget contain further information concerning pricing, contact details, and booking modalities.
Single and double rooms cost 85 and 105 euros per night, respectively, including breakfast. You can book these rooms by sending an email. Cancellation is possible free of charge before 18:00 on 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. The journey lasts 13 or 19 minutes (for S5 X and S5, respectively) and the fare is 4,60 Euro. You can purchase tickets directly at the train station or online via DB (choose "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 about 40 Euro.
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
- If you come a few days earlier, you may experience the largest European Gothic festival in Leipzig:
WGT May 18–21, 2018.
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 - Heiko Vogler
Technische Universität Dresden
Faculty of Computer Science
Institute of Theoretical Computer Science
D-01062 Dresden, Germany
Tel.: +49-351-463-38232
Fax: +49-351-463-37959
E-Mail: Heiko.Vogler@tu-dresden.de
If you have requests concerning WATA 2018, please send an e-mail to
wata2018@informatik.uni-leipzig.de.
Support
This workshop is supported by:
- Research training group Quantitative Logics and Automata of the Deutsche Forschungsgemeinschaft
- Research Academy Leipzig