[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] HoTTEST Event for Junior Researchers, Fall 2022
2022-08-19 5:52 UTC (2+ messages)
` [HoTT] Last call: "
[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] Call for STSMs, deadline 1 July 2022
2022-06-26 21:33 UTC (2+ messages)
[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)
[HoTT] two's complement integers
2021-03-05 4:41 UTC (8+ messages)
[HoTT] Postdoctoral position in Higher Category Theory at Johns Hopkins
2021-03-02 19:54 UTC
[HoTT] Foundational question about a large set of small sets
2021-03-01 7:52 UTC (7+ messages)
` [HoTT] "
[HoTT] Burali-Forti in HoTT/UF
2021-02-24 14:50 UTC
[HoTT] Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
2021-02-23 16:31 UTC
[HoTT] Postdoctoral position in HoTT
2021-02-19 15:57 UTC
[HoTT] 10 PhD studentships in Nottingham
2021-02-11 15:06 UTC
[HoTT] Fwd: Benno van den Berg, tomorrow!
2021-02-08 16:30 UTC
[HoTT] Postdoc with Patty Johann
2021-02-05 1:12 UTC
[HoTT] Bohemian L&P Café: Michael Makkai, Feb. 2
2021-01-27 17:15 UTC
[HoTT] Postdoctoral position in homotopy type theory at USD
2021-01-27 16:42 UTC
[HoTT] Bohemian L&P Café: Michael Makkai, January 26
2021-01-25 15:35 UTC
[HoTT] two fully funded PhD positions in type theory
2021-01-20 18:38 UTC
[HoTT] Second Postdoctoral Research Fellowship at Leeds
2021-01-08 22:54 UTC (3+ messages)
` [HoTT] "
[HoTT] Postdoctoral position in HoTT at Johns Hopkins University
2021-01-03 15:39 UTC
[HoTT] Bohemian Logical & Philosophical Café
2020-12-28 22:53 UTC
[HoTT] fully funded graduate positions in Math at UWO
2020-12-18 17:40 UTC
[HoTT] Postdoctoral research fellowship at the University of Leeds
2020-12-07 11:19 UTC
[HoTT] Reminder: Erik Palmgren memorial conference, Thu–Sat this week
2020-11-17 11:29 UTC
[HoTT] postdoctoral positions at the University of Western Ontario
2020-11-13 21:55 UTC
[HoTT] HoTT Dissertation Fellowship: Deadline extended
2020-11-13 18:20 UTC
[HoTT] Erik Palmgren memorial conference: online, Nov 19–21
2020-11-04 15:27 UTC
[HoTT] Assistant professor position in Theoretical Computer Science at the ILLC
2020-10-28 15:44 UTC
[HoTT] Every proof assistant seminar series: Cubical Agda (September 17, 2022)
2020-09-11 6:32 UTC
[HoTT] Postdoc positions in Prague
2020-09-04 7:30 UTC
[HoTT] HoTT Electronic Seminar Talks in Fall 2020
2020-09-02 13:58 UTC
[HoTT] Fwd: Panel Debate, Wednesday 2 September @ 3pm UTC: "Evolution or Revolution? The Future of Conferences in Theoretical Computer Science"
2020-08-18 16:44 UTC
[HoTT] A definition of equivalence where the identity is a unit on both sides for composition
2020-08-17 15:59 UTC (3+ messages)
` [HoTT] "
[HoTT] HoTT at LICS 2020
2020-07-02 2:19 UTC
[HoTT] Fully funded PhD positions at Tallinn University of Technology
2020-06-25 14:57 UTC
[HoTT] Call for Participation: HoTT/UF 2020 - July 5-7
2020-06-25 13:17 UTC
[HoTT] LFMTP2020 Call for Participation
2020-06-22 22:07 UTC
[HoTT] The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)
2020-06-12 16:04 UTC
[HoTT] EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
2020-06-05 9:19 UTC (2+ messages)
` [HoTT] "
[HoTT] What is known and/or written about “Frobenius eliminators”?
2020-05-16 8:34 UTC (6+ messages)
[HoTT] Every proof assistant talk announcement: MMT (Florian Rabe)
2020-05-15 19:02 UTC
[HoTT] PhD studentships
2020-05-14 12:35 UTC
[HoTT] agda chat on zulip
2020-05-13 13:53 UTC (3+ messages)
[HoTT] Identity versus equality
2020-05-11 17:27 UTC (15+ 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).