Our research areas are as described on our topics page:
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.
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.