14th Southern and Midlands Logic Seminar (SMLS) https://sonia-marin.github.io/smls14/ The fourteenth SMLS meeting will take place at the University of Birmingham on 1st April 2026, co-located with the 42nd British Colloquium for Theoretical Computer Science (https://toddwaughambridge.co.uk/bctcs2026/). The Southern and Midlands Logic Seminar aims to bring together researchers from groups situated in the lower half of England and Wales who share an interest in both mathematical logic (particularly proof theory, type theory, category theory and complexity) and its application in the theory of programming languages and verification. **Seminar Speakers** - Corina Cirstea (University of Southampton) - Dominik Kirst (INRIA Saclay, France) - Willem Heijltjes (University of Bath) - Amin Karamlou (University College London) - more TBA **Mailing list** If you would like to receive announcements of upcoming events, please send an email to smls-request@lists.bath.ac.uk so we can add you to our mailing list. **Travel bursaries** Each meeting has a budget to cover travel costs for speakers and participants. Priority will be given to young researchers, particularly PhD students. We are also able to provide some support for participants with caring or parenting responsibilities. Anyone who requires support should contact Thomas Powell (trjp20@bath.ac.uk) in advance of the meeting. 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>