[HoTT] Call for STSMs and ITC conference grants, deadline 24 November 2024
2024-10-28 14:22 UTC
[HoTT] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)
2024-10-25 11:16 UTC
[HoTT] Workshop Categorical Logic and Higher Categories: registration
2024-09-30 13:05 UTC
[HoTT] Types post-proceedings call for papers
2024-09-26 14:22 UTC
[HoTT] Fall 2024 HoTTEST lineup
2024-08-20 12:00 UTC
[HoTT] First announcement: Workshop Categorical Logic and Higher Categories
2024-07-16 11:21 UTC
[HoTT] Free online participation in MSFP, 8th July 2024
2024-07-01 17:04 UTC
[HoTT] CfA: Associate Senior Lecturer in Logic, Gothenburg (Sweden)
2024-07-01 16:28 UTC
[HoTT] Re: new arxiv calendar overlay — [Coq-Club] Postdoc Machine Learning
2024-06-25 1:37 UTC
[HoTT] Postdoc position in Higher Category Theory
2024-06-17 9:06 UTC
[HoTT] Autumn school "Proof and Computation", Fischbachau (Germany), 15-21 Sep 2024
2024-05-27 20:46 UTC (2+ messages)
` [HoTT] "
[HoTT] YaMCATS 35, University of Manchester, 20 June 2024
2024-05-20 8:32 UTC
[HoTT] MSFP 2024 deadline extension: Tuesday 28th May
2024-05-12 13:12 UTC
[HoTT] Types 2024, second call for participation
2024-05-07 6:59 UTC
[HoTT] Deadline Extension: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP24)
2024-04-29 15:02 UTC
[HoTT] Reminder: MSFP 2024 Call for Papers (deadline 30 Apr)
2024-04-26 14:18 UTC
[HoTT] School on Univalent Mathematics, Minneapolis (MN, USA), July 29-Aug 2, 2024
2024-04-22 15:06 UTC
[HoTT] Types 2024, Call for Participation
2024-04-18 14:01 UTC
[HoTT] Workshop on inductive definitions
2024-04-11 11:31 UTC
[HoTT] PhD Studentship at VU Amsterdam
2024-04-04 14:08 UTC
[HoTT] YaMCATS 34 - 16th April 2024 - University of Sheffield
2024-03-29 10:32 UTC
[HoTT] Call for ITC conference grants, deadline 1 May 2024
2024-03-20 15:23 UTC
[HoTT] Postdoc position at the University of Strathclyde
2024-03-14 16:08 UTC
[HoTT] MSFP 2024 Call for Papers (short abstracts 26 Apr, papers 30 Apr)
2024-03-07 6:59 UTC
[HoTT] Types 2024, deadline extension
2024-03-05 13:21 UTC
[HoTT] Midlands Graduate School (MGS): Registration closing soon
2024-03-04 12:54 UTC
[HoTT] PhD positions at Chalmers
2024-03-04 10:57 UTC
[HoTT] Call for STSMs and ITC conference grants, deadline 17 March 2024
2024-02-22 11:02 UTC
[HoTT] Call for Participation and Registration: HoTT/UF 2024
2024-02-21 14:45 UTC
[HoTT] HoTT submissions to CJM and CMB
2024-02-18 16:45 UTC
[HoTT] PhD positions in Nottingham, UK
2024-02-16 15:28 UTC
[HoTT] PhD position at the University of Strathclyde
2024-02-13 17:32 UTC
[HoTT] MGS'2024 (Midlands Graduate School)
2024-02-12 11:11 UTC
[HoTT] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers
2024-02-11 17:00 UTC
[HoTT] PhD positions at Nottingham
2024-02-09 16:08 UTC
[HoTT] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24)
2024-02-08 22:31 UTC
[HoTT] Types 2024 Call for Contributions
2024-02-01 9:24 UTC
[HoTT] CiE 2024: Final call for papers
2024-01-24 9:53 UTC
[HoTT] HoTT/UF 2024: Final Call for Contributions and Participation
2024-01-16 14:11 UTC
[HoTT] fully funded graduate positions in Math at UWO
2024-01-11 18:52 UTC
[HoTT] MSCS Special Issue on Homotopy Type Theory: approaching deadline
2024-01-08 8:54 UTC
[HoTT] Syllepsis for syllepsis
2024-01-02 2:33 UTC (9+ messages)
[HoTT] LICS 2024 Second Call for Papers
2023-12-22 20:08 UTC
[HoTT] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers
2023-12-21 15:01 UTC
[HoTT] HoTT/UF 2024: First Call for Contributions and Participation
2023-12-19 2:42 UTC
[HoTT] CMU Summer School in LFE
2023-12-15 17:01 UTC
[HoTT] Call for STSMs and ITC conference grants, deadline 7 January 2024
2023-12-09 15:30 UTC
[HoTT] Call for STSMs and ITC conference grants, deadline 7 January 2024
2023-12-09 15:27 UTC
[HoTT] postdoc and ongoing teaching positions at Western University
2023-12-04 15:27 UTC
[HoTT] HoTT/UF 2024: First Call for Contributions and Participation
2023-11-22 16:59 UTC
[HoTT] ICALP-LICS-FSCD joint call for workshops
2023-11-08 21:14 UTC
[HoTT] Postdoc in categorical semantics at Cambridge
2023-11-01 10:37 UTC
[HoTT] Call for Papers and Deadline Extension for: TYPES 2023 Post-proceedings
2023-10-31 15:36 UTC
[HoTT] Workshop on Synthetic Algebraic Geometry
2023-10-25 14:09 UTC
[HoTT] Call for STSMs and ITC conference grants, deadline 12 November 2023
2023-10-19 10:08 UTC
[HoTT] Postdoctoral fellowship at Stockholm University
2023-10-17 16:26 UTC
[HoTT] Call for Papers: TYPES 2023 Post-proceedings
2023-10-05 11:40 UTC
[HoTT] Lectureship in Pure Mathematics - University of Manchester
2023-09-19 6:31 UTC
[HoTT] LICS 2024 Call for Papers
2023-09-18 15:59 UTC
[HoTT] Faculty positions at Birmingham Theory Group
2023-09-18 10:24 UTC
[HoTT] CfP: Advances in Homotopy type theory - MSCS special issue
2023-09-11 9:35 UTC
[HoTT] announcing the Fall 2023 HoTTEST lineup
2023-09-10 14:24 UTC
[HoTT] 2nd CFP - CPP 2024 Certified Programs and Proofs
2023-08-08 15:58 UTC
[HoTT] Peter Aczel
2023-08-03 20:09 UTC (2+ messages)
[HoTT] Announcing the Pittsposium -- August 22-23 -- Cambridge, UK
2023-08-03 11:00 UTC (2+ messages)
` [HoTT] Pittsposium -- Second Announcement -- Registration Deadline Monday August 7
[HoTT] Peter Aczel
2023-08-03 8:51 UTC (3+ messages)
[HoTT] Four PhD positions in Gothenburg
2023-07-18 20:13 UTC
[HoTT] 1st CFP - CPP 2024 - Certified Programs and Proofs
2023-07-14 17:21 UTC
[HoTT] Call for Participation: Logic Mentoring Workshop (LMW@LICS 2023)
2023-06-05 13:39 UTC
[HoTT] Deadline Extension: CfP 2023 Coq workshop, May 30th
2023-05-26 15:56 UTC
[HoTT] The HoTT Book is (almost) done!
2023-05-23 11:58 UTC
[HoTT] 2nd Call for presentations: 2023 Coq workshop
2023-05-16 8:00 UTC
[HoTT] Autumn school "Proof and Computation", Herrsching (Germany), 10-16 Sep 2023
2023-05-10 20:34 UTC (2+ messages)
` [HoTT] "
[HoTT] LICS 2023 Call for Participation
2023-05-06 8:31 UTC
[HoTT] Regensburg summer school
2023-05-05 11:05 UTC
[HoTT] Associate professorship in mathematics in Stockholm
2023-05-05 5:33 UTC
[HoTT] Free higher groups
2023-05-02 8:48 UTC (17+ messages)
` [HoTT] "
[HoTT] HoTT 2023 reduced registration ends May 1
2023-04-28 11:31 UTC
[HoTT] 2023 Coq workshop call for presentations
2023-04-25 7:03 UTC
[HoTT] HoTT 2023: registration
2023-04-06 9:21 UTC
[HoTT] AVAILABLE 100% UNDETECTABLE NOTES TOP CURRENCIES Whatsapp:…(+1(424)226-8145)GET YOUR VALID DOCUMENTS TO Website Link: https://qualitybillsanddocuments.com/index.php TOP QUALITY MONEY FOR SALE. DOLLAR, POUNDS, EUROS AND OTHER CURRENCIES AVAILABLE WE
2023-03-27 16:29 UTC
[HoTT] [CMU-HoTT] Special series of lectures — Cisinski, Nguyen, Walde on *Univalent Directed Type Theory*
2023-03-23 18:00 UTC
[HoTT] Re: [CMU-HoTT] Special lectures Directed Type Theory — via dependent profunctor-types following Kosta Dosen
2023-03-21 9:54 UTC
[HoTT] [CMU-HoTT] Special series of lectures — Cisinski, Nguyen, Walde on *Univalent Directed Type Theory*
2023-03-16 12:38 UTC
[HoTT] Funding deadline: EuroProofNet WG6 meeting in Vienna
2023-03-14 14:05 UTC
[HoTT] Postdoc positions in Prague
2023-03-14 10:44 UTC
[HoTT] [CMU-HoTT] Special series of lectures — Cisinski, Nguyen, Walde on *Univalent Directed Type Theory*
2023-03-11 22:15 UTC
[HoTT] HoTT 2023: deadline extended
2023-03-09 10:55 UTC
[HoTT] PhD position at Inria / Nantes Université (France)
2023-03-04 10:16 UTC
[HoTT] Special series of lectures — Cisinski, Nguyen, Walde on *Univalent Directed Type Theory*
2023-03-02 18:40 UTC
[HoTT] February 23: Loïc Pujet, Observational Type Theory meets CIC
2023-02-22 15:31 UTC
[HoTT] HoTT/UF 2023: Deadline extended / 3rd Call for Contributions
2023-02-18 22:05 UTC
[HoTT] Midlands Graduate School 2023
2023-02-13 11:41 UTC
[HoTT] Call for STSMs, deadline 1 July 2022
2023-02-13 10:26 UTC (4+ messages)
` [HoTT] Call for STSMs, deadline 1 January 2023
` [HoTT] Call for STSMs and ITC conference grants, "
[HoTT] Registration open - EuroProofNet Working Group 6 meeting in Vienna, 24-25 April 2023
2023-02-10 12:36 UTC
[HoTT] HoTT/UF 2023: 2nd Call for Contributions
2023-02-07 19:30 UTC
[HoTT] CfP: 2nd International Conference on Homotopy Type Theory
2023-02-06 10:08 UTC
[HoTT] ACT 2023: first announcement
2023-02-05 14:58 UTC
[HoTT] Definitional equality of types as strict bijection
2023-02-04 13:56 UTC
[HoTT] Workshop: Internal Methods in Algebraic Geometry
2023-02-01 18:54 UTC
[HoTT] Infinitary type theory
2023-01-31 1:11 UTC (6+ messages)
[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] 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 (2+ messages)
` [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
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).