International Conference on Formal Structures for Computation and Deduction (10. : 2025 : Birmingham) Bezüge im Wissensnetz Veranstaltungsort (1) GND Birmingham Homepage (1) GND fscd2025.github.io