matematiflo
matematiflo@mathstodon.xyz
<p>Mathematician. Working at the Institute for Mathematics, Heidelberg University.</p>
Posts
-
Post #2374286
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 and @mevenlennonbertrand among the speakers 😊 Registration deadline: May 24th, 2026. Spread the word! 🫶 https://matematiflo.github.io/ProofWorkshop2026/