Homotopy Type Theory

1–30 of 958

Discussion of Homotopy Type Theory and Univalent Foundations

0 selected

Benno van den Berg

Jan 27

Multiple faculty positions in Theoretical Computer Science at the University of Amsterdam

Dear all, The University of Amsterdam has advertised multiple faculty positions in Theoretical

unread,

Multiple faculty positions in Theoretical Computer Science at the University of Amsterdam

Dear all, The University of Amsterdam has advertised multiple faculty positions in Theoretical

Jan 27

Dan Christensen

Jan 20

Re: HoTTEST Event for Junior Researchers, January 13 and 20, 2022

Just a reminder that day 2 starts in just under 3 hours! Note that the schedule for today has changed

unread,

Re: HoTTEST Event for Junior Researchers, January 13 and 20, 2022

Just a reminder that day 2 starts in just under 3 hours! Note that the schedule for today has changed

Jan 20

Frédéric Blanqui

Jan 20

Release of Lambdapi 2.1.0

Dear all, I am pleased to announce the release 2.1.0 of Lambdapi on opam. See https://github.com/

unread,

Release of Lambdapi 2.1.0

Dear all, I am pleased to announce the release 2.1.0 of Lambdapi on opam. See https://github.com/

Jan 20

Dan Christensen

Jan 12

fully funded graduate positions in Math at UWO

Western has lots of people interested in homotopy type theory, homotopy theory, category theory and

unread,

fully funded graduate positions in Math at UWO

Western has lots of people interested in homotopy type theory, homotopy theory, category theory and

Jan 12

Dan Christensen

Jan 9

HoTTEST Event for Junior Researchers, January 13 and 20, 2022

HoTTEST Event for Junior Researchers January 13 and 20, 2022 11am to 1pm EST, followed by an informal

unread,

HoTTEST Event for Junior Researchers, January 13 and 20, 2022

HoTTEST Event for Junior Researchers January 13 and 20, 2022 11am to 1pm EST, followed by an informal

Jan 9

Jan 3

Call for STSMs, deadline 16 January 2022

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

unread,

Call for STSMs, deadline 16 January 2022

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

Jan 3

Dan Christensen2

12/2/21

HoTTEST Event for Young Researchers, January 2022

The deadline for applying to this event is tomorrow, Friday, December 3, anywhere on earth. -----

unread,

HoTTEST Event for Young Researchers, January 2022

The deadline for applying to this event is tomorrow, Friday, December 3, anywhere on earth. -----

12/2/21

Nicolai Kraus, Thorsten Altenkirch2

12/2/21

Fwd: 10 PhD studentships in Nottingham

On 02/12/2021, 08:47, "Graham Hutton" <pszgmh@exmail.nottingham.ac.uk> wrote: Dear

unread,

Fwd: 10 PhD studentships in Nottingham

On 02/12/2021, 08:47, "Graham Hutton" <pszgmh@exmail.nottingham.ac.uk> wrote: Dear

12/2/21

weinberge...@gmail.com, Steve Awodey2

11/29/21

HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline)

Note that there is still time to contribute a talk - also until December 1. Contributed talks are

unread,

HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline)

Note that there is still time to contribute a talk - also until December 1. Contributed talks are

11/29/21

Benedikt Ahrens2

10/17/21

A COST action for improving interoperability of computer proof systems - members wanted

Dear All, I previously sent out the call for participation below, for a network on improving

unread,

A COST action for improving interoperability of computer proof systems - members wanted

Dear All, I previously sent out the call for participation below, for a network on improving

10/17/21

10/13/21

Fwd: Conant Prize 2022

Let me add my own congratulations as well! From the linked: article: "The Levi L. Conant Prize

unread,

Fwd: Conant Prize 2022

Let me add my own congratulations as well! From the linked: article: "The Levi L. Conant Prize

10/13/21

Benedikt Ahrens

9/27/21

Part I of MSCS Special Issue on HoTT/UF published

Dear All, We are happy to announce that Part I of the MSCS Special Issue on Homotopy Type Theory and

unread,

Part I of MSCS Special Issue on HoTT/UF published

Dear All, We are happy to announce that Part I of the MSCS Special Issue on Homotopy Type Theory and

9/27/21

Anders Mortberg, Guillaume Brunerie2

9/25/21

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week

Den fre 24 sep. 2021 13:20Anders Mortberg <andersmortberg@gmail.com> skrev: Dear all, A quick

unread,

Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week

Den fre 24 sep. 2021 13:20Anders Mortberg <andersmortberg@gmail.com> skrev: Dear all, A quick

9/25/21

Benedikt Ahrens

9/15/21

School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022

We are pleased to announce the School on Univalent Mathematics 2022, to be held at the Palazzone di

unread,

School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022

We are pleased to announce the School on Univalent Mathematics 2022, to be held at the Palazzone di

9/15/21

Daniel R. Grayson

9/15/21

a special issue of a journal dedicated to Voevodsky

I've just become aware of a special issue of the journal BioSystems entitled "Foundations of

unread,

a special issue of a journal dedicated to Voevodsky

I've just become aware of a special issue of the journal BioSystems entitled "Foundations of

9/15/21

Anders Mortberg

9/6/21

Postdoctoral position in homotopy type theory and related topics at Stockholm University

Dear all, I'm pleased to announce that we're hiring a postdoctoral researcher in homotopy

unread,

Postdoctoral position in homotopy type theory and related topics at Stockholm University

Dear all, I'm pleased to announce that we're hiring a postdoctoral researcher in homotopy

9/6/21

Frédéric Blanqui

9/3/21

EuroProofNet - Call for Working Group membership Application

Dear all, Registration to EuroProofNet working groups is open on https://e-services.cost.eu/action/

unread,

EuroProofNet - Call for Working Group membership Application

Dear all, Registration to EuroProofNet working groups is open on https://e-services.cost.eu/action/

9/3/21

9/1/21

FINAL CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'22), January 10-

unread,

FINAL CALL FOR PAPERS Symposium on LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS'22), January 10-

9/1/21

Kristina Sojakova

7/28/21

Dear all, I am attaching a proof of syllepsis written out, since some people expressed an interest.

unread,

Dear all, I am attaching a proof of syllepsis written out, since some people expressed an interest.

7/28/21

7/8/21

Call for Participation: HoTT/UF 2021 - July 17-18

CALL FOR PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations July 17-18, 2021,

unread,

Call for Participation: HoTT/UF 2021 - July 17-18

CALL FOR PARTICIPATION Workshop on Homotopy Type Theory and Univalent Foundations July 17-18, 2021,

7/8/21

Benedikt Ahrens

7/5/21

Conference for the 90 years of Gödel's Incompleteness Theorems, with a session on type theory tomorrow (Tuesday)

This week (5-9 July) is taking place a conference to celebrate 90 years of the publication of

unread,

Conference for the 90 years of Gödel's Incompleteness Theorems, with a session on type theory tomorrow (Tuesday)

This week (5-9 July) is taking place a conference to celebrate 90 years of the publication of

7/5/21

Benno van den Berg

5/28/21

PhD position at the University of Amsterdam

Dear colleague, The ILLC (part of the University of Amsterdam) is advertising an open PhD position (

unread,

PhD position at the University of Amsterdam

Dear colleague, The ILLC (part of the University of Amsterdam) is advertising an open PhD position (

5/28/21

5/27/21

Topos talk: Shulman

~ Topos Institute Colloquium ~ Michael Shulman: Two-dimensional semantics of homotopy type theory

unread,

Topos talk: Shulman

~ Topos Institute Colloquium ~ Michael Shulman: Two-dimensional semantics of homotopy type theory

5/27/21

Benedikt Ahrens

5/26/21

PhD position in HoTT/UF at TU Delft

A PhD position [1] is open in the Programming Languages group [2] at TU Delft, in the area of HoTT/UF

unread,

PhD position in HoTT/UF at TU Delft

A PhD position [1] is open in the Programming Languages group [2] at TU Delft, in the area of HoTT/UF

5/26/21

Benedikt Ahrens

5/17/21

Postdoc position (7 months) on type theory, working remotely is possible

Dear All, I am advertising a short (7 months) postdoc position with me. The job is physically located

unread,

Postdoc position (7 months) on type theory, working remotely is possible

Dear All, I am advertising a short (7 months) postdoc position with me. The job is physically located

5/17/21

5/3/21

2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021

This is the Second Call for Contributions for the (Virtual) Workshop on Homotopy Type Theory and

unread,

2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021

This is the Second Call for Contributions for the (Virtual) Workshop on Homotopy Type Theory and

5/3/21

4/30/21

Time correction for Bohemian L&P Café: Michael Shulman, May 4

~~~ Bohemian Logical & Philosophical Café ~~~ Speaker: Michael Shulman Title: The derivator of

unread,

Time correction for Bohemian L&P Café: Michael Shulman, May 4

~~~ Bohemian Logical & Philosophical Café ~~~ Speaker: Michael Shulman Title: The derivator of

4/30/21

4/28/21

Bohemian L&P Café: Michael Shulman, May 4

~~~ Bohemian Logical & Philosophical Café ~~~ Speaker: Michael Shulman Title: The derivator of

unread,

Bohemian L&P Café: Michael Shulman, May 4

~~~ Bohemian Logical & Philosophical Café ~~~ Speaker: Michael Shulman Title: The derivator of

4/28/21

4/22/21

YaMCATS 24 - April 29th, 2021

*** Yorkshire and Midlands Category Theory Seminar *** Thursday 29th April, 2:00-5:30pm (UK time) ***

unread,

YaMCATS 24 - April 29th, 2021

*** Yorkshire and Midlands Category Theory Seminar *** Thursday 29th April, 2:00-5:30pm (UK time) ***

4/22/21

Peter LeFanu Lumsdaine

4/16/21

PhD opening in HoTT at Stockholm — note close deadline

Dear all, I'm happy to announce that we're recruiting for PhD students in HoTT (besides other

unread,

PhD opening in HoTT at Stockholm — note close deadline

Dear all, I'm happy to announce that we're recruiting for PhD students in HoTT (besides other

4/16/21

Search

Clear search

Close search

Google apps

Main menu