[TYPES/announce] PSSL 112: Program & registration

[Tom de Jong]

TL;DR: PSSL 112 program
<https://urldefense.com/v3/__https://sites.google.com/view/pssl112/program__;!!IBzWLUs!SUmYHEyGVIJz7WRAiJyRs5TCbaiZr6RTUmjDyTW54fBj-dXh6LYRFnCASbwbSitTO79Uo84AGzpgLH_z4fXyUQTNeARQsgTveA$ > below; please register
<https://urldefense.com/v3/__https://docs.google.com/forms/d/e/1FAIpQLSfM1CPjBF5nJ5LwV_V8zh6QURcNgRG9nKXasJ5_Q4BnLNBkKA/viewform?usp=dialog__;!!IBzWLUs!SUmYHEyGVIJz7WRAiJyRs5TCbaiZr6RTUmjDyTW54fBj-dXh6LYRFnCASbwbSitTO79Uo84AGzpgLH_z4fXyUQTNeAQawdDbaw$ > by
March 14th 2026.

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

PROGRAM & REGISTRATION
PSSL 112
https://urldefense.com/v3/__https://sites.google.com/view/pssl112__;!!IBzWLUs!SUmYHEyGVIJz7WRAiJyRs5TCbaiZr6RTUmjDyTW54fBj-dXh6LYRFnCASbwbSitTO79Uo84AGzpgLH_z4fXyUQTNeARtFgT23g$ 
<https://urldefense.com/v3/__https://sites.google.com/view/pssl112__;!!IBzWLUs!SUmYHEyGVIJz7WRAiJyRs5TCbaiZr6RTUmjDyTW54fBj-dXh6LYRFnCASbwbSitTO79Uo84AGzpgLH_z4fXyUQTNeARtFgT23g$ >
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://urldefense.com/v3/__https://sites.google.com/view/pssl112/__;!!IBzWLUs!SUmYHEyGVIJz7WRAiJyRs5TCbaiZr6RTUmjDyTW54fBj-dXh6LYRFnCASbwbSitTO79Uo84AGzpgLH_z4fXyUQTNeASMP8M4QA$ > 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://urldefense.com/v3/__https://sites.google.com/view/pssl112/__;!!IBzWLUs!SUmYHEyGVIJz7WRAiJyRs5TCbaiZr6RTUmjDyTW54fBj-dXh6LYRFnCASbwbSitTO79Uo84AGzpgLH_z4fXyUQTNeASMP8M4QA$ > by March 14th 2026. The
registration is free. 


*_Program_*

The abstracts and full schedule can be found on the website
<https://urldefense.com/v3/__https://sites.google.com/view/pssl112/program__;!!IBzWLUs!SUmYHEyGVIJz7WRAiJyRs5TCbaiZr6RTUmjDyTW54fBj-dXh6LYRFnCASbwbSitTO79Uo84AGzpgLH_z4fXyUQTNeARQsgTveA$ >.

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260304/ca2c7323/attachment.htm>