1

2 Table of Contents: “... at the University of Ulm -- Contributors with Papers -- Contributors without Papers...”

3 “... of the University of Ulm, Germany, where he is professor. He is the author of Symmetry Analysis of Differential...”

4 “..., is affiliated with the Mathematical Physics Division of the University of Ulm, Germany, where he is professor...”

5 “... the working group of Prof. Carsten Streb in the inorganic department at the University of Ulm to work on his...”

6 “..., at the University of Ulm, is part of this global network...”

7 “... was given by F.W. von Henke (University ofUlm) on Mechanized formal methods and system design...”

8

9 “... has been held at the University of Ulm. This volume contains the essential parts and presentations...”