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

The fourteenth meeting of the Southern and Midlands Logic Seminar (SMLS) will be held on the afternoon of Wednesday 1^th April 2026 at the University of Birmingham. The meeting will take place in Gisbert Kapp building on the main Edgbaston campus (G8 on the Campus Map).

It is colocated with the 42^nd British Colloquium for Theoretical Computer Science (BCTCS).

Participants are encouraged to join the SMLS community on Discord, 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 1^st April, 2026

• 12:00–13:00 Lunch buffet.
• 13:00–14:00 Corina Cirstea (University of Southampton). Coalgebras in Verification and Synthesis
  Joint speaker with BCTCS.
• 14:00–14:30 Coffee and discussion.
• 14:30–15:00 Willem Heijltjes (University of Bath). The Functional Machine Calculus III: Control.
• 15:00–15:30 Amin Karamlou (University College London). Revisiting Ehrenfeucht–Fraïssé Games in Semiring and Boolean Algebra Valued Models.
• 15:30–16:00 Mrudula Balachander (University of Birmingham). LTL Reactive Synthesis with a Few Hints.
• 16:00–16:30 Coffee and discussion.
• 16:30–17:30 Dominik Kirst (INRIA Saclay). A few fun facts in constructive mathematics.

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 the Gisbert Kapp building on the main Edgbaston campus.

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

• Fredrik Dahlqvist (Queen Mary)
• Anupam Das (Birmingham)
• Thomas Powell (Bath)
• Giulio Guerrieri (Sussex)
• Fabio Zanasi (UCL)

Local Organisers

• Sonia Marin
• Todd Waugh Ambridge
• Jamie Hough