Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
[HoTT] Second CFS (extended deadline): International Conference on Homotopy Type Theory 2019
 2019-03-20 18:48 UTC 

[HoTT] Geometry in Modal HoTT now on Youtube
 2019-03-19  4:42 UTC  (3+ messages)

[HoTT] PhD position in Computational Mathematics at Stockholm University
 2019-03-18 19:20 UTC 

[HoTT] postdoc at Macquarie
 2019-03-10  2:02 UTC 

[HoTT] Propositional Truncation
 2019-03-08 22:28 UTC  (14+ messages)

[HoTT] 4 meetings in April here in Birmingham UK
 2019-03-07 17:24 UTC  (2+ messages)

[HoTT] Workshop on Modal HoTT will be on Zoom
 2019-03-04 23:37 UTC 

[HoTT] Homotopy Type Theory and Univalent Foundations conference June 2019 in Oslo
 2019-03-04  9:57 UTC 

[HoTT] A setoid model of extensional Martin-Löf type theory in Agda
 2019-03-02 21:33 UTC 

[HoTT] Funding available for Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5
 2019-03-01  9:17 UTC 

[HoTT] Summer School on HHT/UF - Registration open
 2019-02-27 15:27 UTC 

[HoTT] Construction of the circle in UniMath
 2019-02-25 15:03 UTC 

[HoTT] 2019 Midwest Homotopy Type Theory Seminar: March 9
 2019-02-22 21:51 UTC 

[HoTT] 4th autumn school "Proof and Computation"
 2019-02-22 10:22 UTC 

[HoTT] 1-Types are groupoids
 2019-02-20 12:05 UTC  (3+ messages)

[HoTT] Why do we need judgmental equality?
 2019-02-20  0:22 UTC  (71+ messages)
` [HoTT] "
          ` [Agda] "

[HoTT] "type-theoretic model structures"
 2019-02-18 21:07 UTC  (6+ messages)

[HoTT] A unifying cartesian cubical type theory
 2019-02-18 15:31 UTC  (17+ messages)
` [HoTT] "

[HoTT] Question regarding terminology regarding injectivity of objects
 2019-02-08 21:06 UTC 

[HoTT] Reminder: Workshop on Geometry in Modal Homotopy Type Theory
 2019-02-04 15:03 UTC 

[HoTT] Announcement: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
 2019-02-01  7:38 UTC 

[HoTT] Midlands Graduate School 2019 in the Foundations of Computing Science
 2019-02-01  2:04 UTC 

[HoTT] CALL FOR SUBMISSIONS: International Conference on Homotopy Type Theory 2019
 2019-01-29 17:36 UTC 

[HoTT] Defining n-sphere via HIT in cubical Agda
 2019-01-27 20:11 UTC 

[HoTT] HoTT Electronic Seminar Talks in Spring 2019
 2019-01-21  2:35 UTC 

[HoTT] HITs in Agda
 2019-01-14 22:48 UTC  (10+ messages)
` [HoTT] "

[HoTT] HoTT as a classical equivalent of quantum programming (was: What is knot in HOTT?)
 2019-01-12  3:22 UTC 

[HoTT] Homotopy type of simply connected spaces
 2019-01-11 12:01 UTC  (4+ messages)

[HoTT] PhD position at the ILLC, University of Amsterdam
 2019-01-10 11:43 UTC 

[HoTT] The best proof assistant for HoTT from the point of view of automation
 2019-01-08  1:54 UTC  (5+ messages)

[HoTT] Parametric cubical type theory
 2019-01-03 15:00 UTC 

[HoTT] Postdoc Position at the University of Minnesota
 2019-01-01  2:12 UTC 

[HoTT] Category Theory 2019: call for contributions
 2018-12-24 15:47 UTC 

[HoTT] Quantum Computations and HoTT
 2018-12-21  4:10 UTC  (4+ messages)

[HoTT] Topology is Combinatorics over Finite Fields
 2018-12-20  3:24 UTC 

[HoTT] TYPES 2019, 11-14 June 2019, Oslo: Announcement and first call for contributions
 2018-12-13  9:55 UTC 

[HoTT] SECOND ANNOUNCEMENT: International Conference on Homotopy Type Theory 2019
 2018-12-11 23:03 UTC 

[HoTT] SYCO 2 Call for Participation
 2018-12-06 14:52 UTC 

[HoTT] Does (co)homology detect inhabitation?
 2018-12-04 23:15 UTC  (5+ messages)
` [HoTT] "

[HoTT] A multiplication on the surreal numbers
 2018-12-04 19:59 UTC 

[HoTT] Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019
 2018-12-04 17:05 UTC 

[HoTT] Fwd: Job opening: post-doctoral research and development position at the University of Barcelona
 2018-12-03 15:29 UTC 

[HoTT] Workshop on Geometry in Modal Homotopy Type Theory
 2018-11-26 17:02 UTC 

[HoTT] fully funded graduate positions in mathematics at Western
 2018-11-18 13:51 UTC  (2+ messages)
` [HoTT] Hopf fibrations and computer science

[HoTT] 2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open
 2018-11-17 13:04 UTC 

[HoTT] Proof that something is an embedding without assuming excluded middle?
 2018-11-15 23:38 UTC  (12+ messages)
` [HoTT] "

[HoTT] Homotopy Type Theory and Univalent Foundations conference in Oslo
 2018-11-14 12:31 UTC 

Semantics of higher inductive types
 2018-11-12 12:30 UTC  (14+ messages)
` [HoTT] "

[HoTT] Final Call for Presentations: Second Symposium on Compositional Structures (SYCO 2)
 2018-11-11 11:32 UTC 

[HoTT] Computer-generated proofs for the monoidal structure of the smash product
 2018-11-09 15:22 UTC  (3+ messages)
` [HoTT] "

[HoTT] Precategories, Categories and Univalent categories
 2018-11-09 15:06 UTC  (23+ messages)
` [HoTT] "

page:  |  | 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).