Hausdorff Institute Trimester

Stream: general

[Jeremy Avigad]

The Hausdorff Institute in Bonn is running a program on formal mathematics from May 6 - August 16, with lots of visitors and three workshops.
https://www.him.uni-bonn.de/programs/future-programs/future-trimester-programs/prospects-of-formal-mathematics/
You can apply for funding to participate. The organizers have said that at this point you can be vague about the dates and leave comments with more information about your constraints. You can also use the comments to clarify your interests in coming. (I am live streaming what we are hearing from Josef Urban and Peter Koekpe here at the business meeting of ITP 2023.)

[Joachim Breitner]

That’s May 6 - August 16 2024, for those who wonder if that isn’t a bit short-notice :)

[Kevin Buzzard]

I'm also an organiser of this so if anyone has any suggestions about what they want to see then do let me know :-)