12th Meeting — Southern & Midlands Logic Seminar
Venue & Times
Talks will take place in the maths building (number 4 on this map ) at Queen Mary University of London.
- Lunch: 12:30–13:30 in the Maths Social Hub
- Talks: 13:30–17:30 in the Maths Lecture Theatre
Programme
| Time | ||
|---|---|---|
| 13:30 — 14:15 | Paulo Oliva (Queen Mary University) | On the Proof Theory of the Selection Monad |
| 14:15 — 14:45 | Justus Becker (University of Birmingham) | A labelled and non-wellfounded calculus for bimodal provability logic |
| 14:45 — 15:15 | Isaac Ling (University of Bath) | Dissecting a Proof Assistant |
| 15:15 — 15:45 | Coffee Break | |
| 15:45 — 16:30 | Elaine Pimentel (UCL) | The Modal Cube Revisited: Semantics without Worlds |
| 16:30 — 17:00 | Shing Hin (Imperial College) | Bayes’ Theorem in Probabilistic Separation Logic |
| 17:00 — 17:30 | Vincent van Oostrom (University of Sussex) | Disjunctive Termination for Affluent Families. |
Community & Support
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.
Travel Bursaries
Each meeting has a small budget to cover travel costs for speakers and participants from the organising universities. 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.
Travel & Arrival Advice
The nearest Underground stations are:
- Mile End — on the Central, District and Hammersmith & City lines. It's a short walk to the Maths Lecture Theatre.
- Stepney Green — on the District and Hammersmith & City lines; also within walking distance of the campus.
For visitors arriving from:
- Birmingham — train to Euston, then Metropolitan line to Liverpool Street and Central line to Mile End, or Northern Line to Tottenham Court Road and Central line to Mile End.
- University of Sussex / Brighton — train to London Victoria then District line to Mile End or Stepney Green, or train to London Bridge then Northern Line to Bank and Central line to Mile End .
- Bath, Oxford — train to London Paddington then Elizabeth line to Whitechapel and District or H&C line to Mile End.