Willkommen auf der Homepage der Abteilung
Automaten und Sprachen

Aktuelles

Mitarbeiter:

    Leiter der Abteilung:
     Prof. Dr. Manfred Droste  Zi. 4-38,  Tel. +49-341-97 32200  
    Sekretärin
     Andrea Hesse  Zi. 4-44,  Tel. +49-341-97 32241,  Fax: +49-341-97 32209
    Wissenschaftliche Mitarbeiter:
     Dr. Gabor Braun  Zi. 4-39  Tel. +49-341-97 32202  
     Doreen Götze  Zi. 4-40  Tel. +49-341-97 32345  
     Dr. Rolf Hartwig  Zi. 4-39,  Tel. +49-341-97 32202,  Fax: +49-341-97 32207
     Dr. Ingmar Meinecke  Zi. 4-43,  Tel. +49-341-97 32172   
     Vitaly Perevoshchikov  Zi. 3-33,  Tel. +49-341-97 32312  
     Dr. Karin Quaas  Zi. 3-30,  Tel. +49-341-97 32328  
     Thomas Weidner  Zi. 4-40  Tel. +49-341-97 32345  
 

Emeritus:

     Prof. Dr. Siegmar Gerber    Tel. +49-341-97 32102  
 

Drittmittelprojekte / current projects:

  • DFG (German Research Foundation): Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen
  • DFG-Projekt: Verifikation von gewichteten Zeitautomaten (headed by Dr. Karin Quaas)
  • DAAD-Leonhard-Euler-Projekt 2010/2011 "Algorithmen für Modelle in der reinen und angewandten Mathematik"
  • DAAD-Leonhard-Euler-Projekt 2011/2012 "Algorithmen für Modelle in der Kodierungstheorie, Kryptographie und Robotik"
  • DFG-Projekt 2010/2011 und 2011/2012 zur Initiierung und Intensivierung binationaler Kooperation mit Thailand

Konferenzen / Conferences organized:

     WATA 2012  Weighted Automata: Theory and Applications  
     Groups and Model Theory  Interaction between Group and Model Theory with emphasis Abelian Group Theory  
     WATA 2010  Weighted Automata: Theory and Applications  
     Dagstuhl-Seminar 2010  Quantitative Models: Expressiveness and Analysis  
     ESF-Workshop  Distance Automata and Generalisations  
     AAL09  Automata in Algorithmic Logic  
     DNTTT'08  Developments and new tracks in trace theory  
     GTG 2008  Groups and Topological Groups  
     WATA 2008  Weighted Automata: Theory and Applications  
     Dagstuhl-Seminar 2007  Algorithmic-logical theory of infinite structures  
     Theorietag 2007  Tagung der GI-Fachgruppe "Automaten und Sprachen"  
     WATA 2006  Weighted Automata: Theory and Applications  
     GTG 2004  Groups and Topological Groups  

Adresse

Abteilung Automaten und Sprachen
Institut für Informatik
Universität Leipzig
Johannisgasse 26
04103 Leipzig

  
 
 

Anfahrt zum IfI

Postanschrift

Universität Leipzig
Institut für Informatik
PF 100920
D-04009 Leipzig
Germany