Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
Temporary HOTT-positions
 2017-05-07 19:42 UTC 

Does MLTT have "or"?
 2017-05-07 13:49 UTC  (12+ messages)
` [HoTT] "
  ` [HoTT] "

[UniMath] some thoughts
 2017-05-05 12:06 UTC  (2+ messages)
` [HoTT] "

notation
 2017-05-04 18:23 UTC 

cubical stacks
 2017-05-04 17:31 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  (9+ 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  (18+ 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] "

Workshop on Categorical Logic and Univalent Foundations: slides available
 2016-08-15 21:40 UTC 

Cubical sets and the topological topos
 2016-08-08 20:08 UTC 

Fwd: Fellowship Opportunity for < 5 yrs from PhD - Power of Information
 2016-08-07 16:28 UTC 

post-doc at Wesleyan
 2016-08-05 16:08 UTC 

ICMS 2016 most special session slides added
 2016-07-28 19:09 UTC 

FOMUS slides
 2016-07-26  8:07 UTC  (10+ messages)
` [HoTT] "
              ` a new transport rule
                ` [HoTT] "

CFP: special issue of JAR on HoTT and univalent foundations
 2016-07-25  7:54 UTC 

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