Willkommen auf der Homepage der Abteilung
Automaten und Sprachen

Aktuelles

Mitarbeiter:

    Leiter der Abteilung:
     Prof. Dr. Dr. h.c. Manfred Droste (i.R.)  Zi. A 402,  Tel. +49-341-97 32200  
    Sekretärin:
     Andrea Hesse  Zi. A 420,  Tel. +49-341-97 32287,  Fax: +49-341-97 32209
    Mitglieder:
     Prof. Dr. Heinrich Herre (i.R.)  Zi. A 418,  Arbeitsgruppe Formale Konzepte
     Priv.-Doz. Dr. Claus Diem  Zi. A 418,    
    Wissenschaftliche Mitarbeiter:
     Priv.-Doz. Dr. Karin Quaas  Zi. A 418,  Tel. +49-341-97 32172  
     Dr. Erik Paul  Zi. A 426,    
     Maria Arndt  Zi. A 426,  Tel. +49-341-97 32202  
     Danil Kiryakin  Zi. A 416,  Tel. +49-341-97 32336  
     Teodora Nasz  Zi. A 406,  Tel. +49-341-97 32212  
     Franz Ruge  Zi. A 406,  Tel. +49-341-97 32212  
     Fabian Tronicke  Zi. A 406,  Tel. +49-341-97 32212  
    GK-Stipendiaten (bis 2022):
     Gustav Grabolle  Zi. P 821,  
     Lena Schiffer  Zi. A 416,  Tel. +49-341-97 32337  
     Kevin Stier  Zi. A 416,  Tel. +49-341-97 32312  
 

Emeritus:

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

Drittmittelprojekte / current projects:

  • DFG-Graduiertenkolleg (2012-2022): Quantitative Logics and Automata
  • DFG-Projekt: Temporal Logics with Constraints (headed by Dr. Karin Quaas)
  • DFG-Projekt 2019/2020 zum Aufbau internationaler Kooperationen mit Serbien
  • DFG (German Research Foundation): Gewichtete Automaten und gewichtete Logiken für diskrete Strukturen
  • DFG-Projekt: Verifikation von gewichteten Zeitautomaten (headed by Dr. Karin Quaas)
  • DFG-Projekt 2014/2015 zum Aufbau internationaler Kooperationen mit China
  • DFG-Projekt 2010/2011 und 2011/2012 zur Initiierung und Intensivierung binationaler Kooperation mit Thailand
  • DAAD-Leonhard-Euler-Projekt 2018/2019 “Mathematische Methoden der Kryptographie und Kodierungstheorie”
  • DAAD-Leonhard-Euler-Projekt 2017/2018 “Dekodierungsalgorithmen, algebraische Geometrie und Computersicherheit”
  • DAAD-Leonhard-Euler-Projekt 2015/2016 “Dekodierungsalgorithmen, Computersicherheit, Numerische Methoden”
  • DAAD-Hungarian Projekt 2014/2015 “Theory and Applications of Automata”
  • DAAD-Leonhard-Euler-Projekt 2013/2014 “Algorithmen für Realzeitsysteme und in der Kryptographie”
  • DAAD-Leonhard-Euler-Projekt 2011/2012 “Algorithmen für Modelle in der Kodierungstheorie, Kryptographie und Robotik”
  • DAAD-Leonhard-Euler-Projekt 2010/2011 “Algorithmen für Modelle in der reinen und angewandten Mathematik”

Konferenzen / Conferences organized:

      Dagstuhl-Seminar 2025 Semirings in Databases, Automata, and Logic  
      Jewels 2024 Jewels of Automata Theory  
      WATA 2023 Weighted Automata: Theory and Applications  
      Theorietag 2021 Tagung der GI-Fachgruppe "Automaten und Sprachen"  
      RAQM 2021 Recent Advances of Quantitative Models in Computer Science  
      WATA 2020, postponed to 2021 Weighted Automata: Theory and Applications  
      YuriFest 2020 (with JAF39) Symposium in honor of Yuri Gurevich's 80th birthday  
      CAI 2019 Conference on Algebraic Informatics  
      WATA 2018 Weighted Automata: Theory and Applications  
      CAI 2017 Conference on Algebraic Informatics  
      WATA 2016 Weighted Automata: Theory and Applications  
      New Pathways between Group Theory and Model Theory A conference in memory of Rüdiger Göbel (1940 – 2014)  
      GTG 2015 Groups and Topological Groups  
      ALFA 2015 Automata, Logic, Formal languages, Algebra  
     AutoMathA 2015 Jewels of Automata: from Mathematics to Applications  
     WATA 2014 Weighted Automata: Theory and Applications  
     Dagstuhl-Seminar 2014 Quantitative Models: Expressiveness, Analysis, and New Applications  
     GTG 2013 Groups and Topological Groups  
     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
Augustusplatz 10     [Neues Augusteum]
04109 Leipzig Anfahrt zum IfI

Postanschrift

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