Groups

HoTT Electronic Seminar Talks

Contact owners and managers

1–30 of 118

0 selected

Dan Christensen

Feb 17

February 19: Bastiaan Cnossen, Synthetic category theory in CaTT

This week the HoTTEST seminar presents: Bastiaan Cnossen Synthetic category theory in CaTT The talk

unread,

February 19: Bastiaan Cnossen, Synthetic category theory in CaTT

This week the HoTTEST seminar presents: Bastiaan Cnossen Synthetic category theory in CaTT The talk

Feb 17

Feb 2

February 5: Benedikt Ahrens, A Type Theory for Comprehension Categories

This week, we kick off a new season of HoTTEST seminars with: Benedikt Ahrens A Type Theory for

unread,

February 5: Benedikt Ahrens, A Type Theory for Comprehension Categories

This week, we kick off a new season of HoTTEST seminars with: Benedikt Ahrens A Type Theory for

Feb 2

Nichole Dow, Nella Pollich2

12/3/25

Henry is Coming Group Rate $199

I'm interested as well count me... Thanks.. On Tuesday, 2 December 2025 at 17:52:39 UTC+5 Nichole

unread,

Henry is Coming Group Rate $199

I'm interested as well count me... Thanks.. On Tuesday, 2 December 2025 at 17:52:39 UTC+5 Nichole

12/3/25

Dan Christensen

12/2/25

December 4: Matteo Spadetto, Different descriptions of the semantics of computation axioms

This week the HoTTEST seminar presents: Matteo Spadetto Different descriptions of the semantics of

unread,

December 4: Matteo Spadetto, Different descriptions of the semantics of computation axioms

This week the HoTTEST seminar presents: Matteo Spadetto Different descriptions of the semantics of

12/2/25

11/3/25

November 6: Stefania Damato on "The Groupoid CwF of Containers"

The HoTTEST seminar continues this Thursday, November 6 at 11:30 AM EST (UTC-5) / 16:30 UTC. Note

unread,

November 6: Stefania Damato on "The Groupoid CwF of Containers"

The HoTTEST seminar continues this Thursday, November 6 at 11:30 AM EST (UTC-5) / 16:30 UTC. Note

11/3/25

Emily Riehl, Dan Christensen2

10/21/25

October 9: Greg Langmead on "Discrete differential geometry in homotopy type theory"

This week the HoTTEST seminar presents: Axel Ljungström A formalisation of the Serre finiteness

unread,

October 9: Greg Langmead on "Discrete differential geometry in homotopy type theory"

This week the HoTTEST seminar presents: Axel Ljungström A formalisation of the Serre finiteness

10/21/25

9/22/25

September 25: Jon Sterling, Is it time for a new proof assistant?

The next season of HoTTEST starts this Thursday at 11:30 AM EDT (UTC-4) / 15:30 UTC with: Jon

unread,

September 25: Jon Sterling, Is it time for a new proof assistant?

The next season of HoTTEST starts this Thursday at 11:30 AM EDT (UTC-4) / 15:30 UTC with: Jon

9/22/25

Dan Christensen

4/15/25

Mitchell Riley, April 17

This week the HoTTEST seminar presents: Mitchell Riley Tiny types and cubical type theory The talk is

unread,

Mitchell Riley, April 17

This week the HoTTEST seminar presents: Mitchell Riley Tiny types and cubical type theory The talk is

4/15/25

4/2/25

no seminar this week

This week's HoTTEST seminar by Alex Kavvos will be postponed to a later date. The next HoTTEST

unread,

no seminar this week

This week's HoTTEST seminar by Alex Kavvos will be postponed to a later date. The next HoTTEST

4/2/25

3/18/25

no seminar this week

This week's HoTTEST seminar talk, by Astra Kolomatskaia, will be postponed to the Fall 2025 term.

unread,

no seminar this week

This week's HoTTEST seminar talk, by Astra Kolomatskaia, will be postponed to the Fall 2025 term.

3/18/25

Dan Christensen

3/4/25

Jonathan Weinberger, March 6

This week the HoTTEST seminar presents: Jonathan Weinberger Directed univalence and the Yoneda

unread,

Jonathan Weinberger, March 6

This week the HoTTEST seminar presents: Jonathan Weinberger Directed univalence and the Yoneda

3/4/25

2/18/25

February 20: Martín Escardó, Injective types

This week in HoTTEST we are excited to host Martín Escardó, who will speak about "Injective

unread,

February 20: Martín Escardó, Injective types

This week in HoTTEST we are excited to host Martín Escardó, who will speak about "Injective

2/18/25

2/4/25

Thursday, February 6: Mario Carneiro "Lean4Lean: Towards a Verified Typechecker for Lean, in Lean"

The HoTTEST seminar returns this week, on Thursday (February 6), at 11:30am EST = 16:30pm UTC. Our

unread,

Thursday, February 6: Mario Carneiro "Lean4Lean: Towards a Verified Typechecker for Lean, in Lean"

The HoTTEST seminar returns this week, on Thursday (February 6), at 11:30am EST = 16:30pm UTC. Our

2/4/25

12/3/24

Thursday, December 5: Paige North "Coinductive control of inductive data types"

The HoTTEST seminar continues this week, on Thursday (November 7), at 11:30am EST = 16:30pm UTC. Our

unread,

Thursday, December 5: Paige North "Coinductive control of inductive data types"

The HoTTEST seminar continues this week, on Thursday (November 7), at 11:30am EST = 16:30pm UTC. Our

12/3/24

11/19/24

November 21: Niels van der Weide, The internal languages of univalent categories

Hi all, This week in HoTTEST we are excited to host Niels van der Weide, who will speak about the

unread,

November 21: Niels van der Weide, The internal languages of univalent categories

Hi all, This week in HoTTEST we are excited to host Niels van der Weide, who will speak about the

11/19/24

11/5/24

Thursday, November 7 (! now on STANDARD TIME !): Tashi Walde "An axiomatization of synthetic category theory"

The HoTTEST seminar continues this week, on Thursday (November 7), at the BRAND NEW WINTER TIME: 11:

unread,

Thursday, November 7 (! now on STANDARD TIME !): Tashi Walde "An axiomatization of synthetic category theory"

The HoTTEST seminar continues this week, on Thursday (November 7), at the BRAND NEW WINTER TIME: 11:

11/5/24

10/22/24

October 24: Max Zeuner, Univalent foundations of constructive algebraic geometry

Hi all, This week in HoTTEST we are excited to host Max Zeuner, who will speak about the "

unread,

October 24: Max Zeuner, Univalent foundations of constructive algebraic geometry

Hi all, This week in HoTTEST we are excited to host Max Zeuner, who will speak about the "

10/22/24

10/7/24

F. van Doorn on Formalizing a proof of Carleson's theorem in HoTTEST, October 10, 11:30 Eastern time

Folks, This week in HoTTEST, we are excited to have one of the heavy weights of the formalization

unread,

F. van Doorn on Formalizing a proof of Carleson's theorem in HoTTEST, October 10, 11:30 Eastern time

Folks, This week in HoTTEST, we are excited to have one of the heavy weights of the formalization

10/7/24

Dan Christensen2

9/25/24

Sept 6: Reid Barton,

I have corrected the subject line: Reid is speaking tomorrow, not three weeks ago! Dan On Sep 24,

unread,

Sept 6: Reid Barton,

I have corrected the subject line: Reid is speaking tomorrow, not three weeks ago! Dan On Sep 24,

9/25/24

8/20/24

Fall 2024 HoTTEST lineup

Hi y'all, We are delighted to announce the Fall 2024 lineup of the HoTT Electronic Seminar Talks.

unread,

Fall 2024 HoTTEST lineup

Hi y'all, We are delighted to announce the Fall 2024 lineup of the HoTT Electronic Seminar Talks.

8/20/24

4/29/24

May 2, Andreas Nuyts, Higher Pro-arrows: Towards a Model for Naturality Pretype Theory

The final HoTTEST seminar of the season will be this Thursday, May 2 at 11:30am EDT (UTC-4) = 15:30

unread,

May 2, Andreas Nuyts, Higher Pro-arrows: Towards a Model for Naturality Pretype Theory

The final HoTTEST seminar of the season will be this Thursday, May 2 at 11:30am EDT (UTC-4) = 15:30

4/29/24

Dan Christensen

4/23/24

next talk: May 2

Just a reminder that our next talk is three weeks after our previous talk, instead of the usual two

unread,

next talk: May 2

Just a reminder that our next talk is three weeks after our previous talk, instead of the usual two

4/23/24

4/9/24

April 11: Dan Christensen on "Sphere bundles and their invariants"

The HoTTEST seminar continues this week, on Thursday, on its summer schedule: 11:30am EDT = 15:30 UTC

unread,

April 11: Dan Christensen on "Sphere bundles and their invariants"

The HoTTEST seminar continues this week, on Thursday, on its summer schedule: 11:30am EDT = 15:30 UTC

4/9/24

Dan Christensen

3/26/24

March 28: Evan Cavallo, Why some cubical models don't present spaces

This week the HoTTEST seminar presents: Evan Cavallo Why some cubical models don't present spaces

unread,

March 28: Evan Cavallo, Why some cubical models don't present spaces

This week the HoTTEST seminar presents: Evan Cavallo Why some cubical models don't present spaces

3/26/24

3/12/24

March 14 (! now on DAYLIGHT TIME !): Greta Coraglia "On the fibration of algebras"

The HoTTEST seminar continues this week, on Thursday (π-day), at the BRAND NEW SUMMER TIME: 11:30am

unread,

March 14 (! now on DAYLIGHT TIME !): Greta Coraglia "On the fibration of algebras"

The HoTTEST seminar continues this week, on Thursday (π-day), at the BRAND NEW SUMMER TIME: 11:30am

3/12/24

2/28/24

February 29: Rafaël Bocquet on "Strict Rezk completions of models of HoTT and homotopy canonicity".

In a special once every four years leap day edition, the HoTTEST seminar continues tomorrow, on

unread,

February 29: Rafaël Bocquet on "Strict Rezk completions of models of HoTT and homotopy canonicity".

In a special once every four years leap day edition, the HoTTEST seminar continues tomorrow, on

2/28/24

2/12/24

February 15, Émile Oleon, Delooping cyclic groups with lens spaces in homotopy type theory

The next HoTTEST seminar is this Thursday, February 15 at 11:30am ET (UTC-5) = 16:30 UTC. Émile Oleon

unread,

February 15, Émile Oleon, Delooping cyclic groups with lens spaces in homotopy type theory

The next HoTTEST seminar is this Thursday, February 15 at 11:30am ET (UTC-5) = 16:30 UTC. Émile Oleon

2/12/24

Dan Christensen

1/30/24

February 1, Urs Schreiber, Topological Quantum Programming via Linear Homotopy Types

If the weather is cold where you are, you can warm up by attending the HoTTEST seminar, which resumes

unread,

February 1, Urs Schreiber, Topological Quantum Programming via Linear Homotopy Types

If the weather is cold where you are, you can warm up by attending the HoTTEST seminar, which resumes

1/30/24

12/13/23

December 14: David Jaz Myers, The Tangent Bundle of Spheres

The HoTTEST seminar continues this Thursday at the usual (winter) time, 11:30am EST = 16:30 UTC. Our

unread,

December 14: David Jaz Myers, The Tangent Bundle of Spheres

The HoTTEST seminar continues this Thursday at the usual (winter) time, 11:30am EST = 16:30 UTC. Our

12/13/23

11/27/23

November 30: Ingo Blechschmidt, Towards multiversal modal operators for homotopy type theory

The next HoTTEST seminar is this Thursday, November 30 at 11:30am ET (UTC-5) = 16:30 UTC. Ingo

unread,

November 30: Ingo Blechschmidt, Towards multiversal modal operators for homotopy type theory

The next HoTTEST seminar is this Thursday, November 30 at 11:30am ET (UTC-5) = 16:30 UTC. Ingo

11/27/23

Search

Clear search

Close search

Google apps

Main menu