HoTT Electronic Seminar Talks

Contact owners and managers

1–30 of 105

0 selected

Dec 3

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

Dec 3

Nov 19

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

Nov 19

Nov 5

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:

Nov 5

Oct 22

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 "

Oct 22

Oct 7

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

Oct 7

Dan Christensen2

Sep 25

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,

Sep 25

Aug 20

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.

Aug 20

Apr 29

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

Apr 29

Dan Christensen

Apr 23

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

Apr 23

Apr 9

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

Apr 9

Dan Christensen

Mar 26

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

Mar 26

Mar 12

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

Mar 12

Feb 28

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

Feb 28

Feb 12

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

Feb 12

Dan Christensen

Jan 30

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

Jan 30

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

3/21/23

March 23: Daniel Gratzer, Modalities and (weak) dependent right adjoints

The HoTTEST seminar continues this Thursday at a time that may be unusual to you: 11:30am EDT (UTC-4)

unread,

March 23: Daniel Gratzer, Modalities and (weak) dependent right adjoints

The HoTTEST seminar continues this Thursday at a time that may be unusual to you: 11:30am EDT (UTC-4)

3/21/23

3/7/23

March 9: Hoang Kim Nguyen, Directed univalence in simplicial sets

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

unread,

March 9: Hoang Kim Nguyen, Directed univalence in simplicial sets

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

3/7/23

2/22/23

February 23: Loïc Pujet, Observational Type Theory meets CIC

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

unread,

February 23: Loïc Pujet, Observational Type Theory meets CIC

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

2/22/23

Dan Christensen

2/6/23

February 9: Andrew Swan, Double negation stable h-propositions in cubical sets

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

unread,

February 9: Andrew Swan, Double negation stable h-propositions in cubical sets

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

2/6/23

Dan Christensen

1/23/23

January 26: Johan Commelin, Liquid Tensor Experiment

The HoTTEST seminar resumes this Thursday at the usual time, 11:30am EST = 16:30 UTC. Our speaker is

unread,

January 26: Johan Commelin, Liquid Tensor Experiment

The HoTTEST seminar resumes this Thursday at the usual time, 11:30am EST = 16:30 UTC. Our speaker is

1/23/23

12/14/22

HoTTEST Event for Junior Researchers: Astra Kolomatskaia and Philipp Joram, December 15, 11:30am EST (UTC -5)

The HoTTEST event for Junior Researchers continues this week, on Thursday, November 3 at 11:30am

unread,

HoTTEST Event for Junior Researchers: Astra Kolomatskaia and Philipp Joram, December 15, 11:30am EST (UTC -5)

The HoTTEST event for Junior Researchers continues this week, on Thursday, November 3 at 11:30am

12/14/22

11/30/22

HoTTEST Event for Junior Researchers: H. Moeneclaey and J. Neumann, December 1 at 11:30 EST

(Apologies for the second email.) Tomorrow's HoTTEST seminar proceeds at the announced time (11:

unread,

HoTTEST Event for Junior Researchers: H. Moeneclaey and J. Neumann, December 1 at 11:30 EST

(Apologies for the second email.) Tomorrow's HoTTEST seminar proceeds at the announced time (11:

11/30/22

Search

Clear search

Close search

Google apps

Main menu