Martin-Luther-Universität Halle-Wittenberg

Kontakt

Theoretische Informatik
Institut für Informatik

Telefon: ++49-345-55 24751
Telefax: ++49-345-55 27009

Von-Seckendorff-Platz 1
06120 Halle

Weiteres

Login für Redakteure

Forschung

Forschungsinteressen

  • Automaten auf unendlichen Objekten
  • Algorithmische Informationstheorie
  • Fraktale Geometrie
  • Berechenbarkeit in der Analysis
  • Fehlerkorrigierende Codes

Forschungsportal Sachsen-Anhalt

Ludwig Staiger   

Konferenzen (veranstaltet)

19. Theorietag "Automaten und Formale Sprachen"    
2009, Wittenberg

22nd Workshop on (Constraint) Logic Programming
2008, Dresden

Sixth International Workshop on Computability and Complexity in Analysis   
2004, Wittenberg

12. Theorietag "Automaten und Formale Sprachen"    
2002, Wittenberg

Eingeladene Vorträge

20ste Internationale Konferenz über
Beschreibungskomplexität formaler Systeme (DCFS 2018)   

Halifax, 25. - 27. Juli 2018

EQUINOCS meeting   
23. Januar 2013, Grenoble

International Workshop on Theoretical Computer Science   
2012, Auckland

7ter Workshop über  Beschreibungskomplexität formaler Systeme
(DCFS 2005)
2005, Como, Italien

Gewichtete Automaten: Theorie und Anwendungen (WATA 2004)
2004, Dresden

17th "Summer" Topology Conference   
2002, Auckland

Workshop on Constructivity, Complexity, and Fuzziness
1999, Galatzi, Romania

Zum Seitenanfang