International Conference on Interactive Theorem Proving (16. : 2025 : Reykjavik) Bezüge im Wissensnetz Veranstaltungsort (1) GND Reykjavik Homepage (1) GND itp