Logic and Topology in Banach spaces project number I 2374 Internationale Projekte call Lead Agency Verfahren; GACR/Tschechien 2015; GACR/Tschechien project lead decision board 2015/10/05 project details