[loginf] WATA 2006 announcement

Prof. Franz Baader baader at tcs.inf.tu-dresden.de
Wed Jul 20 12:53:00 CEST 2005


Weighted Automata: Theory and Applications
March 27-31, 2006
Leipzig University, Germany

The workshop should cover all aspects of weighted automata,
ranging from the theory of formal power series to quantum
automata and applications as 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 present their
own technical contribution in this area.

Tutorials:

J. Albert (Wuerzburg)
J. Gruska (Brno)

Survey lectures:

C. Baier (Bonn)
S. Bozapalidis (Thessaloniki)
Z. Esik (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.

Submission:
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.

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 10,
2006. All submissions will be refereed according to the usual
journal standards.

Registration:
Interested participants are most welcome.
There might be a small conference fee to cover coffee breaks.

Important dates:
deadline for submission of abstracts    December 18, 2005
notification of acceptance              January 10, 2006
registration                            February 1, 2006
workshop:                               March 27-31, 2006
submission of papers                    May 10, 2006

Further information:
http://www.informatik.uni-leipzig.de/theo/wata06.html
---------------------------------------------------------------

Manfred Droste                        Heiko Vogler
Leipzig University                    Dresden University of Technology
Institute of Computer Science         Inst. of Theor. Computer Science
D-04009 Leipzig, Germany              D-01062 Dresden, Germany

Tel.: +49-341-97-32200                Tel.: +49-351-463-38232
Fax: +49-341-97-32209                 Fax: +49-351-463-37959
droste at informatik.uni-leipzig.de      vogler at inf.tu-dresden.de




More information about the loginf mailing list