Research Areas

Our research areas are as described on our topics page:

• Weighted Tree Automata and Tree Transducers
• Machine Translation

Workshop Weighted Automata: Theory and Applications

This workshop is a joint effort of our chair and the chair of Automata and Languages at the University of Leipzig. Starting in 2002, it took place every other year, and since 2004 venues alternated between Dresden and Leipzig.

Further information: WATA 2012 • WATA 2010 • WATA 2008 • WATA 2006 • WATA 2004 • WATA 2002

Ph.D. Graduates

list of Ph.D. graduates

Postgraduate Programme

Our chair participates in the new postgraduate programme “Quantitative Logics and Automata (QuantLA)”.

Our chair participated in the postgradate programme Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken, which started in 1997 and ended in 2005.