WATA 2006

Weighted Automata: Theory and Applications

March 27 - 31, 2006,
in Leipzig, Germany

This workshop should cover all aspects of weighted automata, ranging from the theory of formal power series to quantum automata and applications e.g. in digital image processing or model-checking of probabilistic systems. The aim is to present tutorials and survey lectures by outstanding scientists in this area. Moreover, we encourage everybody to participate in this workshop and to present their own technical contribution in this area.

Picture Gallery:

Some impressions of WATA 2006 you can find here.
We are happy to announce the following tutorials and survey lectures:


  • J. Albert (Würzburg)
  • J. Gruska (Brno)

Survey lectures:

  • C. Baier (Bonn)
  • S. Bozapalidis (Thessaloniki)
  • Z. Ésik (Szeged)
  • P. Gastin (Paris)
  • J. Kari (Turku/Iowa)
  • W. Kuich (Wien)
  • I. Meinecke (Leipzig)
  • G. Rahonis (Thessaloniki)

All lecturers are asked to give a survey on their field of interest followed by recent research results.

Call for Participation:

Interested participants are most welcome. If you wish to present a technical contribution, please send us an abstract (preferably of at most one page) before December 18, 2005. Authors will be informed about acceptance of their submission before January 10, 2006.

Call for Papers:

There will be a special issue of the Journal of Automata, Languages, and Combinatorics (JALC) on the topic of this workshop. The deadline for submission of papers is May 31, 2006. All submissions will be refereed according to the usual journal standards. For further information see http://www.informatik.uni-leipzig.de/theo/wata06callpaper.html.

Important Dates:

Registration and financial support:

Deadline for registration is February 20, 2006. There might be a small conference fee to cover coffee breaks.

In order to register, please send your name, affiliation, e-mail, intended length of participation to hesse@informatik.uni-leipzig.de and state if you want to participate in the conference dinner (not for free) or not.

Scientific Programme:

Here you can find

Informal get together, Excursion, and Conference Dinner:

Conference location:

Leipzig University, Rektoratsgebäude, Neuer Senatssaal (2nd floor), Ritterstraße 26, Leipzig


We have reserved in the guest house "Ritterstraße" at Ritterstraße 12 for all invited speakers and further participants a limited number of rooms at an inexpensive rate. The guest house is located directly in the city center, next to the lecture rooms and very close (5 min walking) to the main train station. Breakfast can be easily obtained in many locations near the guest house.

Prices guest house "Ritterstraße":

Moreover, some rooms are reserved in the guest house "Villa Tillmanns" at Wächterstraße 30. Wächterstraße can be reached on foot or by tram. Tram lines 2, 8 and 9 take you to the stop at Neues Rathaus. There you can reach the guest house within three minutes walking distance. Furthermore you can use bus line 89 from main train station directly to the stop Wächterstrasse. Parking is available on the premises.

Prices guest house "Villa Tillmanns":

To obtain these rooms, we ask the "further participants" (participants with technical contributions or without) to register directly at the guesthouses mentioning "WATA". The rooms will be assigned on a first come - first serve basis. For reservations please contact Ms Staeritz for booking of accommodation daily between 7 a.m. and 3.30 p.m.

Please note the procedure to obtain the keys.

Travel information:

From Airport Leipzig-Halle there is an Airport Express operated by Deutsche Bahn in a 30-minutes-cycle (22 and 52 minutes on the hour). The journey lasts 14 minutes, including a stop at the new fairgrounds of the Leipzig Trade Fair, and has a price of 3,40 Euro. Tickets are available at ticket machines at the platform. In-between there are more expensive Intercity trains.

There are taxi stands in front of Terminal B at the airport and in the city centre of Leipzig, e.g. in front of the main railway station. It takes you about 30 minutes to travel to Leipzig main station. The journey to Leipzig main station from the airport will be about 30.00 Euro.

The guest house "Ritterstraße", the conference location, and the main building of Leipzig University (Augustusplatz) are in walking distance of Leipzig main station. Just cross the place and the little park in front of the main station and you enter Ritterstraße, see the city map for further information. For guest house "Villa Tillmanns" see notes above. If you plan to use trams or buses every day, you may buy a ticket for one week (in German: "Wochenkarte") for 14,30 Euro.

Previous WATA-Workshops in 2004 and 2002:


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
Heiko Vogler

Dresden University of Technology
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: vogler@inf.tu-dresden.de

If you have requests concerning WATA 2006 please send an e-mail to Manfred Droste.


This workshop is supported by:

Further Information:

May 24, 2005/im