Homotopy Type Theory

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

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

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

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

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

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

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

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

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

Dear All, You might be interested in participating in the COST action EuroProofNet, the aim of which

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

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

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

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

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

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

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

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

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

Dear all, A quick reminder of the researcher position in HoTT that I advertised a couple of weeks ago

We are hiring lecturers / senior lecturers (corresponding to assistant / associate professors https:/

Dear all, I'm pleased to announce that we're hiring for a researcher position in Homotopy

We are hiring a research programmer at University of Minnesota to work with us on building next-

I remember multiple people (including me) discovered relatively short proofs. Some history on GitHub:

I don't have a particular application in mind at the moment. It just struck me how 2-adic

I'm delighted to announce that we are hiring a postdoctoral fellow at Johns Hopkins in higher

Interesting, Ulrik and Mike. Thanks! Martin On 28/02/2021 15:13, Michael Shulman wrote: > Yes,

I've written a post about Burali-Forti in HoTT/UF in Andrej Bauer's Mathematics and

Workshop on Homotopy Type Theory and Univalent Foundations July 17-18, 2021, The Internet @ Buenos

I would like to announce a new postdoc position in homotopy type theory/univalent foundations. For