The workshop should cover all aspects of weighted automata, ranging from the theory of formal power series and probabilistic 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. Moreover, we encourage everybody to participate in this workshop and present their own technical contribution in this area.
We are happy to announce the following tutorials and survey lectures:
Tutorials:
|
Survey lectures:
|
Interested participants are most welcome. If you wish to present a technical contribution, please send us an abstract (preferably of at most one page) as soon as possible. Authors will be informed about acceptance of their submission before March 25, 2010.
There will be a special issue of Acta Cybernetica on the topic of this workshop. Submissions could be either survey articles or research papers. Participation in the above workshop is encouraged, but is not a prerequisite for a submission. All submissions will be refereed according to the usual journal standards.
Authors are asked to submit their paper preferably in pdf (or postscript) to both of the editors of the special issue: Manfred Droste and Heiko Vogler (see below). Please follow the instructions on the web-page Acta Cybernetica shown under the topic "Author Kit for Manuscript Preparation".
The deadline for submissions is July 10, 2010. We intend to ensure a quick refereeing process. Authors of published papers will be provided with 50 reprints free of charge.
Deadline for registration is April 8, 2010. There is no registration fee. In order to register, please send your name, affiliation, e-mail, intended length of participation to droste@informatik.uni-leipzig.de and state if you want to participate in the conference dinner (not for free) or not.
Since this workshop is supported by the ESF-project AutoMathA, we might be able to partially support the participation in the workshop. Priority will be given to speakers and to young participants. In case you are interested in this, please let us know with your registration.
The updated schedule of the scientific programme can be found here.
Here you can find a detailed scientific programme.
Leipzig University, Rektoratsgebäude, Neuer Senatssaal (2nd floor), Ritterstraße 26, Leipzig
We have reserved in the university guest houses
for all invited speakers and further participants a limited number of rooms.
"Villa Tillmanns" can be reached on foot or by tram. Tram line 9 takes you from main station (Hauptbahnhof Westseite) 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":
The guest house "Ritterstraße" 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":
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 Horschig for booking of accommodation daily between 7 a.m. and 3.30 p.m.
Important: On Sunday, there is no staff at the guesthouses. Therefore please note the procedure to obtain the keys.
If you tell us your arrival date and time at the main train station, it might be possible to meet you there with the keys.
Other hotels can be found via this link.
From Airport Leipzig-Halle there is an Airport Express operated by Deutsche Bahn and regional trains in a 30-minutes-cycle (24 and 54 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,60 Euro. Tickets are available at ticket machines at the platform. In-between there are more expensive Intercity trains. Here you can find a timetable.
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 Euro.
The guest house "Ritterstraße" and the conference location 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 upcoming notes under "Accommodation". If you plan to use trams or buses every day, you may buy a ticket for one week (in German: "Wochenkarte") for 17,40 Euro.
Here is a map of the city centre of Leipzig:
View Larger Map
| 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 |
Paul Gastin LSV, CNRS & ENS de Cachan 61, avenue du Président Wilson 94235 CACHAN Cedex, France Tel.: +33 (0)1 47 40 75 60 Fax: +33 (0)1 47 40 75 21 E-Mail: Firstname dot Name at lsv dot guess the rest |
| Werner Kuich Institut für Diskrete Mathematik und Geometrie, TU Wien Wiedner Hauptstraße 8-10/104 A-1040 Wien, Austria Tel.: +43 1 58801 11820 Fax: +43 1 58801 10499 E-Mail: kuich@tuwien.ac.at |
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 2010 please send an e-mail to Manfred Droste.
This workshop is supported by:
March 31, 2010/im