Follow-up WS to TP "Prospects of Formal Mathematics"

Name: Follow-up WS to TP "Prospects of Formal Mathematics"
Start: 2028-08-28T08:30:00+02:00
End: 2028-09-01T00:00:00+02:00
Location: HIM

August 28 - September 1, 2028 HIM Follow-Up Workshop

Europe/Berlin timezone