ICMS 2016 most special session slides added |
v v |
12:09 PM |

FOMUS slides |
v v |
7/26/16 |

CFP: special issue of JAR on HoTT and univalent foundations |
nicolas tabareau |
7/25/16 |

What's so great about decidable proof checking? |
Matt Oliveri |
7/20/16 |

Different notions of equality; terminology |
Andrew Polonsky |
7/19/16 |

Fwd: [PVS] tenure track position in Theoretical Computer Science |
v v |
7/8/16 |

Guarded Cubical Type Theory |
Bas Spitters |
6/24/16 |

PhD thesis: On the homotopy groups of spheres in homotopy type theory |
Guillaume Brunerie |
6/21/16 |

Is synthetic the right word? |
andré hirschowitz |
6/16/16 |

What is UF, what is HoTT and what is a univalent type theory? |
Martín Escardó |
6/14/16 |

How to make software without money |
Andrej Bauer |
6/13/16 |

Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching |
Andrew Swan |
6/12/16 |

Live streaming for the Workshop on Homotopy Type Theory and Univalent Foundations at Fields Insittute |
Krzysztof Kapulkin |
5/16/16 |

Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld |
Balthasar Grabmayr |
5/16/16 |

LC2016: early registration deadline |
Nicola Gambino |
5/13/16 |

Safe propositional resizing in Agda |
Martín Escardó |
5/10/16 |

Univalent type theory |
Martín Escardó |
5/6/16 |

regular infinity-actions |
Michael Shulman |
5/6/16 |

New preprint - Computational Higher Type Theory I: Abstract Cubical Realizability |
Carlo Angiuli |
5/2/16 |

1-year teaching / research position |
Steve Awodey |
4/29/16 |