MoTAGWA 2016: Workshop on Model Theory, Automorphism Groups, and Weighted Automata

Website der Veranstaltung

Datum und Uhrzeit

17.06.2016, 08:30 - 17:45 Uhr
Im Kalender speichern


Technische Universität Dresden, Fakultät Informatik
Nöthnitzer Str. 46
01187 Dresden, Deutschland


We mark the 60th birthday of our friend Manfred Droste by a scientific meeting that consists of six invited talks. These invited talks are intended to represent Manfred's research interests in mathematics and in computer science. More specifically they cover infinite Abelian groups, infinite permutation groups, rational languages, weighted automata, and the verification of quantitative models – areas that Manfred contributed to over the last years, still contributes to and will certainly contribute to over the years to come.

We have the pleasure that five of his many collaborators and a former student of his late supervisor agreed to present these talks:

  • Paul Gastin (LSV, ENS Cachan & CNRS, France)
  • Kim Larsen (Aalborg, Denmark)
  • Dugald Macpherson (Leeds, UK)
  • Jacques Sakarovitch (CNRS / Telecom-ParisTech, France)
  • Lutz H. Strüngmann (Mannheim, Germany)
  • John K. Truss (Leeds, UK)

We invite all of Manfred’s friends, collaborators, colleagues, students, and of course everybody interested in the talks to join this scientific event.


Heiko Vogler

Nachricht senden