Seventh Meeting of the Southern and Midlands Logic Seminar, UCL, London

The seventh meeting of the Southern and Midlands Logic Seminar will be held on the afternoon of Wednesday 25 September at the University College London.

Talks will take place in Room LG01, Euston Road 222, NW1 2DA, London.

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

The meeting is supported by a London Mathematical Society Joint Research Groups grant, with additional funding from the Mathematical Foundations of Computation group at London, and the EPSRC grant Nostrid (EP/V002376/1).

Programme

• 12:00–13:00 Arrival with lunch served at the venue
• 13:00–13:45 Giulio Guerrieri (University of Sussex) The theory of meaningfulness in the call-by-value lambda-calculus
• 13:45–14:15 Coffee and discussion
• 14:15–14:45 Victoria Barrett (University of Bath): Compression of proofs via explicit substitutions
• 14:45–15:15 Iris van der Giessen (University of Birmingham) Computing uniform interpolants in Coq
• 15:15–15:45 Mateo Torres-Ruiz (University College London) A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming
• 15:45–16:15 Coffee and discussion
• 16:15–17:00 Fredrik Dahlqvist (Queen Mary University) Deterministic semantics for probabilistic programs

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 (University of Birmingham)
• Bartek Klin (University of Oxford)
• Thomas Powell (University of Bath)
• Fabio Zanasi (University College London), local organiser