Program
Program of PSSL 113, held on 26–27 September 2026 in Louvain-la-Neuve.
All talks took place in CYCL01 at the Marc de Hemptinne building.
Talk format: each 30-minute slot comprised a 20-minute presentation, 5 minutes for questions, and a 5-minute break.
Slides and posters are available alongside the abstracts where presenters have chosen to share them.
Saturday 26 September 2026
| Start | End | Speaker / activity | Abstract & slides |
|---|---|---|---|
| Registration | — | ||
| Opening | — | ||
| Jiří AdámekGraduated Categories of Presheaves | Read abstract (PDF) | ||
| Rodrigo Nicolau AlmeidaA topos for étale-finite Heyting algebras | Read abstract (PDF) View slides (PDF) | ||
| Timothée BonnefoiFormal toposes and monoidal toposes | Read abstract (PDF) View slides (PDF) | ||
| Coffee break | — | ||
| Panagis KarazerisLocales in (pre-)sheaf toposes vs. (pre-)sheaves of locales | Read abstract (PDF) View slides (PDF) | ||
| Theofilos TsantilasLocal presentability of monads in double categories | Read abstract (PDF) View slides (PDF) | ||
| Short break | — | ||
| James GrayInternal algebras in weak closed categories | Read abstract (PDF) | ||
| Danielle KleynNormalizers in Heyting semilattices | Read abstract (PDF) View slides (PDF) | ||
| Group photo | — | ||
| Lunch | — | ||
| Luca MesitiRelational calculus in algebra and logic | Read abstract (PDF) View slides (PDF) | ||
| Mariano MessoraNaturally Mal'cev categories and descent | Read abstract (PDF) View slides (PDF) | ||
| Coffee break | — | ||
| Jurij LanfrancoA Characterization of Abelianness via Lawvere Doctrines | Read abstract (PDF) View slides (PDF) | ||
| Maia WoolfProperties of the algebraic theories all of whose algebras are free | Read abstract (PDF) View slides (PDF) | ||
| Poster introductions View posters | — | ||
| Poster session View posters | — | ||
| Not specified | Social dinner Louvain House | — |
Sunday 27 September 2026
| Start | End | Speaker / activity | Abstract & slides |
|---|---|---|---|
| Pavla ProcházkováSkew structures as multiactions | Read abstract (PDF) View slides (PDF) | ||
| Kürşat SözerFrom group gradings to 2-group gradings: categories and invariants of flat 2-bundles | Read abstract (PDF) View slides (PDF) | ||
| Florian De LegerA Swiss cheese construction for operads | Read abstract (PDF) View slides (PDF) | ||
| Coffee break | — | ||
| Eigil RischelA Universal Property for Measure-theoretic Probability | Read abstract (PDF) | ||
| Elena CavigliaGeneralized action monads and descent | Read abstract (PDF) View slides (PDF) | ||
| Andrea MontoliDerived torsion theories in a non-pointed context | Read abstract (PDF) View slides (PDF) | ||
| — | End of conference | — |
Posters
Saturday 26 September: introductions from 16:50 to 17:00, followed by the poster session from 17:00 to 17:50.
| Presenter / title | Abstract & poster |
|---|---|
| Maxime CulotThe second Čech homology is simplicial | Read abstract (PDF) View poster (PDF) |
| David ForsmanBialgebraic Structures from the 2-Categorical Perspective | Read abstract (PDF) View poster (PDF) |
| Leo LobskiCategories with indexed monoids | Read abstract (PDF) View poster (PDF) |
| Alexander PrähauserCo-Heyting Sites for Closed Geometric Logic | Read abstract (PDF) |