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 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.
- Fifth meeting at University of Bath on 4–5 April 2024
(co-located with the 40th British Colloquium for Theoretical Computer Science) - Sixth meeting at University of Oxford (June, TBC)
- Seventh meeting at University College London (September, TBC)
Past meetings
- 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)
- Fabio Zanasi (UCL)
