Groups

HoTT Electronic Seminar Talks

Contact owners and managers

1–30 of 112

0 selected

Sep 22

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

Sep 22

Dan Christensen

Apr 15

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

Apr 15

Apr 2

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

Apr 2

Mar 18

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.

Mar 18

Dan Christensen

Mar 4

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

Mar 4

Feb 18

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

Feb 18

Feb 4

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

Feb 4

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

Dan Christensen

11/14/23

November 16, David Wärn, Path spaces of pushouts via a zigzag construction

The next HoTTEST seminar is on Thursday, November 16 at 11:30am EST (UTC-5) = 16:30 UTC. Summer time

unread,

November 16, David Wärn, Path spaces of pushouts via a zigzag construction

The next HoTTEST seminar is on Thursday, November 16 at 11:30am EST (UTC-5) = 16:30 UTC. Summer time

11/14/23

11/1/23

November 2: Elisabeth Stenholm, Non-wellfounded sets in Homotopy Type Theory

The HoTTEST seminar continues this Thursday at a time that may be unusual to you depending on where

unread,

November 2: Elisabeth Stenholm, Non-wellfounded sets in Homotopy Type Theory

The HoTTEST seminar continues this Thursday at a time that may be unusual to you depending on where

11/1/23

10/17/23

October 19: Felix Cherubini

The HoTTEST seminar continues this Thursday at the usual (still summer!) time, 11:30am EDT = 15:30

unread,

October 19: Felix Cherubini

The HoTTEST seminar continues this Thursday at the usual (still summer!) time, 11:30am EDT = 15:30

10/17/23

9/10/23

announcing the Fall 2023 HoTTEST lineup

Dear all, On behalf of the organizers, we are pleased to announce the Fall 2023 lineup for the

unread,

announcing the Fall 2023 HoTTEST lineup

Dear all, On behalf of the organizers, we are pleased to announce the Fall 2023 lineup for the

9/10/23

4/17/23

April 20: Maria Emilia Maietti, A comparison between the Minimalist Foundation and Homotopy Type Theory

The final HoTTEST seminar of the season takes place this Thursday at the usual (summer) time of 11:

unread,

April 20: Maria Emilia Maietti, A comparison between the Minimalist Foundation and Homotopy Type Theory

The final HoTTEST seminar of the season takes place this Thursday at the usual (summer) time of 11:

4/17/23

4/5/23

April 6: Omar Antolín Camarena, HoTT lessons for algebraic topologists

The HoTTEST seminar continues this Thursday at the usual (summer) time, 11:30am EDT = 15:30 UTC. Our

unread,

April 6: Omar Antolín Camarena, HoTT lessons for algebraic topologists

The HoTTEST seminar continues this Thursday at the usual (summer) time, 11:30am EDT = 15:30 UTC. Our

4/5/23

Search

Clear search

Close search

Google apps

Main menu