From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.7 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-oa1-x3f.google.com (mail-oa1-x3f.google.com [IPv6:2001:4860:4864:20::3f]) by inbox.vuxu.org (Postfix) with ESMTP id 2396F28139 for ; Mon, 1 Jul 2024 19:04:39 +0200 (CEST) Received: by mail-oa1-x3f.google.com with SMTP id 586e51a60fabf-2500b8a716fsf2588309fac.2 for ; Mon, 01 Jul 2024 10:04:39 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1719853478; cv=pass; d=google.com; s=arc-20160816; b=erqpn3A0Wo4L7IHjAq9AYDzet1lkQuS/Vfl5LFPTCFybrH7J/xLEk1Zeyoc12za+6N 4NTIC89Zlq9cx+aTNBSmFVVBdVXtI9IuKfXByTrywm6trEkWr7WwyMFYZXauDhPsAInw l7WPRJY4vOCJa9zu6gewjvoc/jAh0iUiL8mhBNqMUGOrTog7NYvL12Aod00U1g+ELiMv zsS0+CAVIKhrd67ieCbp4WEwa+ED1DNaixzYVd68lejv2hywcJ1Ge+HUvm+bed976Rwq 4V0yXEG1g10Z6gmtHuZEweidk2d4/JMJ2sJ4f5sZGbb+kojeqyIb8l4E5JeVl95n26AD IVGA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:reply-to:cc:to:subject:message-id:date:from :mime-version:dkim-filter:dmarc-filter:dkim-signature; bh=SLEsYJseB64VmfQFd8+G7YF2y+3F6aEZf/QK3ZoB8TI=; fh=D+YrXySnHM7hhmp8GbENj6oK8eSKQTTKhpiu+uJ83Vw=; b=VcDHpgnjDDwPYUbx063jCrND7lFR7GFJSx7MGx4WpYsM43D8EZl9fk20Os+SKE3c8g 2Pev8n37uj7Vzma4mudMPMrmcpT0c8GaPc9Yxzl+rktuQihdfsxndsyKAPb+kXHXpZH3 5nX3aXdIAGWG2Ja2nVYrvZc4vmngH70BWeVsqWppwtcz4JcR0G31X5wsExRkb9zP01vN XLNC9raIBdBvIYDLxD+PlrBOcblhPQKpIThhMIVXRis4/fTZReEOOFSIxVqIR4OiHkhM xFvpY5icHhmUBeTFCsrzkgpiWB7APLvFO8bHNUR/X1/tTkykgXuW9zkv9pf/PLcZTAPo GGXA==; darn=inbox.vuxu.org ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=IctnNhyw; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1719853478; x=1720458278; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:reply-to:x-original-authentication-results :x-original-sender:cc:to:subject:message-id:date:from:mime-version :dkim-filter:dmarc-filter:from:to:cc:subject:date:message-id :reply-to; bh=SLEsYJseB64VmfQFd8+G7YF2y+3F6aEZf/QK3ZoB8TI=; b=HZQbivPKeHIgLP/8EosR4y1nW1O3oZmBXYNRi+L/GbWbWFLZKgenpBaOA9gWeDmS8l NeAuto8zJCqe6zbDtT9MQikTBMDM68WL0m7O/S2jng0Cm6hKmMcJ4DoOnvt0GUunOEy7 FSEXRYeLnQnRzCyjrYBOZwbaKSenETNaaAmsgZcYNZRPQT5oTme7u6g8Elo5Ymqq5QaG +fMzsKjientV2bKo4oHQD0FgX1Q5jIdtMKkh96f1b5smkgE0A/taRYoUKSmr0MT4h7y8 X9PbMSRlY+oEXUUYa3Q+Xe3wyAFt9UX+eeskmgcppPSPQgxtHeC5INTI7FwxZ9H3qbwQ 9kag== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1719853478; x=1720458278; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence:reply-to :x-original-authentication-results:x-original-sender:cc:to:subject :message-id:date:from:mime-version:dkim-filter:dmarc-filter :x-beenthere:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=SLEsYJseB64VmfQFd8+G7YF2y+3F6aEZf/QK3ZoB8TI=; b=arkXk7fgERFR0SEFECgWiQwQsUpDp8wGO78B/0FVkT2JysRfmTMzlIH5DlGJVvT1// 9xobNS4woxV8ZgRyXCrIRqFpksBsA2sf5rXq9Sfgcw8OtX8PUX52tj639nl1T7X5xF8E yFuQovSCLGRfEmBHvAOHqm4/mZlqO+Mu5up3uoyhH+3EDNURP02C48cfQCsSPs3yifkx piTYz3iRKzAbUcHGXxlkXl+yM0vPb3U4lnpAaM43WicqyKy6+5VxwqJ1ER+y7rdbqD7y f6DyO7n7qla9OiTLdkHIPLGzPloQF0TzJGujvedMiGTcPUFdA/28ufW8z6/yYX23Iodb 6J9Q== X-Forwarded-Encrypted: i=2; AJvYcCXP83ATbPupVNtvutq9EYtnWEIWDysjCt3JNEQUqLMeUam0We2ErkxbgMZe/8h13NZn1Kp1t4sLW1qmbaEX5C50Pw== X-Gm-Message-State: AOJu0Yw+/qFsvdUUq0AU+8BEGEWx6dFuV1MjDOhKo9vx86btRUTBP+rl kvaIh1VcL1tGE8BgYNYxZGDABx0boqBWLgvOoyyXRyhHy3jOShCH X-Google-Smtp-Source: AGHT+IEEB5t6w3r2RXfEFubD7ecJw4gtZYjCH56ZJLgSL2MlxvO6a6HvHtm/2CD5LiuG/YQ0outygQ== X-Received: by 2002:a05:6871:8a8:b0:254:a89e:acc1 with SMTP id 586e51a60fabf-25db3476383mr5465053fac.28.1719853477445; Mon, 01 Jul 2024 10:04:37 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6870:56a7:b0:259:f021:752d with SMTP id 586e51a60fabf-25d94c8e13fls546998fac.0.-pod-prod-07-us; Mon, 01 Jul 2024 10:04:35 -0700 (PDT) X-Forwarded-Encrypted: i=2; AJvYcCWV7A5owCLsjKhoDLmEd7LfJ5n/eexckPNbtsK7FU410pwoqWwbbVrHr8oUe+n61FiaH/uTHl6TcuPTIQd0iOiQoE+/VrUPAozi9Vb7Qs22K4lf/Q== X-Received: by 2002:a05:6870:d202:b0:254:b4a6:958d with SMTP id 586e51a60fabf-25db338f565mr5312403fac.2.1719853475697; Mon, 01 Jul 2024 10:04:35 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1719853475; cv=none; d=google.com; s=arc-20160816; b=Yg+kYHhvDA8CjcjrGiiVC4WjuD+2r8nbg8FCxT8n7DXkvxJF5iG2rZGSsB+RUbeO1e VyPfKn527wO1LnWwDr6FotIMKWGAIURARoOkMKJfrZxqmBS9ui3t1cFrnwWgDOuW9s/O X+Z+7sBWDxjWPnM7B16wg9LrgDU4mabBi+l+L+3oZEdy9KDtsmkLKBz/H8BTO5FvPCgk YxEwTwGPfUxxZ3TrXyf31QlfgWbBklVkNm24xGrgFbUbUhKyPbBeWEttbWS+2Alsa/tm 06zj0QU7SPJMn74M+y3CzKwu9soSTPl/dJkipPCMugGXKYs/k1heggNqB0cztf+JQXki ZkDA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=cc:to:subject:message-id:date:from:mime-version:dkim-signature :dkim-filter:dmarc-filter; bh=/TuoANXYeNsTUx4RZQvyPK0Z8dRhbWLHk9U08IY5sU4=; fh=x9buAqZdhf/FLpahO6ovqBvkFc4NfunJalzhMhxcb24=; b=ZkyPvtU0SNEQuZ/MBV6H8VXschl+F25mmD9SnqFXN7AkfoGIbHR8O9uUONu9fIYq9Z LDQnbQq8kOOn8UaRSgONZJsrG2TP6fo6Zd53HTBE9AwbRss1nSoj/TQWLxOlVM9Nixqg wTC4SsK6GXs1s9cau78j5Kf2e0db00+CwKoKF9OemvAptvjOksX7/EfK3uFOtHMvfbxx gDsjdnZX+5hONqdsGacr+I5DdbCFyVgYFqk+i3jeUNANaCwdyaFPokBxulfN+du/zsuO Z6kECc5ePv15IzPmaW+pAE2tkmK99HGwWNI63gbc/YorDqtV0ZKY1+9XVrZYtUjD7I6Z CfsQ==; dara=google.com ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=IctnNhyw; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu Received: from mta-p5.oit.umn.edu (mta-p5.oit.umn.edu. [134.84.196.205]) by gmr-mx.google.com with ESMTPS id 586e51a60fabf-25d8e2084d1si439002fac.2.2024.07.01.10.04.35 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 01 Jul 2024 10:04:35 -0700 (PDT) Received-SPF: pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) client-ip=134.84.196.205; Received: from localhost (unknown [127.0.0.1]) by mta-p5.oit.umn.edu (Postfix) with ESMTP id 4WCXTH2Q5sz9vZdS for ; Mon, 1 Jul 2024 17:04:35 +0000 (UTC) X-Virus-Scanned: amavisd-new at umn.edu Received: from mta-p5.oit.umn.edu ([127.0.0.1]) by localhost (mta-p5.oit.umn.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id iC93Vk34ol5y for ; Mon, 1 Jul 2024 12:04:35 -0500 (CDT) Received: from mail-ej1-f69.google.com (mail-ej1-f69.google.com [209.85.218.69]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by mta-p5.oit.umn.edu (Postfix) with ESMTPS id 4WCXTG6BCZz9vZd1 for ; Mon, 1 Jul 2024 12:04:34 -0500 (CDT) DMARC-Filter: OpenDMARC Filter v1.3.2 mta-p5.oit.umn.edu 4WCXTG6BCZz9vZd1 DKIM-Filter: OpenDKIM Filter v2.11.0 mta-p5.oit.umn.edu 4WCXTG6BCZz9vZd1 Received: by mail-ej1-f69.google.com with SMTP id a640c23a62f3a-a7293303843so228243466b.3 for ; Mon, 01 Jul 2024 10:04:34 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCXOdTsTaMwzP8PFgRcuFJVj+B9t5rHXg6Z+xgw3o84T0/tra2IDVSJoIM+qyMFJPh01dmrP+5voK6Y3blFwGz/X9aQNZC9fEjLIf9+9gJdJNEaMjQ== X-Received: by 2002:a17:906:7184:b0:a72:a700:ef81 with SMTP id a640c23a62f3a-a751443ffdamr371929266b.52.1719853473302; Mon, 01 Jul 2024 10:04:33 -0700 (PDT) X-Received: by 2002:a17:906:7184:b0:a72:a700:ef81 with SMTP id a640c23a62f3a-a751443ffdamr371928066b.52.1719853472906; Mon, 01 Jul 2024 10:04:32 -0700 (PDT) MIME-Version: 1.0 From: "'Favonia' via Homotopy Type Theory" Date: Mon, 1 Jul 2024 12:04:00 -0500 Message-ID: Subject: [HoTT] Free online participation in MSFP, 8th July 2024 To: ProofTheory@lists.bath.ac.uk, univalent-mathematics@googlegroups.com, Homotopy Type Theory , types-announce@lists.seas.upenn.edu, haskell@haskell.org, caml-list@inria.fr, agda@lists.chalmers.se, coq-club@inria.fr, categories@mq.edu.au Cc: Jeremy Gibbons Content-Type: multipart/alternative; boundary="000000000000519dcc061c3297f7" X-Original-Sender: kbh@umn.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@umn.edu header.s=google header.b=IctnNhyw; spf=pass (google.com: domain of kbh@umn.edu designates 134.84.196.205 as permitted sender) smtp.mailfrom=kbh@umn.edu; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=umn.edu X-Original-From: Favonia Reply-To: Favonia Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --000000000000519dcc061c3297f7 Content-Type: text/plain; charset="UTF-8" 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: https://msfp-workshop.github.io/msfp2024/ Looking forward to seeing you! Best, 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. --000000000000519dcc061c3297f7 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
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 LIC= S 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!

Best,
Favonia and Jeremy

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