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

Event Notification Type: 
Call for Participation
Abbreviated Title: 
WATA 2012
Location: 
Technische Universität Dresden
Tuesday, 29 May 2012 to Saturday, 2 June 2012
State: 
Saxony
Country: 
Germany
City: 
Dresden
Contact: 
Heiko Vogler
Manfred Droste

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)

Survey lectures:

  • Frank Drewes (Umeå, Sweden)
  • Zoltán Ésik (Szeged, Hungary)
  • Paul Gastin (Cachan, France)
  • Kevin Knight, provisional (Los Angeles, USA)
  • Kim Larsen (Aalborg, Denmark)
  • Karin Quaas (Leipzig, Germany)