Events

Local seminars

The group organises two regular seminars, which are open to all:

• The theoretical computer science seminar series takes place on Fridays during term, hosting distinguished visiting researchers from around the world
• The lab lunch is a venue for both group members and visitors to give informal presentations about recent work.

Larger events

The group also collaborates with other universities to host editions of the following events:

• Midlands Graduate School in the Foundations of Computing Science (MGS)
• Yorkshire and Midlands Category Theory Seminar (YaMCATS)
• Southern and Midlands Logic Seminar (SMLS)
• Assume's a Seminar Series for Univalent Mathematics Enthusiasts (ASSUME)

Mailing list

If you are a group member, you may contact Martín Escardó to subscribe to the theory group mailing list.