Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
[HoTT] YaMCATS 24 - April 29th, 2021
 2021-04-22 10:36 UTC  - mbox.gz / Atom

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

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

[HoTT] Faculty positions at Birmingham UK
 2021-03-24 15:02 UTC  - mbox.gz / Atom

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

[HoTT] Research Programmer in HoTT and Cubical Type Theory
 2021-03-13  1:14 UTC  - mbox.gz / Atom

[HoTT] Syllepsis in HoTT
 2021-03-08 19:55 UTC  (19+ messages) - mbox.gz / Atom

[HoTT] two's complement integers
 2021-03-05  4:41 UTC  (8+ messages) - mbox.gz / Atom

[HoTT] Postdoctoral position in Higher Category Theory at Johns Hopkins
 2021-03-02 19:54 UTC  - mbox.gz / Atom

[HoTT] Foundational question about a large set of small sets
 2021-03-01  7:52 UTC  (7+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Burali-Forti in HoTT/UF
 2021-02-24 14:50 UTC  - mbox.gz / Atom

[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  - mbox.gz / Atom

[HoTT] Postdoctoral position in HoTT
 2021-02-19 15:57 UTC  - mbox.gz / Atom

[HoTT] 10 PhD studentships in Nottingham
 2021-02-11 15:06 UTC  - mbox.gz / Atom

[HoTT] Fwd: Benno van den Berg, tomorrow!
 2021-02-08 16:30 UTC  - mbox.gz / Atom

[HoTT] Postdoc with Patty Johann
 2021-02-05  1:12 UTC  - mbox.gz / Atom

[HoTT] Bohemian L&P Café: Michael Makkai, Feb. 2
 2021-01-27 17:15 UTC  - mbox.gz / Atom

[HoTT] Postdoctoral position in homotopy type theory at USD
 2021-01-27 16:42 UTC  - mbox.gz / Atom

[HoTT] Bohemian L&P Café: Michael Makkai, January 26
 2021-01-25 15:35 UTC  - mbox.gz / Atom

[HoTT] two fully funded PhD positions in type theory
 2021-01-20 18:38 UTC  - mbox.gz / Atom

[HoTT] Second Postdoctoral Research Fellowship at Leeds
 2021-01-08 22:54 UTC  (3+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] Postdoctoral position in HoTT at Johns Hopkins University
 2021-01-03 15:39 UTC  - mbox.gz / Atom

[HoTT] Bohemian Logical & Philosophical Café
 2020-12-28 22:53 UTC  - mbox.gz / Atom

[HoTT] fully funded graduate positions in Math at UWO
 2020-12-18 17:40 UTC  - mbox.gz / Atom

[HoTT] Postdoctoral research fellowship at the University of Leeds
 2020-12-07 11:19 UTC  - mbox.gz / Atom

[HoTT] Reminder: Erik Palmgren memorial conference, Thu–Sat this week
 2020-11-17 11:29 UTC  - mbox.gz / Atom

[HoTT] postdoctoral positions at the University of Western Ontario
 2020-11-13 21:55 UTC  - mbox.gz / Atom

[HoTT] HoTT Dissertation Fellowship: Deadline extended
 2020-11-13 18:20 UTC  - mbox.gz / Atom

[HoTT] Erik Palmgren memorial conference: online, Nov 19–21
 2020-11-04 15:27 UTC  - mbox.gz / Atom

[HoTT] Assistant professor position in Theoretical Computer Science at the ILLC
 2020-10-28 15:44 UTC  - mbox.gz / Atom

[HoTT] Every proof assistant seminar series: Cubical Agda (September 17, 2022)
 2020-09-11  6:32 UTC  - mbox.gz / Atom

[HoTT] Postdoc positions in Prague
 2020-09-04  7:30 UTC  - mbox.gz / Atom

[HoTT] HoTT Electronic Seminar Talks in Fall 2020
 2020-09-02 13:58 UTC  - mbox.gz / Atom

[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  - mbox.gz / Atom

[HoTT] A definition of equivalence where the identity is a unit on both sides for composition
 2020-08-17 15:59 UTC  (3+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] HoTT at LICS 2020
 2020-07-02  2:19 UTC  - mbox.gz / Atom

[HoTT] Fully funded PhD positions at Tallinn University of Technology
 2020-06-25 14:57 UTC  - mbox.gz / Atom

[HoTT] Call for Participation: HoTT/UF 2020 - July 5-7
 2020-06-25 13:17 UTC  - mbox.gz / Atom

[HoTT] LFMTP2020 Call for Participation
 2020-06-22 22:07 UTC  - mbox.gz / Atom

[HoTT] The HoTTEST Conference of 2020, June 15-19 (homotopy type theory)
 2020-06-12 16:04 UTC  - mbox.gz / Atom

[HoTT] EPIT 2020: Spring School on Homotopy Type Theory (last announcement)
 2020-06-05  9:19 UTC  (2+ messages) - mbox.gz / Atom
` [HoTT] "

[HoTT] What is known and/or written about “Frobenius eliminators”?
 2020-05-16  8:34 UTC  (6+ messages) - mbox.gz / Atom

[HoTT] Every proof assistant talk announcement: MMT (Florian Rabe)
 2020-05-15 19:02 UTC  - mbox.gz / Atom

[HoTT] PhD studentships
 2020-05-14 12:35 UTC  - mbox.gz / Atom

[HoTT] agda chat on zulip
 2020-05-13 13:53 UTC  (3+ messages) - mbox.gz / Atom

Identity versus equality
 2020-05-11 17:27 UTC  (61+ messages) - mbox.gz / Atom
` [HoTT] "

Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
 2020-05-11  3:21 UTC  - mbox.gz / Atom

"Identifications" ?
 2020-05-08 10:41 UTC  (26+ messages) - mbox.gz / Atom
` [HoTT] "
  ` [HoTT] "

Second CfP: Applied Category Theory Conference (ACT2020)
 2020-05-03 16:18 UTC  - mbox.gz / Atom

An online seminar about the Arend proof assistant
 2020-05-01 13:42 UTC  (5+ messages) - mbox.gz / Atom
  ` [HoTT] "

WFLP 2020 CFP (Workshop on Functional and Constraint Logic Programming)
 2020-05-01  9:44 UTC  - mbox.gz / Atom

PhD position at University of Birmingham, UK
 2020-04-27 21:23 UTC  - mbox.gz / Atom

The HoTTEST Conference of 2020, June 15-19, only on the internet
 2020-04-19 16:50 UTC  - mbox.gz / Atom

constructive sheaf models
 2020-04-17 20:29 UTC  - mbox.gz / Atom

HoTT Zullip
 2020-04-17  6:03 UTC  (3+ messages) - mbox.gz / Atom
` [HoTT] "

LFMTP 2020 CFP (UPDATES due to Coronavirus)
 2020-04-16 17:16 UTC  - mbox.gz / Atom

Fwd: [TYPES/announce] Deadline Extension for E. W. Beth Outstanding Dissertation Prize 2020
 2020-04-08 15:50 UTC  - mbox.gz / Atom

Update on Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'20) on July 5-6, 2020
 2020-04-06 23:06 UTC  - mbox.gz / Atom

Applied Category Theory 2020 - Second Call for Papers
 2020-04-06 16:26 UTC  - mbox.gz / Atom

Postdoc at Wesleyan (teaching-funded)
 2020-03-28 20:41 UTC  - mbox.gz / Atom

Announcing the Online Worldwide Seminar on Logic and Semantics (OWLS)
 2020-03-27 22:50 UTC  - mbox.gz / Atom

PhD positions in Computational Mathematics at Stockholm University
 2020-03-22  3:45 UTC  (3+ messages) - mbox.gz / Atom
  ` [HoTT] "

Second Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2020
 2020-03-17 14:41 UTC  - mbox.gz / Atom

Job at the University of Leeds
 2020-03-13 14:52 UTC  - mbox.gz / Atom

[HoTT] SYCO 7 - Call for Participation
 2020-03-12 17:29 UTC  (2+ messages) - mbox.gz / Atom
` POSTPONED: SYCO 7

[HoTT] Announcement: 4th Midwest HoTT Seminar
 2020-03-11  0:48 UTC  (2+ messages) - mbox.gz / Atom
` CANCELLED: "

[HoTT] CALL FOR PAPERS - Applied Category Theory Conference (ACT2020)
 2020-03-03 11:09 UTC  - mbox.gz / Atom

page:  |  | latest

Discussion of Homotopy Type Theory and Univalent Foundations

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/hott

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 hott hott/ https://inbox.vuxu.org/hott \
		homotopytypetheory@googlegroups.com
	public-inbox-index hott

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git