I’m thankful there are only seven Millenium Prize Problems. Maybe when they’re done claiming to have “solved” them all, they’ll leave us alone.
Remote
matematiflo
@matematiflo@mathstodon.xyz
mastodon 4.7.2Mathematician. Working at the Institute for Mathematics, Heidelberg University.
88 Followers
162 Following
5 Posts
Joined December 20, 2024
Website:
GitHub:
3-day workshop on Formal Proof and Synthetic Mathematics to be held in Heidelberg, 24-26 June 2026!
2 mini-courses + 6 research talks
@de_Jong_Tom@mathstodon.xyz and @mevenlennonbertrand@lipn.info among the speakers 😊
Registration deadline: May 24th, 2026.
Spread the word! 🫶
Replying to
@chrisTheClimber@mathstodon.xyz
I agree with everything @de_Jong_Tom@mathstodon.xyz said, and you are certainly welcome to attend the event in Heidelberg! I’m sure you will always get something out of the lectures and talks, so if you are interested in the topic and you have the possibility to attend, I think it would be worth it ☺️
@mevenlennonbertrand@lipn.info
Replying to
@jeanas@mathstodon.xyz
Oh, absolutely! You already have a strong background in type theory, so I am not worried at all :) Hope to see you there!
@de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info
Replying to
@oantolin @andrejbauer Exactly, you didn’t state what was meant by rotation, so it should be fine 😇 I enjoyed the podcast as well! (as usual with #aboutlogic)