ASSUME

About ASSUME

Assume's a Seminar Series for Univalent Mathematics Enthusiasts.

ASSUME is an informal research level seminar on univalent mathematics between the universities of Birmingham and Nottingham.

The seminar provides a platform for discussing recent work where we try to make progress on open problems. It also offers opportunities for PhD students to get acquainted with the current interests of members of the community.

• Eric Finster (University of Birmingham)
• Tom de Jong (University of Nottingham)

Upcoming meeting

Past meetings

1. 22 March 2023, Birmingham
   
   Talks:
   • Martín Escardó (University of Birmingham) on Ordinals in univalent type theory
   • Nicolai Kraus (University of Nottingham) on Type-valued diagrams
   
   Participants: Thorsten Altenkirch, Ulrik Buchholtz, Josh Chen, Stefania Damato, Tom de Jong, Martín Escardó, Eric Finster, Ohad Kammar, Nicolai Kraus, Stiéphen Pradal, Uday Reddy, Johannes Schipp von Branitz, Artem Shinkarov, Andrew Sneap, Paul Taylor, Ayberk Tosun.
2. 16 February 2023, Nottingham
   
   Talks:
   • Ulrik Buchholtz (University of Nottingham) on Groups and higher groups
   • Eric Finster (University of Birmingham) on Modalities II
   
   Participants: Thorsten Altenkirch, Ulrik Buchholtz, Josh Chen, Bruno da Rocha Paiva, Stefania Damato, Tom de Jong, Martín Escardó, Eric Finster, Nicolai Kraus, Dan Marsden, Jacob Neumann, Andor Pénzes, Stiéphen Pradal, Johannes Schipp von Branitz, Artem Shinkarov, Andrew Sneap, Ayberk Tosun.
   Group photo
3. 5 December 2022, Birmingham
   
   Talks:
   • Thorsten Altenkirch (University of Nottingham) on Coherence for categories with families
   • Eric Finster (University of Birmingham) on Modalities I
   
   Participants: Thorsten Altenkirch, Todd Waugh Ambridge, Ulrik Buchholtz, Josh Chen, Bruno da Rocha Paiva, Stefania Damato, Tom de Jong, Martín Escardó, Eric Finster, Nicolai Kraus, Stiéphen Pradal, Johannes Schipp von Branitz, Andrew Sneap, Ayberk Tosun, Iris van der Giessen.
   Group photo