Talk by Christoph Wehner on the project "KIProQua"