WATA 2016: Weighted Automata: Theory and Applications
Views: 662
When : 2016-04-25
Where : Aalborg University, Denmark
Submission Deadline : 2016-03-29
Categories : Networks & Communications , Software Engineering & Security
WATA 2016: Weighted Automata: Theory and Applications
April 25-29, 2016
Aalborg University, Denmark
Call For Papers
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
- - weighted and quantitative systems, including weighted automata,
timed and priced automata, Markovian models, hybrid
- 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