Team:    HDoz Dr. Dietrich Kuske    Dr. Rolf Hartwig    Priv.-Doz. Dr. Daniel Kirsten    Dr. Ingmar Meinecke    Dipl.-Math. Christian Mathissen    Dr. Ina Fichtner    MSc Karin Quaas Extern    Dipl.-Math. Ulrike Püschmann    Dipl.-Math. Georg Ulbrich

Former PhD students:    Dr. Kay Nüßler    Dr. Paolo Boldi (Milano)    Dr. Ralph Kummetz    HDoz Dr. Dietrich Kuske    Dr. Ina Fichtner    Dr. Ingmar Meinecke Habilitations:    Priv.-Doz. Dr. Daniel Kirsten    HDoz Dr. Dietrich Kuske

Publications   Research project: Weighted automata and weighted logics for discrete structures (DFG - German Research Foundation) Postgraduate Program / Graduiertenkolleg Wissensrepräsentation (Uni Leipzig) Postgraduate Program / Graduiertenkolleg (TU Dresden)   Member of the editorial board of "Forum Mathematicum" (from 2009) "Journal of Automata, Languages and Combinatorics" "Advances in Computer Science and Engineering" "Semantic Structures in Computation" (book series), Kluwer Academic Publishers "Algebra and Discrete Mathematics" (book series), World Scientific Publishers,   Program committee memberships "2nd CTRQ 2009" "Algebraic Informatics 2009" "33rd MFCS 2008" "5th IFIP TCS 2008" "1st Conf. Foundations of Informatics, Computing and Software (FICS) 2008" "Language and Automata Theory and Applications (LATA) 2008" Conferences hosted: Groups and Topological Groups June 20-21, 2008, Leipzig Weighted Automata: Theory and Applications May 13-16, 2008, Dresden, Germany Theorietag "Automaten und Formale Sprachen" 27.-29. September 2007, Leipzig, Deutschland WEIGHTED AUTOMATA: THEORY AND APPLICATIONS March 27 - 31, 2006, in Leipzig, Germany GROUPS and TOPOLOGICAL GROUPS July 2 - 3, 2004, Universität Leipzig WEIGHTED AUTOMATA: THEORY AND APPLICATIONS June 1 - 5, 2004, Dresden, Germany   GROUPS and TOPOLOGICAL GROUPS June 27 - 29, 2002, Dresden, Germany WEIGHTED AUTOMATA: THEORY AND APPLICATIONS March 4 - 8, 2002, Dresden, Germany EURESCO CONFERENCE "ALGEBRA and DISCRETE MATHEMATICS" , August 18 - 23, 2001 COLLOQUIUM ON ORDERED GROUPS August 16, 2001 CONFERENCE "ALGEBRA, MODEL THEORY and THEORETICAL PHYSICS", February 9 - 11, 2001 DAGSTUHL-SEMINAR "LOGIC, ALGEBRA, and FORMAL VERIFICATION of CONCURRENT SYSTEMS" , November 26 - December 1, 2000 "COLLOQUIUM LOGICUM 2000",  September 22 - 24, 2000 "LOGIC AND ALGEBRA IN CONCURRENCY", September 13 - 16, 2000 AAA60 (ARBEITSTAGUNG ALLGEMEINE ALGEBRA),  June 22 - 25, 2000