Post #1475621
2026-04-20 06:44 UTC
The 37th European Summer School in Logic, Language and Information
(ESSLLI 2026) will take place on 3-14 August in Prague.
https://2026.esslli.eu
I'm excited that I'll be teaching an introductory course on univalent foundations / homotopy type theory!
@stringdiagram and @jaklt will also be running an interesting workshop titled "Semantics and compositionality for expressiveness and complexity".
Early registration closes on 31st May.
Replies (0)
No replies.