Time: 17:00-18:00, Tuesday, June 23, 2026
Venue: E14-215, Yungu Campus
Speaker: Laurent Lafforgue, Lagrange Centre
Title: Topological translation of first-order logic
Abstract: In this talk, a translation from first-order logic to topos theory to Grothendieck topologies, already mentioned in my talk on June 16, will be further described and applied.
