Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
[HoTT] Infinitary type theory
 2023-01-27 20:40 UTC 

[HoTT] HoTT in Mathematical Logic Quarterly
 2023-01-27 12:42 UTC  (2+ messages)

[HoTT] EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023
 2023-01-25 18:16 UTC 

[HoTT] HoTT 2023: first CfP
 2023-01-19 22:02 UTC 

[HoTT] fully funded graduate positions in Math at UWO
 2023-01-17 18:23 UTC 

[HoTT] My Introduction to Homotopy Type Theory textbook is finished and on the ArXiv
 2023-01-13 14:52 UTC  (6+ messages)

[HoTT] HoTT/UF 2023: Call for Contributions
 2023-01-09 19:36 UTC 

[HoTT] 10 PhD studentships in Nottingham
 2023-01-09  9:54 UTC  (2+ messages)
` [HoTT] "

[HoTT] Postdoc at the University of Manchester
 2023-01-05  9:07 UTC 

[HoTT] Vladimir's paper
 2022-12-31 20:01 UTC 

[HoTT] Call for applications: Applied Category Theory Adjoint School 2023
 2022-12-16 10:29 UTC 

[HoTT] Positions at Birmingham, UK, Computer Science
 2022-12-13 18:24 UTC 

[HoTT] Save the date: HoTT 2023
 2022-12-13 12:01 UTC 

[HoTT] Call for STSMs, deadline 1 July 2022
 2022-12-07  9:11 UTC  (3+ messages)
  ` [HoTT] Call for STSMs, deadline 1 January 2023

[HoTT] Question about the formal rules of cohesive homotopy type theory
 2022-12-01 18:00 UTC  (24+ messages)

[HoTT] Cambridge 3-year postdoc position on type theory for higher categories
 2022-11-29 15:03 UTC 

[HoTT] SYCO 10: Call for Participation
 2022-11-22 17:19 UTC 

[HoTT] PhD studentships in Nottingham, UK
 2022-11-21 13:19 UTC 

[HoTT] LICS 2023 Call for Papers and Call for Workshop Proposals
 2022-10-31 17:20 UTC 

[HoTT] SYCO 10 – Second call for submissions
 2022-10-27  7:59 UTC 

[HoTT] Heilbronn Research Fellowship
 2022-10-24  8:15 UTC 

[HoTT] Four PhD student positions in Gothenburg
 2022-10-17 22:10 UTC 

[HoTT] Selected Papers of Dana S. Scott
 2022-10-11 13:02 UTC 

[HoTT] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
 2022-10-10 13:00 UTC 

[HoTT] SYCO 10 – Call for submissions
 2022-10-10  4:28 UTC 

[HoTT] Identity types of types, and univalence for the entire type theory
 2022-10-08 23:41 UTC  (2+ messages)

[HoTT] Job in Logical Foundations and Formal Methods at Cambridge
 2022-10-06 17:08 UTC 

[HoTT] HoTTEST Event for Junior Researchers, Fall 2022
 2022-10-03 20:14 UTC  (3+ messages)
` [HoTT] Last call: "
` [HoTT] HoTTEST Event for Junior Researchers starts this week

[HoTT] Faculty positions in Oxford
 2022-10-02 20:37 UTC 

[HoTT] Call for Participation (online/in-person): type theory workshop, Nottingham, 12 Oct
 2022-10-02 11:11 UTC 

[HoTT] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)
 2022-09-23 16:00 UTC 

[HoTT] Martin-Löf transcriptions
 2022-09-16  9:28 UTC 

[HoTT] Position at Cornell, Deadline October 1st!
 2022-09-15  2:28 UTC 

[HoTT] Thorsten Altenkirch 60
 2022-09-08  8:25 UTC 

[HoTT] SYCO 9 - Last call for participation
 2022-08-31 16:40 UTC 

[HoTT] CFP: FoSSaCS '23: 26th International Conference on Foundations of Software Science and Computation Structures
 2022-08-23 13:20 UTC 

[HoTT] HoTTEST summer school colloquia
 2022-08-22  2:54 UTC 

[HoTT] SYCO 9 - Call for participation
 2022-08-17 12:48 UTC 

[HoTT] SYCO 9 - 2nd call for submissions - Deadline 1st August
 2022-07-21 15:54 UTC 

[HoTT] SYCO 9 -Call for submissions - Deadline 1 August
 2022-07-01 16:29 UTC 

[HoTT] Applied Category Theory 2022: Call for Participation
 2022-06-07  6:51 UTC 

[HoTT] Autumn school on Proof and Computation
 2022-05-27 17:57 UTC 

[HoTT] Workshop in honour of Thierry Coquand's 60th birthday
 2022-05-25  6:50 UTC 

[HoTT] The Brunerie number is -2
 2022-05-24  9:49 UTC  (6+ messages)

[HoTT] Extended Deadline for HoTT/UF 2022: 15 May
 2022-05-11 14:37 UTC 

[HoTT] CMU HoTT Seminar Online: Shulman (part III)
 2022-05-11 11:34 UTC 

[HoTT] Final call for participation (Deadline Friday 13 May): Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21, 2022
 2022-05-10 14:29 UTC 

[HoTT] Communicating Mathematics Conference, August 8-11
 2022-05-09 22:04 UTC 

[HoTT] Applied Category Theory 2022: Final Call for Papers (deadline extended to Wed 11 May)
 2022-05-06 14:18 UTC 

[HoTT] HoTT/UF 2022: Second Call for Contributions
 2022-05-05 10:56 UTC 

[HoTT] CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, May 5 & 12
 2022-05-05  2:04 UTC 

[HoTT] announcing the HoTTEST summer school (save the dates)
 2022-04-27 20:53 UTC 

[HoTT] M. Shulman, Towards Third-Generation HOTT, April 14, 21, and 28 - HoTTEST Distinguished Lecture Series
 2022-04-27 11:00 UTC  (22+ messages)
` [HoTT] "

[HoTT] CORRECTION: CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12
 2022-04-22 20:51 UTC 

[HoTT] CMU HoTT Seminar Online: M. Shulman, Towards Third-Generation HOTT, April 28, May 5 & 12
 2022-04-22 20:44 UTC 

[HoTT] Applied Category Theory 2022: Second Call for Papers
 2022-04-22 12:06 UTC 

[HoTT] Reminder: PhD positions in Stockholm, deadline this Friday, 22 April
 2022-04-19  9:55 UTC 

[HoTT] On the recent events
 2022-04-17 20:26 UTC  (2+ messages)

[HoTT] Reminder: Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, May 20-21 (contributed talk and funding deadline Monday 11 April)
 2022-04-08 13:43 UTC 

[HoTT] School on Univalent Mathematics, Cortona (Italy), July 17-23: Application deadline 15 April
 2022-03-30 12:46 UTC 

[HoTT] Bicategories, Categorification and Quantum Theory (BCQT2022): pre-registration open
 2022-03-28  9:54 UTC 

[HoTT] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022
 2022-03-27 16:27 UTC 

[HoTT] Call for STSMs, deadline 3 April 2022
 2022-03-24 16:44 UTC 

[HoTT] PhD position in Homotopy Type Theory
 2022-03-21 11:02 UTC 

[HoTT] Yay Andrej!
 2022-03-17 16:14 UTC  (2+ messages)
` [HoTT] "

[HoTT] Midlands Graduate School: Accommodation and second (final) call for participation
 2022-03-14 14:40 UTC 

[HoTT] PhD position at the University of Amsterdam
 2022-03-08 12:23 UTC 

[HoTT] Call for STSMs, deadline 3 April 2022
 2022-03-08  8:44 UTC 

[HoTT] Postdoc and PhD position in homotopy type theory
 2022-03-03 14:32 UTC 

[HoTT] Going to ban HoTT community entierly
 2022-02-27  8:45 UTC 

[HoTT] Applied Category Theory 2022: First Call for Papers
 2022-02-23 18:53 UTC 

[HoTT] 22nd Midlands Graduate School, 10-14 April 2022: Call for Participation
 2022-02-21 11:41 UTC 

[HoTT] Formalization of π₄(S³)≅ℤ/2ℤ in Cubical Agda completed
 2022-02-11 11:29 UTC  (6+ messages)

[HoTT] HoTT/UF 2022: Call for Contributions
 2022-02-04 19:42 UTC 

[HoTT] PhD Opportunities at the University of Birmingham
 2022-02-02 15:41 UTC 

[HoTT] Multiple faculty positions in Theoretical Computer Science at the University of Amsterdam
 2022-01-27 11:51 UTC 

[HoTT] Re: HoTTEST Event for Junior Researchers, January 13 and 20, 2022
 2022-01-20 13:18 UTC 

[HoTT] Release of Lambdapi 2.1.0
 2022-01-20  8:16 UTC 

[HoTT] fully funded graduate positions in Math at UWO
 2022-01-12 20:10 UTC 

[HoTT] HoTTEST Event for Junior Researchers, January 13 and 20, 2022
 2022-01-09 20:24 UTC 

[HoTT] Call for STSMs, deadline 16 January 2022
 2022-01-03 15:19 UTC 

[HoTT] HoTTEST Event for Young Researchers, January 2022
 2021-12-02 14:22 UTC  (2+ messages)
` [HoTT] Last call: "

[HoTT] Fwd: 10 PhD studentships in Nottingham
 2021-12-02  9:39 UTC  (2+ messages)
` [HoTT] FW: "

[HoTT] HoTT at the ASL in April: save the date & student travel funding (Dec 1 deadline)
 2021-11-29 18:29 UTC  (2+ messages)

[HoTT] A COST action for improving interoperability of computer proof systems - members wanted
 2021-10-17 11:46 UTC  (2+ messages)
` [HoTT] [Correction: participation open to anyone] A COST action for improving interoperability of computer proof systems

[HoTT] Fwd: Conant Prize 2022
 2021-10-13 13:56 UTC 

[HoTT] Part I of MSCS Special Issue on HoTT/UF published
 2021-09-27 10:42 UTC 

[HoTT] Reminder: 2 year position on HoTT and related topics in Stockholm, deadline Friday next week
 2021-09-25  9:04 UTC  (2+ messages)

[HoTT] School on Univalent Mathematics, Cortona (Italy), July 17-23, 2022
 2021-09-15 18:40 UTC 

[HoTT] a special issue of a journal dedicated to Voevodsky
 2021-09-15 14:52 UTC 

[HoTT] Postdoctoral position in homotopy type theory and related topics at Stockholm University
 2021-09-06 12:08 UTC 

[HoTT] EuroProofNet - Call for Working Group membership Application
 2021-09-03  8:27 UTC 

[HoTT] LFCS final CFP
 2021-09-01 11:59 UTC 

[HoTT] Syllepsis
 2021-07-28 17:27 UTC 

[HoTT] Call for Participation: HoTT/UF 2021 - July 17-18
 2021-07-08 12:50 UTC 

[HoTT] Conference for the 90 years of Gödel's Incompleteness Theorems, with a session on type theory tomorrow (Tuesday)
 2021-07-05 19:36 UTC 

[HoTT] PhD position at the University of Amsterdam
 2021-05-28  9:36 UTC 

[HoTT] Topos talk: Shulman
 2021-05-27 15:48 UTC 

[HoTT] PhD position in HoTT/UF at TU Delft
 2021-05-26 18:45 UTC 

[HoTT] Postdoc position (7 months) on type theory, working remotely is possible
 2021-05-17 19:44 UTC 

[HoTT] 2nd Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
 2021-05-03 12:12 UTC 

[HoTT] Time correction for Bohemian L&P Café: Michael Shulman, May 4
 2021-04-30 14:30 UTC 

[HoTT] Bohemian L&P Café: Michael Shulman, May 4
 2021-04-29  2:23 UTC 

[HoTT] YaMCATS 24 - April 29th, 2021
 2021-04-22 10:36 UTC 

[HoTT] PhD opening in HoTT at Stockholm — note close deadline
 2021-04-16 10:23 UTC 

[HoTT] Reminder: 2-year position in HoTT at Stockholm, deadline this Friday
 2021-04-05 10:31 UTC 

[HoTT] Faculty positions at Birmingham UK
 2021-03-24 15:02 UTC 

[HoTT] 2-year researcher position in HoTT, Stockholm University; deadline 9 April
 2021-03-22 12:31 UTC 

[HoTT] Research Programmer in HoTT and Cubical Type Theory
 2021-03-13  1:14 UTC 

[HoTT] Syllepsis in HoTT
 2021-03-08 19:55 UTC  (19+ messages)

page: 

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