real-time systems

6th Int. Workshop - Weighted Automata: Theory and Applications 2012

Abbreviated Title: 
WATA 2012
Call for Participation
Event Dates: 
29 May 2012 to 2 Jun 2012
Location: 
Technische Universität Dresden
City: 
Dresden
State: 
Saxony
Country: 
Germany
Contact: 
Heiko Vogler
Manfred Droste
Contact Email: 
Heiko.Vogler [at] tu-dresden.de
droste [at] informatik.uni-leipzig.de

The workshop covers all aspects of weighted automata, ranging from the theory of weighted automata and quantitative 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 present their own technical contribution in this area.

Tutorials:

  • Javier Esparza and Michael Luttenberger (Munich, Germany)
  • Orna Kupfermann (Jerusalem, Israel)
  • Anoop Sarkar, provisional (Burnaby, Canada)
ACL-Sponsored Event: 
0
Subscribe to RSS - real-time systems