Elektrine lite

โ† Feed

@matematiflo@mathstodon.xyz

Post #2374286

2026-05-09 12:33 UTC

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/

Replies (3)

  • @jeanas@mathstodon.xyz 2026-05-09 12:58

    @matematiflo@mathstodon.xyz @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info This looks cool. Do you know how much background will be assumed for Felix Cherubini's synthetic algebraic geometry course? Can I expect to be able to follow, as someone who's familiar with homotopy type theory but not as much as I would like with its semantics, and who knows a few basic facts of algebraic geometry at the level of varieties but doesn't know a thing about schemes?

    Open ##2510878

  • @matematiflo@mathstodon.xyz @de_Jong_Tom@mathstodon.xyz Looking forward to it!

    Open ##2510881

  • @matematiflo@mathstodon.xyz @de_Jong_Tom@mathstodon.xyz @mevenlennonbertrand@lipn.info Hey, this sounds super interesting! Would theoretically a bachelor student also able to attend this workshop? And if so, do you think someone at that level (me ๐Ÿ˜…) would realistically get enough out of it for it to be worthwhile? Sorry if these are slightly odd questions โ€” I just have basically no idea how workshops like this usually work.

    Open ##2510882