Dear all, This is a reminder CfP and deadline extension for the 3rd workshop on Syntax and Semantics of Type Theories, in Ljubljana, June 4–5 2026, collocated with MFPS: https://ul-fmf.github.io/mfps-sstt-2026/sstt/ The workshop covers the mathematical meta-theoretic study of type theories, broadly construed, with particular focus (not exclusive) on foundational dependent type theories in the tradition of Martin-Löf, including systems for homotopical and synthetic mathematics, and their implementations. We welcome contributed talks on all topics within this brief; short abstracts (max 1 page) should be submitted by Thursday April 2, through EasyChair: https://easychair.org/conferences/?conf=sstt2026 For full details, including registration and submission instructions, see https://ul-fmf.github.io/mfps-sstt-2026/sstt/ . Best wishes, –Peter LeFanu Lumsdaine & Anders Mörtberg (organisers) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>