Forschungsschwerpunkte

Unsere Forschungsschwerpunkte sind wie auf der Themen-Seite beschrieben:

• Gewichtete Baumautomaten und Baumübersetzer
• Maschinelle Übersetzung

Workshop Weighted Automata: Theory and Applications

Dieser Workshop ist eine Gemeinschaftsarbeit unseres Lehrstuhls und der Abteilung Automaten und Sprachen der Universität Leipzig. Er fand seit 2002 alle zwei Jahre statt, seit 2004 abwechselnd in Dresden und Leipzig.

Weitere Informationen: WATA 2012 • WATA 2010 • WATA 2008 • WATA 2006 • WATA 2004 • WATA 2002

Abgeschlossene Promotionen

Liste der abgeschlossenen Promotionen

Graduiertenkolleg

Unser Lehrstuhl nimmt an dem neuen Graduiertenkolleg „Quantitative Logics and Automata (QuantLA)“ teil.

Unser Lehrstuhl hat am Graduiertenkolleg Spezifikation diskreter Prozesse und Prozeßsysteme durch operationelle Modelle und Logiken teilgenommen, welches von 1997 bis 2005 von der DFG gefördert wurde.