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

The eleventh meeting of the Southern and Midlands Logic Seminar will be held on the afternoon of Thursday 18 September at University College London.

Talks will take place in Room LG04, 26 Bedford Way, WC1H 0AP, 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.

Programme

• 12:00–13:00 Arrival with lunch served at the venue
• 13:00–13:45 Glynn Winskel (Queen Mary University London) : Symmetry and Probability in Strategies
• 13:45–14:15: Coffee Break and Discussion
• 14:14–14:45 Pouya Partow (University of Birmingham): Towards an Abstract Congruence Theorem for Big-step Operational Semantics
• 14:45–15:15 Vitek Jelinek (University of Sussex) Bicolimit Presentations of Type Theories
• 15:15–15:45 Gabriele Brancati Abate (University College London) : TBC
• 15:45–16:15: Coffee Break and Discussion
• 16:15–17:00 Paolo Perrone (University of Oxford) : Towards probabilistic regular logic

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