Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Free online participation in MSFP, 8th July 2024
@ 2024-07-01 17:04 'Favonia' via Homotopy Type Theory
  0 siblings, 0 replies; only message in thread
From: 'Favonia' via Homotopy Type Theory @ 2024-07-01 17:04 UTC (permalink / raw)
  To: ProofTheory, univalent-mathematics, Homotopy Type Theory,
	types-announce, haskell, caml-list, agda, coq-club, categories
  Cc: Jeremy Gibbons

[-- Attachment #1: Type: text/plain, Size: 878 bytes --]

I'm delighted to announce that there is free best-effort online
participation in the Tenth Workshop on Mathematically Structured Functional
Programming (MSFP 2024), co-located with FSCD, ICALP, and LICS in Tallinn
next Monday, 8th July. Please *register your email in advance* so that we
can send you Zoom login info on Sunday evening. For details see the website:


Looking forward to seeing you!

Favonia and Jeremy

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAH_%2Brvffh74OUk1Ogb%3Dd_U_6uqswMhyHwVGaBtav_EQYiga1zA%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 1526 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2024-07-01 17:04 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-07-01 17:04 [HoTT] Free online participation in MSFP, 8th July 2024 'Favonia' via Homotopy Type Theory

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