9^th Southern and Midlands Logic Seminar, University of Birmingham

The ninth meeting of the Southern and Midlands Logic Seminar (SMLS) will be held on the afternoon of Wednesday 12^th March 2025 at the University of Birmingham. The meeting will take place in room UG06 in the Murray Learning Centre on the main Edgbaston campus.

Participation is free to all, but please contact Todd Waugh Ambridge if you intend to participate for practical purposes.

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

The meeting is supported by a London Mathematical Society Joint Research Groups grant, with additional funding from the UKRI Future Leaders Fellowship Structure vs. Invariants in Proofs (StrIP) and local support from the School of Computer Science at the University of Birmingham.

Programme: Wednesday 12^th March, 2025

The programme below is final. Last updated 11/03/25.

• 12:00–13:00 Lunch buffet.
• 13:00–13:45 Sonia Marin (Birmingham) & Marianna Girlando (ILLC, Amsterdamn). Proof systems and decidability: the case of intuitionistic K.
• 13:45–14:30 Coffee and discussion.
• 14:30–15:00 Ping Hou (Oxford). Fearless Asynchronous Communications with Timed Multiparty Session Types.
• 15:00–15:30 Nick Hu (Birmingham). sd-visualiser: interactive hypergraph visualisation for programs as string diagrams .
• 15:30–16:00 Abhishek De (Birmingham). Bounded Henkin quantifiers and the Exponential Time Hierarchy .
• 16:00–16:45 Coffee and discussion.
• 16:45–17:30 Nicolai Kraus (Nottingham). Two-level type theory.
• 18:30– onwards Social dinner.

Venue

The main campus of the University of Birmingham is located in Edgbaston, just outside the city centre. There are frequent trains serving the campus train station (University), about a 10 minute journey from Birmingham New Street. There are also regular buses, but trains will be more convenient for most. Google Maps is reliable for checking train and bus times. It is also possible to travel to/from the campus on foot along the canals, about a 50-60 minute walk from the centre.

All talks and coffee breaks will take place in UG06 in the Murray Learning Centre on the main Edgbaston campus. Lunch will be in the Computer Science building opposite.

Social events

There will be a social dinner on the evening of the day of the event, to be organised during the event.

SMLS Organisers

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

Local Organisers

• Todd Waugh Ambridge
• Paul Levy
• Jamie Hough