[TYPES/announce] Call for Participation: 14th Southern and Midlands Logic Seminar, University of Birmingham, 1st April

[Sonia Marin]

14th Southern and Midlands Logic Seminar (SMLS)
https://urldefense.com/v3/__https://sonia-marin.github.io/smls14/__;!!IBzWLUs!WPULwezzCQ8l7qyfwkzkGoYSFn62CyGXGlGTAdl5sl6VAYLBNxSg27kKmXX96CbNwxOXQpYOxum2Lz96FHXkQ8IGQT9DeIvMxw$ 

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://urldefense.com/v3/__https://toddwaughambridge.co.uk/bctcs2026/__;!!IBzWLUs!WPULwezzCQ8l7qyfwkzkGoYSFn62CyGXGlGTAdl5sl6VAYLBNxSg27kKmXX96CbNwxOXQpYOxum2Lz96FHXkQ8IGQT-CGW9KTA$ ).

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 at 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 at bath.ac.uk) in advance of the meeting.

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