Homotopy Type Theory

1–30 of 1019

Discussion of Homotopy Type Theory and Univalent Foundations

0 selected

Madeleine Birchfield, … Michael Shulman24

Dec 1

Question about the formal rules of cohesive homotopy type theory

On Thu, Dec 1, 2022 at 6:40 AM Andreas Nuyts <andreasnuyts@gmail.com> wrote: I think usability

unread,

Question about the formal rules of cohesive homotopy type theory

On Thu, Dec 1, 2022 at 6:40 AM Andreas Nuyts <andreasnuyts@gmail.com> wrote: I think usability

Dec 1

Nov 29

Cambridge 3-year postdoc position on type theory for higher categories

Hi, I have a 3-year postdoctoral research position available soon in Cambridge, on type theory and

unread,

Cambridge 3-year postdoc position on type theory for higher categories

Hi, I have a 3-year postdoctoral research position available soon in Cambridge, on type theory and

Nov 29

Nov 22

SYCO 10: Call for Participation

-------------------------------------------------------- CALL FOR PARTICIPATION TENTH SYMPOSIUM ON

unread,

SYCO 10: Call for Participation

-------------------------------------------------------- CALL FOR PARTICIPATION TENTH SYMPOSIUM ON

Nov 22

Nov 21

10 PhD studentships in Nottingham

Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking

unread,

10 PhD studentships in Nottingham

Dear all, The School of Computer Science at the University of Nottingham in the UK is seeking

Nov 21

Oct 31

LICS 2023 Call for Papers and Call for Workshop Proposals

CALL FOR PAPERS and WORKSHOP PROPOSALS. Here is both a call for papers (18/23 Jan) and a call for

unread,

LICS 2023 Call for Papers and Call for Workshop Proposals

CALL FOR PAPERS and WORKSHOP PROPOSALS. Here is both a call for papers (18/23 Jan) and a call for

Oct 31

Robin Kaarsgaard

Oct 27

SYCO 10 – Second call for submissions

----------------------------------------- CALL FOR SUBMISSIONS TENTH SYMPOSIUM ON COMPOSITIONAL

unread,

SYCO 10 – Second call for submissions

----------------------------------------- CALL FOR SUBMISSIONS TENTH SYMPOSIUM ON COMPOSITIONAL

Oct 27

Oct 24

Heilbronn Research Fellowship

Dear all, Applications are open for the next round of Heilbronn Fellowships. The advert is here:

unread,

Heilbronn Research Fellowship

Dear all, Applications are open for the next round of Heilbronn Fellowships. The advert is here:

Oct 24

Christian Sattler

Oct 17

Four PhD student positions in Gothenburg

The logic and types group at Chalmers and Gothenburg university is now recruiting four PhD students

unread,

Four PhD student positions in Gothenburg

The logic and types group at Chalmers and Gothenburg university is now recruiting four PhD students

Oct 17

Robin Kaarsgaard

Oct 12

SYCO 10 – Call for submissions

----------------------------------------- CALL FOR SUBMISSIONS TENTH SYMPOSIUM ON COMPOSITIONAL

unread,

SYCO 10 – Call for submissions

----------------------------------------- CALL FOR SUBMISSIONS TENTH SYMPOSIUM ON COMPOSITIONAL

Oct 12

Oct 11

Selected Papers of Dana S. Scott

In honor of Dana Scott's 90th birthday, a Git repository containing pdf scans of a selection of

unread,

Selected Papers of Dana S. Scott

In honor of Dana Scott's 90th birthday, a Git repository containing pdf scans of a selection of

Oct 11

Fredrik Nordvall Forsberg

Oct 10

Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)

Dear friends, The Department of Computer and Information Sciences at the University of Strathclyde,

unread,

Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)

Dear friends, The Department of Computer and Information Sciences at the University of Strathclyde,

Oct 10

Madeleine Birchfield, Michael Shulman2

Oct 8

Identity types of types, and univalence for the entire type theory

It's tempting to think that one can define univalence without universes, but I don't think

unread,

Identity types of types, and univalence for the entire type theory

It's tempting to think that one can define univalence without universes, but I don't think

Oct 8

Oct 6

Job in Logical Foundations and Formal Methods at Cambridge.

This is to draw attention and encourage applications to an assistant/associate professor job

unread,

Job in Logical Foundations and Formal Methods at Cambridge.

This is to draw attention and encourage applications to an assistant/associate professor job

Oct 6

Dan Christensen3

Oct 3

HoTTEST Event for Junior Researchers, Fall 2022

The HoTTEST event for Junior Researchers begins this week, on Thursday, October 6 at 11:30am Eastern.

unread,

HoTTEST Event for Junior Researchers, Fall 2022

The HoTTEST event for Junior Researchers begins this week, on Thursday, October 6 at 11:30am Eastern.

Oct 3

Oct 3

Faculty positions in Oxford

The Computer Science Department at the University of Oxford is hiring four new faculty. The positions

unread,

Faculty positions in Oxford

The Computer Science Department at the University of Oxford is hiring four new faculty. The positions

Oct 3

Oct 2

Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct

Dear all, on Wednesday, 12 October 2022, we will hold a workshop in honour of Thorsten

unread,

Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct

Dear all, on Wednesday, 12 October 2022, we will hold a workshop in honour of Thorsten

Oct 2

Sep 23

PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)

CALL FOR SCHOLARSHIP APPLICATIONS DEADLINE: 14 October 2022, 23:59 AoE (Anywhere on Earth) ACM

unread,

PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)

CALL FOR SCHOLARSHIP APPLICATIONS DEADLINE: 14 October 2022, 23:59 AoE (Anywhere on Earth) ACM

Sep 23

Ansten Mørch Klev

Sep 16

Martin-Löf transcriptions

Readers of this list may be interested in the following webpage, which collects transcriptions of

unread,

Martin-Löf transcriptions

Readers of this list may be interested in the following webpage, which collects transcriptions of

Sep 16

Inna Zakharevich

Sep 15

Position at Cornell, Deadline October 1st!

Hello everyone, I wanted to draw your attention to an open position at Cornell. We are hiring broadly

unread,

Position at Cornell, Deadline October 1st!

Hello everyone, I wanted to draw your attention to an open position at Cornell. We are hiring broadly

Sep 15

Sep 8

Thorsten Altenkirch 60

Dear all, Our colleague and friend Thorsten Altenkirch will turn sixty on Thursday, 20 September 2022

unread,

Thorsten Altenkirch 60

Dear all, Our colleague and friend Thorsten Altenkirch will turn sixty on Thursday, 20 September 2022

Sep 8

Elena Di Lavore

Aug 31

SYCO 9 - Last call for participation

-------------------------------------------------------- CALL FOR PARTICIPATION NINTH SYMPOSIUM ON

unread,

SYCO 9 - Last call for participation

-------------------------------------------------------- CALL FOR PARTICIPATION NINTH SYMPOSIUM ON

Aug 31

Pawel Sobocinski

Aug 23

CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures

********************************************************************* CALL FOR PAPERS FoSSaCS '23

unread,

CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures

********************************************************************* CALL FOR PAPERS FoSSaCS '23

Aug 23

Aug 21

HoTTEST summer school colloquia

This week and next, we are looking forward to five colloquium talks that will conclude this

unread,

HoTTEST summer school colloquia

This week and next, we are looking forward to five colloquium talks that will conclude this

Aug 21

Elena Di Lavore

Aug 17

SYCO 9 - Call for participation

-------------------------------------------------------- CALL FOR PARTICIPATION NINTH SYMPOSIUM ON

unread,

SYCO 9 - Call for participation

-------------------------------------------------------- CALL FOR PARTICIPATION NINTH SYMPOSIUM ON

Aug 17

Elena Di Lavore

Jul 21

SYCO 9 - 2nd call for submissions - Deadline 1st August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

unread,

SYCO 9 - 2nd call for submissions - Deadline 1st August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

Jul 21

Elena Di Lavore

Jul 1

SYCO 9 -Call for submissions - Deadline 1 August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

unread,

SYCO 9 -Call for submissions - Deadline 1 August

----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL

Jul 1

Jun 26

Call for STSMs, deadline 1 July 2022

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

unread,

Call for STSMs, deadline 1 July 2022

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

Jun 26

Fredrik Nordvall Forsberg

Jun 7

Applied Category Theory 2022: Call for Participation

CALL FOR PARTICIPATION 5th Annual International Conference on Applied Category Theory (ACT2022) July

unread,

Applied Category Theory 2022: Call for Participation

CALL FOR PARTICIPATION 5th Annual International Conference on Applied Category Theory (ACT2022) July

Jun 7

May 27

Autumn school on Proof and Computation

Autumn school "Proof and Computation", 26th September to 1st October 2022 https://www.

unread,

Autumn school on Proof and Computation

Autumn school "Proof and Computation", 26th September to 1st October 2022 https://www.

May 27

Anders Mortberg

May 25

Workshop in honour of Thierry Coquand's 60th birthday

Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18

unread,

Workshop in honour of Thierry Coquand's 60th birthday

Thierry Coquand, professor at the University of Gothenburg in Sweden, had his 60th birthday on 18

May 25

Search

Clear search

Close search

Google apps

Main menu