1 Table of Contents: “... Controllers -- Games for Dependent Types -- Short Proofs of the Kneser-Lovász Coloring Principle -- Provenance...”

2 “... approaches for drug lead discovery and optimization have proven successful in many recent research programs...”

3 “... of input values might be large and the algorithm and the model have to be improved. The use of interval...”