[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