Events

Date: 20 March 2026   Time: 15:00 - 17:00

Location: Room 4.24. Peter Landin Building, Mile End. E1 4NS. Map 

This week's theory seminar session will be two informal talks/discussions.

The first discussion will be led by Paulo be on negation and strong negation (ideas connected to Gurevich logic, modal logic, linear logic).

The other discussion led by Fred will be on ideas related to a grant he is soon to submit.