[loginf] WATA 2016 announcement

Lohrey, Markus lohrey at eti.uni-siegen.de
Wed Mar 16 13:08:02 CET 2016


Apologies for multiple copies of this announcement

**************************************************************

Weighted Automata: Theory and Applications (WATA 2016)
April 25-29, 2016,
Aalborg University, Denmark

Link:  http://wata2016.gforge.inria.fr/


AIMS AND SCOPE

The WATA conferences cover all aspects of weighted automata, ranging from
the theory of quantitative automata and 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 to present their own
technical contribution in this area. The workshop will provide an
opportunity to present recent and ongoing work, to meet colleagues, and to
discuss new ideas and future trends.


TOPICS OF INTEREST

Typical, but not exclusive topics of interest are:

- weighted and quantitative systems, including weighted automata,
 timed and priced automata, Markovian models, hybrid automata

- Logics and specification formalisms for weighted and quantitative systems

- Metric semantics for weighted and quantitative systems

- Composition and compositional reasoning about weighted and
 quantitative systems

- Algorithmic aspects

- Learning and synthesizing weighted and quantitative systems



TUTORIAL SPEAKERS

Joost-Pieter Katoen
Jacques Sakarovitch


INVITED SPEAKERS

Andreas Maletti
Karin Quaas
Manfred Droste
Heiko Vogler
Nicolas Markey
Franck van Breugel
Mikolaj Bojanczyk
Uli Fahrenberg
Jan Kretinsky
Dietrich Kuske
Ines Klimann
Flemming Nielson
Manfred Jaeger
Kim G. Larsen
Axel Legay
Radu Mardare


SUBMISSION

Interested participants are welcome to submit one-page abstracts of
presentations. Submission of interesting results already published
elsewhere is allowed, indeed encouraged.

Submission of abstracts is handled through EasyChair.
The submission link is

https://www.easychair.org/conferences/?conf=wata16

Presentations will be selected on the basis of submitted abstracts.


IMPORTANT DATES

Submission Deadline      March 29, 2016.
Notification             April 4, 2016
Final Version Due        April 11, 2016


PUBLICATION

There will be a special issue of TCS-A devoted to the topic of this
workshop. We will invite submissions to this issue, which should contain
original research on weighted automata or tightly related areas.

Participation in WATA 2016 is encouraged, but will not be a
prerequisite for a submission. All submissions will be refereed
according to the usual high journal standards.

Editors of this special issue will be
Manfred Droste, Kim G. Larsen, Axel Legay, Radu Mardare, and Heiko Vogler


ORGANIZING COMMITTEE

Kim G. Larsen (Aalborg, DK)
Axel Legay (Reenes, France)
Radu Mardare (Aalborg, DK)



More information about the loginf mailing list