posted by user: grupocole || 4277 views || tracked by 3 users: [display]

WATA 2016 : Weighted Automata: Theory and Applications

FacebookTwitterLinkedInGoogle

Link: http://wata2016.gforge.inria.fr/
 
When Apr 25, 2016 - Apr 29, 2016
Where Aalborg University, Denmark
Submission Deadline Mar 29, 2016
Notification Due Apr 4, 2016
Final Version Due Apr 11, 2016
Categories    NLP   theoretical computer science
 

Call For Papers

********************** Please excuse multiple postings ********************

WATA 2016: Weighted Automata: Theory and Applications
Link:http://wata2016.gforge.inria.fr/

April 25-29, 2016, Aalborg University, Denmark

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
- 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

SUBMISSION and PUBLICATION

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

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

ORGANIZING COMMITTEE

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

Related Resources

DSTAA 2019   Taylor and Francis - DSTAA 2019 : Call for Book Chapters - Data Science: Theory, Analysis, and Applications
NAACL-HLT 2019   Annual Conference of the North American Chapter of the Association for Computational Linguistics
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
ACL 2019   57th Annual Meeting of the Association for Computational Linguistics
ICCMIT 2019   Special Session on Advances in Data Science Theory and Interdisciplinary Applications - 5th International Conference on Communication, Management and Information Technology
Petri Nets 2019   Applications and Theory of Petri Nets
JoL 2018   International Journal of Law
NLE-DL 2018   Natural Language Engineering Special Issue on Informing Neural Architectures for NLP with Linguistic and Background Knowledge
ICITA 2019   International Conference on Information Technology and Applications
15th AIAI 2019   15th Artificial Intelligence Applications and Innovations conference