PSSL 112: Program & registration

[Tom de Jong]

TL;DR: PSSL 112 program below; please register by March 14th 2026.

=============================================

PROGRAM & REGISTRATION
PSSL 112
https://sites.google.com/view/pssl112
Nottingham, United Kingdom, 28-29 March 2026

============================================= 

The program for the 112th Peripatetic Seminar on Sheaves and Logic (PSSL 112) is now available. See the PSSL 112 website or below.

The event will take place on March 28th-29th 2026 at the University of Nottingham, United Kingdom.

PSSL is a long-running series of informal gatherings traditionally held over a weekend in a European university. This meeting marks the 112th edition and it is the first to be held in Nottingham. Talks cover all aspects and areas of category theory and its applications.

Further details about the meeting, transport, accommodation and updates can be found on the PSSL 112 website. Below is the current program together with the registration information.

Registration

Please fill in the registration form on the PSSL 112 website by March 14th 2026. The registration is free. 

Program

The abstracts and full schedule can be found on the website.

SPEAKER

TITLE

Steve Awodey Pietro Sabelli Sam Speight             Rob Schellingerhout Joshua Chen Yufeng Li        Miika Tuominen Paul Taylor   Paul Levy Eigil Rischel Oisin Flynn-Connolly Alyssa Renata Marco Abbadini Nico Wittock Rui Prezado Lingyuan Ye Mark Williams

Path Types in Algebraic Type Theory The Internal Language of Quasi-toposes Impredicativity in Linear Dependent Type Theory Higher Algebra in Simplicial HoTT Internal homotopical type theory Pushforwards in Inverse Homotopical Diagrams Higher Dwyer-Kan equivalences Review of Well Founded Coalgebras Global Flattening of Nested Inductive Definitions A Trilemma in Categorical Probability Theory Central limits via dilated categories Stone Duality for Monads The doctrinal Herbrand's theorem and its Stone dual Demystifying Codensity Monads via Duality What is the dual of a factorisation system? Synthetic Quasi-Coherence for Coherent Theories: An Application to Arithmetic and Computability Relative Epimorphisms

We look forward to seeing you in Nottingham!

Stiéphen, Tom and Simona