Groups

Homotopy Type Theory

1–30 of 1166

Discussion of Homotopy Type Theory and Univalent Foundations

0 selected

Jul 7

Postdoc positions in type theory, closing date: 25 July

Dear all, I would like to invite applications for two postdoctoral positions in homotopy type theory

unread,

Postdoc positions in type theory, closing date: 25 July

Dear all, I would like to invite applications for two postdoctoral positions in homotopy type theory

Jul 7

Jul 5

Save the date: Homotopy theory, K-theory, and topological data analysis - a conference in honour of Rick Jardine at Western University, June 8-12, 2026

Dear all, We are pleased to announce a conference on Homotopy Theory, K-theory, and Topological Data

unread,

Save the date: Homotopy theory, K-theory, and topological data analysis - a conference in honour of Rick Jardine at Western University, June 8-12, 2026

Dear all, We are pleased to announce a conference on Homotopy Theory, K-theory, and Topological Data

Jul 5

Valentin Herrmann2

Jun 26

Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025

EXTENDED DEADLINE: 6TH JULY 2025 On Thursday, May 29, 2025 at 8:47:01 PM UTC Valentin Herrmann wrote:

unread,

Autumn school "Proof and Computation", Herrsching (Germany), 14-20 Sep 2025

EXTENDED DEADLINE: 6TH JULY 2025 On Thursday, May 29, 2025 at 8:47:01 PM UTC Valentin Herrmann wrote:

Jun 26

Jun 12

YaMCATS 38: 23rd June 2025, The University of Manchester (UK)

Dear all, The 38th meeting of the Yorkshire and Midlands Category Theory seminar (YaMCATS) will take

unread,

YaMCATS 38: 23rd June 2025, The University of Manchester (UK)

Dear all, The 38th meeting of the Yorkshire and Midlands Category Theory seminar (YaMCATS) will take

Jun 12

Jun 9

Aczel memorial conference & BLC 2025 meeting: registration open

[Apologies for multiple postings] Dear colleagues and friends, The Peter Aczel Memorial Conference

unread,

Aczel memorial conference & BLC 2025 meeting: registration open

[Apologies for multiple postings] Dear colleagues and friends, The Peter Aczel Memorial Conference

Jun 9

Nils Anders Danielsson

May 22

Postdoc, compilation of cubical type theory

Hi, The University of Gothenburg is looking to hire a postdoc for work on compilation of cubical type

unread,

Postdoc, compilation of cubical type theory

Hi, The University of Gothenburg is looking to hire a postdoc for work on compilation of cubical type

May 22

Fredrik Nordvall Forsberg

May 21

TYPES 2025: Final Call for Participation

[Apologies for multiple postings.] Final Call for Participation TYPES 2025 31st International

unread,

TYPES 2025: Final Call for Participation

[Apologies for multiple postings.] Final Call for Participation TYPES 2025 31st International

May 21

Frédéric Blanqui

May 7

1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)

-----------------------------------------------------------------------------------------------------

unread,

1st International School on Logical Frameworks and Proof Systems Interoperability (LFPSI'25)

-----------------------------------------------------------------------------------------------------

May 7

Fredrik Nordvall Forsberg

Apr 23

TYPES 2025: Call for Participation

Call for Participation TYPES 2025 31st International Conference on Types for Proofs and Programs

unread,

TYPES 2025: Call for Participation

Call for Participation TYPES 2025 31st International Conference on Types for Proofs and Programs

Apr 23

Apr 15

Aczel Memorial Conference / BLC 2025 meeting: first announcement

Dear friends and colleagues, I am writing to let you know that The University of Manchester will be

unread,

Aczel Memorial Conference / BLC 2025 meeting: first announcement

Dear friends and colleagues, I am writing to let you know that The University of Manchester will be

Apr 15

Apr 7

Dear HoTT Community, I want to make you aware of a recent change in publishing: the editorial board

unread,

Dear HoTT Community, I want to make you aware of a recent change in publishing: the editorial board

Apr 7

Jacopo Emmenegger

Mar 24

Call for Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025

--------------------------------------------------------------------------------------------------

unread,

Call for Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025

--------------------------------------------------------------------------------------------------

Mar 24

Mar 23

Registration reminder for HoTT/UF 2025

========================================================== * Registration deadline: Friday 28 March *

unread,

Registration reminder for HoTT/UF 2025

========================================================== * Registration deadline: Friday 28 March *

Mar 23

Anders Mortberg

Mar 19

PhD positions at Stockholm University (deadline April 22)

Dear all, We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm

unread,

PhD positions at Stockholm University (deadline April 22)

Dear all, We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm

Mar 19

Mar 14

YaMCATS #37 and #38

Dear all, I am writing to let you know that the next meetings of the Yorkshire and Midlands Category

unread,

YaMCATS #37 and #38

Dear all, I am writing to let you know that the next meetings of the Yorkshire and Midlands Category

Mar 14

Jade Edenstar Master

Mar 10

Transactions in Category Theory 2025

We are pleased to announce the first international workshop: Transactions in Category Theory hosted

unread,

Transactions in Category Theory 2025

We are pleased to announce the first international workshop: Transactions in Category Theory hosted

Mar 10

Mar 4

ITP 2025: Second Call for Papers

16th International Conference on Interactive Theorem Proving - ITP'25 Reykjavik, Iceland, 27

unread,

ITP 2025: Second Call for Papers

16th International Conference on Interactive Theorem Proving - ITP'25 Reykjavik, Iceland, 27

Mar 4

Frédéric Blanqui

Mar 3

1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)

-----------------------------------------------------------------------------------------------------

unread,

1st International School on Logical Frameworks, and Proof Systems Interoperability (LFPSI'25)

-----------------------------------------------------------------------------------------------------

Mar 3

Fredrik Nordvall Forsberg

Feb 27

TYPES 2025: Deadline Extension and Final Call for Contributions

[The TYPES 2025 submission deadline has been extended a week until 10 March Anywhere On Earth.] Final

unread,

TYPES 2025: Deadline Extension and Final Call for Contributions

[The TYPES 2025 submission deadline has been extended a week until 10 March Anywhere On Earth.] Final

Feb 27

Jacopo Emmenegger

Feb 27

2nd Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025

--------------------------------------------------------------------------------------------------

unread,

2nd Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025

--------------------------------------------------------------------------------------------------

Feb 27

Peter LeFanu Lumsdaine

Feb 23

Asst. Prof. in Math. Logic at Stockholm, deadline April 15

Dear all, We are hiring an Assistant Professor in Mathematics with focus on Mathematical Logic (a

unread,

Asst. Prof. in Math. Logic at Stockholm, deadline April 15

Dear all, We are hiring an Assistant Professor in Mathematics with focus on Mathematical Logic (a

Feb 23

simo...@uns.ac.rs

Feb 17

Call for STSMs and ITC conference grants

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive

unread,

Call for STSMs and ITC conference grants

COST Action CA20111 EuroProofNet Open call for Short-Term Scientific Missions (STSMs) and Inclusive

Feb 17

weinberge...@gmail.com

Feb 11

2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)

======================================== 2nd Call for Participation and Contributions North American

unread,

2nd CfC: Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)

======================================== 2nd Call for Participation and Contributions North American

Feb 11

Fredrik Nordvall Forsberg

Feb 10

TYPES 2025: Second Call for Contributions

[The TYPES 2025 submission deadline is less than a month away.] Second Call for Contributions TYPES

unread,

TYPES 2025: Second Call for Contributions

[The TYPES 2025 submission deadline is less than a month away.] Second Call for Contributions TYPES

Feb 10

Daniel R. Grayson

Feb 6

Re: [HoTT] Abridged summary of homotopytypetheory@googlegroups.com - 1 update in 1 topic

Thanks! On Tue, Jan 14, 2025, 7:09 PM <homotopyt...@googlegroups.com> wrote:

unread,

Re: [HoTT] Abridged summary of homotopytypetheory@googlegroups.com - 1 update in 1 topic

Thanks! On Tue, Jan 14, 2025, 7:09 PM <homotopyt...@googlegroups.com> wrote:

Feb 6

Jan 29

Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary)

Dear all, I have two postdoc positions available in Budapest on Higher Observational Type Theory

unread,

Postdoc positions in type theory (start: May 2025; location: Budapest, Hungary)

Dear all, I have two postdoc positions available in Budapest on Higher Observational Type Theory

Jan 29

weinberge...@gmail.com

Jan 24

Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)

======================================== Call for Participation and Contributions North American ASL

unread,

Proof Assistants Special Session @ North American ASL Meeting (May 15 & 16, 2025, Las Cruces, NM)

======================================== Call for Participation and Contributions North American ASL

Jan 24

Jan 15

Final CfP for HoTT/UF 2025

Apologies for any duplicated messages. ==========================================================

unread,

Final CfP for HoTT/UF 2025

Apologies for any duplicated messages. ==========================================================

Jan 15

Jacopo Emmenegger

Jan 14

1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025

--------------------------------------------------------------------------------------------------

unread,

1st Call for Contributions and Participation - 4th meeting of Working Group 6 of the EuroProofNet COST Action - Genoa, Italy, 17-18 April 2025

--------------------------------------------------------------------------------------------------

Jan 14

12/19/24

Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations

Apologies for any duplicated messages. ========================================================== 2ND

unread,

Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations

Apologies for any duplicated messages. ========================================================== 2ND

12/19/24

Search

Clear search

Close search

Google apps

Main menu