Mathematician. Working at the Institute for Mathematics, Heidelberg University.
Remote
Mathematician. Working at the Institute for Mathematics, Heidelberg University.
0
Followers
0
Following
4
Posts
Joined December 20, 2024
Website:
GitHub:
YouTube:
Posts
matematiflo
@matematiflo@mathstodon.xyz
mathstodon.xyz
Replying to
@de_Jong_Tom@mathstodon.xyz
@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
Open post
matematiflo
@matematiflo@mathstodon.xyz
Mathematician. Working at the Institute for Mathematics, Heidelberg University.
mathstodon.xyz
Replying to
@jeanas@mathstodon.xyz
@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
1
1
0
0
Open post
matematiflo
@matematiflo@mathstodon.xyz
Mathematician. Working at the Institute for Mathematics, Heidelberg University.
mathstodon.xyz
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! 🫶
5
8
13
0
Open post
matematiflo
@matematiflo@mathstodon.xyz
Mathematician. Working at the Institute for Mathematics, Heidelberg University.
mathstodon.xyz
Replying to
@oantolin@mathstodon.xyz
@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)
0
0
0
0
Remote instance
mathstodon.xyz
Open on original server