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

Beschreibung

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.