Online Constructive Methods In Computing Science: International Summer School Directed By F.l. Bauer, M. Broy, E.w. Dijkstra, C.a.r. Hoare