ASSUME

About ASSUME

logo by Jacob Neumann

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

• Fredrik Bakke (Norwegian University of Science and Technology) on The agda-unimath library
  (j.w.w. Egbert Rijke, Vojtěch Štěpančík and agda-unimath contributors)
• Jacob Neumann on GAT Signature Languages: A Begriffsschrift for Concrete Structures

Past meetings

1. 30 January 2025, Birmingham
   
   Talks
   • César Bardomiano Martínez (University of Ottawa) on Homotopy Languages
     (j.w.w. Simon Henry)
   • Tom de Jong (University of Nottingham) on Ordinal Exponentiation in Homotopy Type Theory
     (j.w.w. Nicolai Kraus, Fredrik Nordvall Forsberg and Chuangjie Xu)
   
   Participants: Thorsten Altenkirch, Todd Waugh Ambridge, César Bardomiano Martínez, Justus Becker, Josh Chen, Stefania Damato, Bruno da Rocha Paiva, Tom de Jong, Martín Escardó, Eric Finster, Ai Guan, Nicolai Kraus, Paul Levy, Jacob Neumann, Aref Mohammadzadeh, Sean Moss, Pouya Partow, Stiéphen Pradal, Till Rampe, Sam Speight, Ayberk Tosun, Sky Wilshaw.
   
2. 20 November 2024, Nottingham
   
   Talks
   • Till Rampe (University of Birmingham) on Type Theory of Algebraic Theories
   • Mark Williams (University of Nottingham) on Presentations of Topological Modalities in Homotopy Type Theory
   
   Participants: Thorsten Altenkirch, Todd Waugh Ambridge, Ulrik Buchholtz, Josh Chen, Stefania Damato, Bruno da Rocha Paiva, Jonathan Davies, Tom de Jong, Martín Escardó, Eric Finster, Nicolai Kraus, Dan Marsden, Owen Milner, Jacob Neumann, Stiéphen Pradal, Johannes Schipp von Branitz, Till Rampe, Sam Speight, Zhili Tian, Sam Toth, Mark Williams, Sky Wilshaw.
   


3. 23 October 2024, Birmingham
   
   Talks
   • Daniel Gratzer (Aarhus University) on Simplicial homotopy type theory
   • Joshua Chen (University of Nottingham) on Pullbacks and coherences for wild cwfs
   
   Participants: Thorsten Altenkirch, Ulrik Buchholtz, Josh Chen, Bruno da Rocha Paiva, Stefania Damato, Tom de Jong, Martín Escardó, Eric Finster, Daniel Gratzer, Nicolai Kraus, Sean Moss, Jacob Neumann, Jakub Opršal, Stiéphen Pradal, Johannes Schipp von Branitz, Till Rampe, Zhili Tian, Sam Toth, Mark Williams.
   


4. 21 March 2024, Nottingham
   
   Talks
   • Ayberk Tosun (University of Birmingham) on Locale Theory in Univalent Foundations
   • Joshua Chen (University of Nottingham) on Constructing inverse diagrams in homotopical type theory
   
   Participants: Thorsten Altenkirch, Todd Waugh Ambridge, Igor Arrieta, Ulrik Buchholtz, Josh Chen, Bruno da Rocha Paiva, Tom de Jong, Eric Finster, Nicolai Kraus, Jacob Neumann, Johannes Schipp von Branitz, Till Rampe, Sam Speight, Ayberk Tosun, Zhenzhen Wang, Mark Williams.
   


5. 1 February 2024, Birmingham
   
   Talks
   • Eric Finster (University of Birmingham) on The Dependatopes
     (j.w.w. Till Rampe)
   • Jacob Neumann (University of Nottingham) on The Γ-cube: Polarities and Modalities
     (j.w.w. Thorsten Altenkirch)
   
   Participants: Todd Waugh Ambridge, Ulrik Buchholtz, Josh Chen, Bruno da Rocha Paiva, Stefania Damato, Tom de Jong, Martín Escardó, Eric Finster, Tomáš Jakl Nicolai Kraus, Sean Moss, Jacob Neumann, Stiéphen Pradal, Johannes Schipp von Branitz, Till Rampe, Tobias Schmude, Sam Speight, Ayberk Tosun, Mark Williams.
   


6. 15 November 2023, Nottingham
   
   Talks
   • Ulrik Buchholtz (University of Nottingham) on Homotopy manifolds in univalent foundations
   • Tom de Jong (University of Nottingham) on Injective types and constructive taboos
     (j.w.w. Martín Escardó)
   
   Participants: Thorsten Altenkirch, Todd Waugh Ambridge, Ulrik Buchholtz, Josh Chen, Bruno da Rocha Paiva, Stefania Damato, Tom de Jong, Martín Escardó, Eric Finster, Sean Moss, Jacob Neumann, Stiéphen Pradal, Johannes Schipp von Branitz, Till Rampe, Tobias Schmude, Sam Speight, Mark Williams.
   Group photo (a)
   Group photo (b)


7. 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.


8. 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


9. 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