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.

The seminar is now in its second academic year, and is a partnership between Bath, Birmingham, Oxford and UCL. Meetings in 2023/24 will be held at these universities, but will involve invited speakers and encourage participation from other institutions in the area. We are generously supported by the London Mathematical Society through their Joint Research Groups scheme, and receive additional support from the host institutions.

The seminar could be viewed as a spiritual successor to the Wessex Theory Seminar, which ran from 2008 until 2013.

Upcoming meetings

Participants are encouraged to join the Southern and Midlands Logic Seminar community on Slack, which is used for announcements and local coordination. Please contact one of the organisers to be added.

Past meetings

Travel bursaries

Each meeting has a small 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 in advance of the meeting.