What is DynaSym about?

DynaSym is a new research unit funded by the German Research Foundation (DFG).