Forschungsschwerpunkte / Research

• Automata theory, in particular weighted automata and automata models for concurrent and distributed systems

• logic

• verification

• domain theory
  

• ordered algebraic structures
  

• automorphism groups and model theory
  

---

Conferences and Workshops

• AutoMathA 2020/2021/2022
  Jewels of Automata: from Mathematics to Applications

• Theorietag 2021
  Tagung der GI-Fachgruppe "Automaten und Sprachen"

• RAQM 2021
  Recent Advances of Quantitative Models in Computer Science

• WATA 2020/2021
  Weighted Automata: Theory and Applications

• YuriFest 2020
  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

• AutoMathA 2015
  Jewels of Automata: from Mathematics to Applications

• WATA 2014
  Workshop on Weighted Automata: Theory and Applications

• Dagstuhl-Seminar 2014
  Quantitative Models: Expressiveness, Analysis, and New Applications

• GTG 2013
  Groups and Topological Groups

• WATA 2012
  Workshop on Weighted Automata: Theory and Applications

• Groups and Model Theory
  Interaction between Group and Model Theory with emphasis Abelian Group Theory

• WATA 2010
  Workshop on 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
  Workshop on 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
  Workshop on Weighted Automata: Theory and Applications

• GTG 2004
  Groups and Topological Groups

---