[Vdp] Logic Café colloquium meetings, Summer term 2025