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 third academic year, and is a partnership between Bath, Birmingham, Oxford, Sussex and UCL. Meetings are 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.

Meetings for 2024/25 will be announced soon.

Past meetings

• Seventh meeting at University College London on 25 September 2024
• Sixth meeting at University of Oxford on 18 June 2024
  (co-located with ACT & MFPS)
• Fifth meeting at University of Bath on 4–5 April 2024
  (co-located with the 40th British Colloquium for Theoretical Computer Science)
• Fourth meeting at University of Birmingham on 13 December 2023
  (co-located with the MGS Christmas Seminar on 14 December)
• Third meeting at University of Birmingham on 5 September 2023
• Second meeting at University College London on 16 May 2023
• First meeting at the University of Bath on 23 February 2023

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

• Anupam Das (Birmingham)
• Bartek Klin (Oxford)
• Thomas Powell (Bath)
• Giulio Guerrieri (Sussex)
• Fabio Zanasi (UCL)