SOUTHERN AND MIDLANDS LOGIC SEMINAR

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 fourth academic year, and is currently coordinated by Bath, Birmingham, Queen Mary, Sussex and UCL. Meetings are open to everyone, and many of our speakers come from other institutions either in the UK or abroad.

Since our first year we have been generously supported by the London Mathematical Society through their Joint Research Groups scheme, and we 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.

Further meetings for 2025/26 will be announced soon.

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.

Organisers