Logic List Mailing Archive

CfR: PSSL 112 – Peripatetic Seminar on Sheaves and Logic, 28–29 March 2026, Nottingham (UK)

TL;DR: PSSL 112 program<https://sites.google.com/view/pssl112/program> below; please register<https://docs.google.com/forms/d/e/1FAIpQLSfM1CPjBF5nJ5LwV_V8zh6QURcNgRG9nKXasJ5_Q4BnLNBkKA/viewform?usp=dialog> 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<https://sites.google.com/view/pssl112/> 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<https://sites.google.com/view/pssl112/> by March 14th 2026. The registration is free.

Program
The abstracts and full schedule can be found on the website<https://sites.google.com/view/pssl112/program>.
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!
Stiphen, Tom and Simona


--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php