Forschungsschwerpunkte

Unsere Forschungsschwerpunkte sind

Zu Zwecken der Forschung und Lehre entsteht an unserem Lehrstuhl ein Open-Source-Übersetzungssystem namens Vanda. Mit diesem System sollen Kenntnisse aus den Vorlesungen wie auch Erkenntnisse aus der Forschung greifbar werden.

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 2018WATA 2016WATA 2014 • 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.

Stand: 02.10.2017 10:04 Uhr