Program
All times are local to Louvain-la-Neuve, Belgium. The conference ends on Sunday at 13:00.
All talks take place in CYCL01. For directions to the building, see Venue & Local Info.
Saturday 26 September 2026
| Start | End | Speaker / activity | Abstract |
|---|---|---|---|
| Registration | — | ||
| Opening | — | ||
| Jiří AdámekGraduated Categories of Presheaves | Read abstract (PDF) | ||
| Rodrigo Nicolau AlmeidaA topos for étale-finite Heyting algebras | Read abstract (PDF) | ||
| Timothée BonnefoiFormal toposes and monoidal toposes | Read abstract (PDF) | ||
| Break | — | ||
| Panagis KarazerisLocales in (pre-)sheaf toposes vs. (pre-)sheaves of locales | Read abstract (PDF) | ||
| Theofilos TsantilasLocal presentability of monads in double categories | Read abstract (PDF) | ||
| Break | — | ||
| James GrayInternal algebras in weak closed categories | Read abstract (PDF) | ||
| Danielle KleynNormalizers in Heyting semilattices | Read abstract (PDF) | ||
| Lunch | — | ||
| Luca MesitiRelational calculus in algebra and logic | Read abstract (PDF) | ||
| Mariano MessoraNaturally Mal'cev categories and descent | Read abstract (PDF) | ||
| Break | — | ||
| Jurij LanfrancoA Characterization of Abelianness via Lawvere Doctrines | Read abstract (PDF) | ||
| Maia WoolfProperties of the algebraic theories all of whose algebras are free | Read abstract (PDF) | ||
| Poster introductions View posters | — | ||
| Poster session View posters | — | ||
| Not specified | Social dinner Louvain House | — |
Sunday 27 September 2026
| Start | End | Speaker / activity | Abstract |
|---|---|---|---|
| Tomáš PerutkaHigher Day convolution over sketches and patterns | Read abstract (PDF) | ||
| Pavla ProcházkováSkew structures as multiactions | Read abstract (PDF) | ||
| Kürşat SözerFrom group gradings to 2-group gradings: categories and invariants of flat 2-bundles | Read abstract (PDF) | ||
| Break | — | ||
| Florian De LegerA Swiss cheese construction for operads | Read abstract (PDF) | ||
| Eigil RischelA Universal Property for Measure-theoretic Probability | Read abstract (PDF) | ||
| Break | — | ||
| Elena CavigliaGeneralized action monads and descent | Read abstract (PDF) | ||
| Andrea MontoliDerived torsion theories in a non-pointed context | Read abstract (PDF) | ||
| — | End of conference | — |
Posters
Saturday 26 September: introductions from 16:50 to 17:10, followed by the poster session from 17:10 to 17:50.
| Presenter / title | Abstract |
|---|---|
| Maxime CulotThe second Čech homology is simplicial | Read abstract (PDF) |
| David ForsmanBialgebraic Structures from the 2-Categorical Perspective | Read abstract (PDF) |
| Lucy GrossmanNaturally Mal'tsev (∞,1)-Categories | Read abstract (PDF) |
| Leo LobskiCategories with indexed monoids | Read abstract (PDF) |
| Alexander PrähauserCo-Heyting Sites for Closed Geometric Logic | Read abstract (PDF) |