[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] Why do we need judgmental equality? 2019-01-30 11:54 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 (46+ messages) ` [HoTT] " [HoTT] On the Use of Computational Paths in Path Spaces of Homotopy Type Theory 2018-10-30 3:21 UTC (4+ messages) ` [HoTT] Quantum Groups [HoTT] Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations 2018-10-25 16:47 UTC [HoTT] Summer School on Higher Topos Theory and Univalent Foundations 2018-10-23 20:52 UTC [HoTT] A communal proof of an initiality theorem 2018-10-18 19:58 UTC (2+ messages) ` [HoTT] " [HoTT] HoTT Wiki 2018-10-10 13:55 UTC [HoTT] A proof that univalence implies function extensionality 2018-10-08 14:12 UTC [HoTT] Characteristic Classes for Types 2018-10-02 16:20 UTC (12+ messages) ` [HoTT] " ` [HoTT] the weak infinite groupoid in Simple Type Theory [HoTT] The Hodge structure of a type 2018-09-25 8:59 UTC (5+ messages) [HoTT] Euler characteristic of a type 2018-09-19 3:52 UTC (9+ messages) [HoTT] Orthogonal groups and grassmannians in HoTT 2018-09-17 0:20 UTC [HoTT] 1D W Type? 2018-09-16 6:53 UTC [HoTT] MSRI semester program "Higher Categories and Categorification" January - May 2020 2018-09-14 0:42 UTC [HoTT] Looking for a reference that HITs are a strict extension of HoTT 2018-09-07 12:38 UTC (5+ messages) [HoTT] HoTT Electronic Seminar Talks Fall 2018 2018-09-06 16:23 UTC [HoTT] Final announcement, Vladimir Voevodsky Memorial Conference 2018-08-27 10:41 UTC [HoTT] 8,9 Oct: EUTypes meeting in Aarhus 2018-08-26 13:40 UTC [HoTT] 1D Mu Type 2018-08-22 23:54 UTC (7+ messages) ` [HoTT] " [HoTT] Real Projective space (and other projective spaces too) 2018-08-19 6:36 UTC (6+ messages) ` [HoTT] " [HoTT] Localising spheres in HoTT 2018-08-15 8:51 UTC (2+ messages) [HoTT] [FOM] Why Voevodsky was concerned about the foundations of the natural numbers? 2018-08-08 6:18 UTC [HoTT] In memoriam: Vladimir Voevodsky 2018-08-04 20:36 UTC [HoTT] TOWARDS A DIRECTED HOMOTOPY TYPE THEORY 2018-08-03 19:07 UTC (2+ messages) ` [HoTT] " [HoTT] Two Papers on Path Types and Identity Types 2018-08-03 10:33 UTC HoTT/UF in MSC2020 2018-08-02 5:49 UTC (4+ messages) ` [HoTT] " [HoTT] Localization in Homotopy Type Theory and status of synthetic homotopy theory in HoTT 2018-07-30 22:14 UTC (2+ messages) [HoTT] 2nd announcement, Vladimir Voevodsky Memorial Conference 2018-07-25 10:50 UTC [HoTT] Two PhD Positions in Program Verification 2018-07-25 8:31 UTC [HoTT] homotopy groups in CCHM cubical type theory 2018-07-20 22:29 UTC (2+ messages) [HoTT] What is knot in HOTT? 2018-07-20 16:42 UTC (11+ messages)

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