Semantics of higher inductive types
2017-06-06 16:22 UTC (12+ messages)
` [HoTT] "
Logic Colloquium 2017: Call for Registration and Participation ** Deadline for early registration: June 9, 2017 **
2017-06-01 21:27 UTC
Does MLTT have "or"?
2017-05-16 6:20 UTC (17+ messages)
` [HoTT] "
` [HoTT] "
cubical stacks
2017-05-14 22:05 UTC (5+ messages)
` [HoTT] "
Temporary HOTT-positions
2017-05-07 19:42 UTC
[UniMath] some thoughts
2017-05-05 12:06 UTC (2+ messages)
` [HoTT] "
notation
2017-05-04 18:23 UTC
Call for Contributions: Workshop on HoTT/UF (with FSCD 2017)
2017-05-04 17:17 UTC
Post-Doctoral Researcher in HoTT
2017-05-03 22:29 UTC
Logic Colloquium 2017: Final Call for Submissions ** Deadline for abstract submissions: May 5 **
2017-04-28 22:51 UTC
computing K
2017-04-26 21:33 UTC (7+ messages)
` [HoTT] "
LFMTP '17 (Oxford, UK) Call for papers
2017-04-20 15:58 UTC
1-Year Senior Researcher in HoTT
2017-04-18 22:14 UTC
Logic Colloquium 2017:,Second Announcement and Call for Submissions and Participation
2017-04-10 8:27 UTC
Conjecture
2017-04-07 18:10 UTC (22+ messages)
` [HoTT] Conjecture
` [HoTT] Conjecture
Call for Contributions: Foundations for Practical Formalization of Mathematics
2017-03-29 20:33 UTC
Two PhD positions in Ljubljana starting October 2017
2017-03-28 11:30 UTC
about the HTS
2017-03-23 12:16 UTC (22+ messages)
` [HoTT] "
` [UniMath] "
` HIT
` [UniMath] [HoTT] about the HTS
Seeking a lecturer for 8 hrs on proof-assistants in Padua
2017-03-15 2:32 UTC
Birmingham Fellows: prestige posts available
2017-03-03 16:46 UTC
weak univalence with "beta" implies full univalence
2017-02-28 16:33 UTC (8+ messages)
` [HoTT] "
Call for participation: Workshop on Computer-aided Mathematical Proof, Cambridge UK, 10-14 July 2017
2017-02-23 11:23 UTC
PhD position in Homotopy Type Theory
2017-02-16 12:59 UTC
Heidelberg Laureate Forum 2017
2017-02-08 3:30 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2017-02-03 2:23 UTC
mathematics subject classification for HoTT
2017-01-26 1:21 UTC
new preprint available
2017-01-19 21:49 UTC (6+ messages)
` [HoTT] "
PhD position at the ILLC, University of Amsterdam
2017-01-10 12:54 UTC
some model categories
2016-12-29 19:38 UTC (2+ messages)
` [HoTT] "
a new paper
2016-12-16 13:30 UTC
CoqPL 2017: Call for Participation [registration is open]
2016-12-08 20:48 UTC
Deadline extension: JAR special issue on HoTT/UF
2016-11-18 23:07 UTC
tenure-track and postdoctoral positions at UWO
2016-11-07 17:21 UTC
fully funded graduate positions in Math at UWO
2016-11-07 16:06 UTC
Is [Equiv Type_i Type_i] contractible?
2016-10-31 22:01 UTC (14+ messages)
` [HoTT] "
` [HoTT] "
` MLTT with proof-relevant judgmental equality?
` [HoTT] "
Connected 1-Types
2016-10-31 15:15 UTC (3+ messages)
` [HoTT] "
HoTT library
2016-10-25 19:23 UTC
Great News from Stockholm
2016-10-24 13:30 UTC
Joyal equivalence II
2016-10-13 23:26 UTC
Joyal's version of the notion of equivalence
2016-10-13 12:48 UTC (14+ messages)
` [HoTT] "
Summer opportunities at the IAS
2016-10-12 22:35 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2016-10-05 21:44 UTC
The Cayley-Dickson Construction in HoTT
2016-10-05 18:33 UTC
new slides
2016-09-23 19:05 UTC (4+ messages)
` [HoTT] "
CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages
2016-09-22 20:57 UTC
Semantic Success Condition for the definability of Semi-Simplicial Types
2016-09-21 21:56 UTC (6+ messages)
` [HoTT] "
A puzzle about "univalent equality"
2016-09-19 12:40 UTC (16+ messages)
` [HoTT] "
In case you haven’t heard what’s going on in Leicester …
2016-09-16 11:03 UTC
Postdoctoral position in univalent foundations and type theory at the IAS
2016-09-12 14:54 UTC
Meta-conjecture about MLTT
2016-09-12 13:01 UTC (17+ messages)
` [HoTT] "
` [HoTT] "
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).