12th Meeting — Southern & Midlands Logic Seminar
Venue & Times
Talks will take place in the Maths Lecture Theatre 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
Speakers and titles will be announced here when available.
| 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) | TBA |
| 14:45 — 15:15 | Isaac Ling (University of Bath) | Dissecting a Proof Assistant |
| 15:15 — 15:45 | Coffee Break | TBC |
| 15:45 — 16:30 | TBC | TBC |
| 16:30 — 17:00 | Shing Hin (Imperial College) | TBA |
| 17:00 — 17:30 | TBC | TBC |
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.