Sections

Subpages

Previous Workshops

6th International Workshop

Weighted Automata: Theory and Applications

WATA 2012
May 29 – June 2, 2012, Dresden, 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. Moreover, we encourage everybody to participate in this workshop and present their own technical contribution in this area.

Tutorials and Survey Lectures

We are happy to announce the following tutorials and survey lectures:

Tutorials

Survey Lectures

… and a special session honoring Werner Kuich on the occasion of his 70th birthday.

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) until March 16, 2012 to Manfred Droste and Heiko Vogler. Authors will be informed about acceptance of their submission before March 31, 2012.

Call for Papers

There will be a special issue of Theoretical Computer Science TCS-A devoted to the topic of this workshop. We invite submissions to this issue which should contain original research on weighted automata or tightly related areas. Participation in the above workshop is encouraged, but is not a prerequisite for a submission.

All submissions will be refereed according to the usual high journal standards.

Authors are asked to submit their paper preferably in pdf (or postscript) to each of the editors of the special issue: Manfred Droste and Heiko Vogler. The deadline for submission is July 30, 2012. We intend to ensure a quick refereeing process.

Important Dates

Registration

Deadline for registration is April 27, 2012. There is no registration fee. In order to register, please send your name, affiliation, e-mail, intended length of participation to Heiko.Vogler@tu-dresden.de and state if you want to participate in the conference dinner (not for free) or not.

We will place your name and affiliation on the list of participants, if you do not revoke explicitly. Also, notice our data protection declaration.

Scientific Programme

Here is the list of contributions which are presented at the workshop. You can find the provisional time table of the scientific programme here. Here you can find the proceedings.

Informal Get Together and Conference Dinner

Conference Location

Technische Universität Dresden, Fakultät Informatik, Nöthnitzer Straße 46, Room E023


Größere Kartenansicht

Cafeteria, Mensa

There is a small cafeteria (ASCII) in the foyer of the Fakultät Informatik. A large cafeteria and a mensa (Alte Mensa) are located here .

Accommodation

Except for the invited speakers, the participants are asked to book a room themselves.

We have pre-reserved a limited number of rooms in the university guest house “Am Weberplatz” (map) for the participants of WATA 2012; first comes, first serve. If you book there, then please refer to WATA 2012.

Alternatively, you can book a room in Pension Käubler, which is located closer to the conference location.

Travel Information

From the Guest House to the Conference Location

A pedestrian route from the guest house “Am Weberplatz” to the conference location can be found here. Of course, you can modify this suggestions and take side ways. This route will need approximately 30 minutes.

If you like to use the local public transport, you can

This tram-bus tour will need approximately 15 minutes.

List of Participants

You can find a list of participants here.

Funding

There are limited resources to partially compensate the travel expenses of participating Ph.D. students and scientists from Middle and East Europe. Please, contact Heiko Vogler for further information not later than March 20, 2012 such that we can make a fair decision.

Further Information

Organizers

If you have requests concerning WATA 2012 please send an e-mail to Heiko Vogler.

Support

This workshop is supported by:

Impressum Data Protection Declaration Picture Source