From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10430 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Harley D. Eades III" Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Seminar talk on Extending Homotopy Type Theory with Linear Type Formers Date: Thu, 25 Mar 2021 11:45:49 -0400 Message-ID: Reply-To: harley.eades-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============4053212042245561350==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14114"; mail-complaints-to="usenet@ciao.gmane.io" To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, "categories-59hdLBrVOVU@public.gmane.org list" Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Thu Mar 25 18:53:20 2021 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0b-000c2a01.pphosted.com ([148.163.155.36]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lPUAZ-0003UB-7E for gcst-types-announce@m.gmane-mx.org; Thu, 25 Mar 2021 18:53:19 +0100 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.1.2/8.16.1.2) with SMTP id 12PHq6bT014190; Thu, 25 Mar 2021 13:52:27 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 37db9r1xt9-1; Thu, 25 Mar 2021 13:52:27 -0400 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12PHqGwe128164; Thu, 25 Mar 2021 13:52:17 -0400 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12PHqG5T024472; Thu, 25 Mar 2021 13:52:16 -0400 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0a-00390e01.pphosted.com (mx0a-00390e01.pphosted.com [148.163.133.158]) by RHIZOME.seas.upenn.edu (8.16.1/8.15.2) with ESMTP id 12PFk3Ap004138 for ; Thu, 25 Mar 2021 11:46:03 -0400 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 12PFWgpr011282 for ; Thu, 25 Mar 2021 11:46:03 -0400 Original-Received: from mail-ej1-f49.google.com (mail-ej1-f49.google.com [209.85.218.49]) by mx0a-00390e01.pphosted.com with ESMTP id 37dx5v0jq2-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Thu, 25 Mar 2021 11:46:02 -0400 Original-Received: by mail-ej1-f49.google.com with SMTP id w3so3699569ejc.4 for ; Thu, 25 Mar 2021 08:46:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:reply-to:from:date:message-id:subject:to; bh=Sg5qmdxXUqtNb1axCIaK1HQKeU78R/sJZljAZ+FaFug=; b=B/NVzLgy5nSbIqQsfqCEY9eZrTISVN9RfmPuU0KGmnNHaO10ljs3FerfFJIYkIfw6S Yw5O7x3bK4jA/wY8SMMLw7Jb2b7mInmVRJZfLQXMF2OIBOszasL/NErRLfe9sU7Z4EKa sq+G3sJWnWfJnzMVsFNiUp4THZD/kpCIQnP6I8chgXJREMSr+rIlNvub4OQPkD70I6s/ m9TVw8IwZrfwvAf7N7/c38hFfd03l3aOWBh+Uvu4Co41UfxW7MoRB86PRBObTsCUR5pL DiuheRtOcdSvGECeaasaLU0y7ypgT+9gHpQMCCd3LZt8zpn7lhbNas/SFpM3UfPyomof O+ow== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:reply-to:from:date:message-id :subject:to; bh=Sg5qmdxXUqtNb1axCIaK1HQKeU78R/sJZljAZ+FaFug=; b=W9vtJyRO0yiJpoQcl6sIDUAlbQG5zhFvSDI6NM5JWzQLO0W+kmMPPDKCb2F1G2wXRw PSMC837Okm2DyzXpsxm/y03YJ/4RtnLYfCmSGJxTG5cLEBC1yeGIffSMUxmX0L5eHXom xug6b81471lOhjhQ+bJWH0XJzenTsor0S1FV+Atk3/z37YBrNA0RNUufwySTzCuCZDh4 8XixK2N/RhAGu/xmweLDjOZXEacULx+r/JwPZbunk6NEp0UcGwnPGh0IU9vtobUczB7t R8v2Xd0u3TpcVLxRrotMoe6lxAhZI0bKxEaRg7EY6pIgUwzfRIA3bCyyBTlzG9vhv6e9 6iwQ== X-Gm-Message-State: AOAM532F9HCdS0pTi1dv49i6H+VitWZGuQhTnDEqrHHrgWVAGWPHQ7wZ LwjgPbU66G0dUEFYjuWpKiaaCQDFb5MnZiunlA2xPiwpDgxXfA== X-Google-Smtp-Source: ABdhPJw9jQ6CvCcf+PV3wYXU99L2x6nazvIacCjgh7ncb1lARyglrrjpFkX1OJ47tLGjzrpn8afwGQKUt1iD83y1lX0= X-Received: by 2002:a17:906:558:: with SMTP id k24mr10299689eja.387.1616687160580; Thu, 25 Mar 2021 08:46:00 -0700 (PDT) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.369, 18.0.761 definitions=2021-03-25_04:2021-03-24, 2021-03-25 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 lowpriorityscore=0 mlxscore=0 priorityscore=318 adultscore=0 clxscore=187 suspectscore=0 impostorscore=0 bulkscore=0 malwarescore=0 spamscore=0 mlxlogscore=938 phishscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2103250112 domainage_hfrom=9356 domainage_replyto=9356 X-Mailman-Approved-At: Thu, 25 Mar 2021 13:52:15 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.136,Aquarius:18.0.761,Hydra:6.0.369,FMLib:17.0.607.475 definitions=2021-03-25_05,2021-03-25_01,2020-04-07_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 adultscore=0 priorityscore=1501 lowpriorityscore=0 bulkscore=0 mlxlogscore=999 impostorscore=0 phishscore=0 spamscore=0 clxscore=1034 malwarescore=0 mlxscore=0 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2103250131 Xref: news.gmane.io gmane.comp.science.types.announce:9530 gmane.science.mathematics.categories:10430 Archived-At: --===============4053212042245561350== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --===============4053212042245561350== Content-Type: multipart/alternative; boundary="000000000000eb5e5005be5e4f7d" --000000000000eb5e5005be5e4f7d Content-Type: text/plain; charset="UTF-8" Hi, everyone. On Friday, March 26, 2021 between 9am and 10am EST (2pm - 3pm UTC), Mitchell Riley will be giving a presentation as part of the CS Colloquium Series at Augusta University. Presentation details can be found here: https://the-au-forml-lab.github.io/colloquium_talks/Riley.html This will be an exciting talk on Mitchell's work as part of his PhD under the direction of Dan Licata on homotopy type theory and linearity. These talks are open to the general public via Zoom and Youtube. I'll be live streaming it on Youtube. If you are interested in attending the Zoom meeting please RSVP with me before the talk. Questions will be taken from those on Zoom and YouTube. If you care to watch via YouTube, please use the following link: https://youtu.be/0f-srpBeXAI Feel free to share this message with everyone you know. I hope all of you, your family and friends are doing well! Very best, Harley --000000000000eb5e5005be5e4f7d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi, everyone.

On Friday, March 26, 2021= between 9am and 10am EST (2pm - 3pm UTC), Mitchell Riley will be giving a = presentation as part of the CS=C2=A0Colloquium=C2=A0Series at Augusta University.

Presentation details=C2=A0can= be found here:

https://the-au-forml-lab.github.io/colloquium_talks/= Riley.html

This will be an exciting talk on Mitchell's work = as part of his PhD under the direction of Dan Licata on homotopy type theor= y and linearity.

These talks are open to the general public v= ia Zoom and Youtube.=C2=A0 I'll be live streaming it on Youtube. If you= are interested in attending the Zoom meeting please RSVP with me before th= e talk.=C2=A0=C2=A0

Questions will be taken from t= hose on Zoom and YouTube.

If you care to watch via YouTub= e, please use the following link:

https://youtu.be/0f-srpBeXAI
Feel free to share this message with everyone you know.

I ho= pe all of you, your family and friends are doing well!

Ve= ry best, Harley
--000000000000eb5e5005be5e4f7d-- --===============4053212042245561350==--