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:
Tutorials:
- 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 https://www.informatik.uni-leipzig.de/theo/wata06callpaper.html.
Important Dates:
- submission of abstracts: December 18, 2005
- notification of acceptance: January 10, 2006
- registration: February 20, 2006
- workshop: March 27-31, 2006
- submission of papers: May 31, 2006
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:
- Informal get together: Sunday, March 26, starting around 19.00, in Gasthaus Alte Nikolaischule, Nikolaikirchhof 2.
If you leave the university guest house Ritterstrasse,
just walk ahead. To your left is the church Nikolai-Kirche
which was very important during the revolution in East Germany
in 1989. The restaurant "Alte Nikolaischule" is opposite, to your right.
- Excursion: Wednesday afternoon, March 29.
- Conference dinner: Thursday, March 30, 19.00, in Auerbachs Keller.
Conference location:
Leipzig University, Rektoratsgebäude, Neuer Senatssaal (2nd floor), Ritterstraße 26, Leipzig
Accomodation:
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":
- single room 40 Euro (breakfast excluded)
- double room 46 Euro (breakfast excluded)
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":
- single room 50 Euro (breakfast included)
- double room 60 Euro (breakfast included)
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:
Organizers:
If you have requests concerning WATA 2006 please send an e-mail to Manfred Droste.
Support:
This workshop is supported by:
Further Information:
May 24, 2005/im
