From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10435 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 Coinductive Equivalences for Higher-order Coeffectful Languages Date: Sat, 27 Mar 2021 13:55:42 -0400 Message-ID: Reply-To: harley.eades-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============1915805243322697638==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="31177"; 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 Sat Mar 27 22:42:33 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 1lQGhT-0007xR-3V for gcst-types-announce@m.gmane-mx.org; Sat, 27 Mar 2021 22:42:31 +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 12RLe648025284; Sat, 27 Mar 2021 17:41:33 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 37hxxtg6s2-1; Sat, 27 Mar 2021 17:41:32 -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 12RLfR8e072729; Sat, 27 Mar 2021 17:41:27 -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 12RLfQCk103416; Sat, 27 Mar 2021 17:41:27 -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 12RHttCR068966 for ; Sat, 27 Mar 2021 13:55:55 -0400 Original-Received: from pps.filterd (m0172791.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 12RHpR0E015058 for ; Sat, 27 Mar 2021 13:55:55 -0400 Original-Received: from mail-ej1-f44.google.com (mail-ej1-f44.google.com [209.85.218.44]) by mx0a-00390e01.pphosted.com with ESMTP id 37hx3vmq1r-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Sat, 27 Mar 2021 13:55:54 -0400 Original-Received: by mail-ej1-f44.google.com with SMTP id a7so13214688ejs.3 for ; Sat, 27 Mar 2021 10:55:54 -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=jzCLJ36cgNoFvW5XdN9IrwgF8y+Jx9OgF0IQHnfZ74A=; b=BM93heTwcsfqPOosJsg/QjyDsycnrztEEpaHOVEtVFpaAZUtbj8DwNcB8RMmJ1AhD4 OtPK2i/aPGRBgygO+WHa5BlH6RvfM9ZSb3jIx6dHblpEWL4ofJeaEfzMSfkqOpXQOyrx dNyPJuKSkuLM/dxKAwxNOnpkjg8uW2cAkBBwFcsv5S0ztXVRqZsAeTTRghwdYeJSmXy2 FeHkAnbKlBQGkf/tijxWhget4vsJ6OaPng2tX73jwfw/Z40Zv1d6lvdufCO3DkhrN+cM LxbRRF7JUFbTfAVu1QFhR1CIHD3VdxYCsv8gwT0UgKOldrRZZOTBRJIPo4kfg7JKvqZk DyHg== 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=jzCLJ36cgNoFvW5XdN9IrwgF8y+Jx9OgF0IQHnfZ74A=; b=IYGI/FyeOk++2dCfvs6kXR6acb2rpTlNgYjcsDvjLRGUOIjXvY2Fj3J04dHj+d4QpU US0NegYBagrEWl34z0pM0lLPFubeB/uzjRL3GR200N57YIC5lAB40Q4drNbpzwq9DH6d 3lbod28/WEzVMwtWDvF9OX2JvWcnYWklR9kIb9xTtwErUPpiWHVadhjVBe8S5xwT/vIe lH8p6WeGxnYxS3zA9n1exRONAn6GU12K0fDUKGCC6aZvTqLIiKx50p3lugnvvqmByahk v+UXNTl3qJDoUZyIoWOxb9X8vQTPGXYoKTaduErMgosU98SlVwGuhMWA7skFx28CM4/P TTXA== X-Gm-Message-State: AOAM5338fepMdyDSg1Jable3hcG7Vvn/6vO0lNZSvYInaIuQhHjA2t3o BkQNJvamkBF2mPuCUrOZWkTzgyEoP9NvattTrNTeUzN9YPn8Pw== X-Google-Smtp-Source: ABdhPJyFn5O5ncb0yOPoCYzhUhDZ9UjWPaVtZiX2oBqD98/sOsdBnqPfDRWS+o/KR2j4zVcxVIYgraG6b33uZz+xsmk= X-Received: by 2002:a17:906:379b:: with SMTP id n27mr21934976ejc.182.1616867752818; Sat, 27 Mar 2021 10:55:52 -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-27_05:2021-03-26, 2021-03-27 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 clxscore=188 lowpriorityscore=0 phishscore=0 mlxscore=0 spamscore=0 malwarescore=0 mlxlogscore=846 priorityscore=331 impostorscore=0 adultscore=0 bulkscore=0 suspectscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2103250000 definitions=main-2103270144 domainage_hfrom=9358 domainage_replyto=9358 X-Mailman-Approved-At: Sat, 27 Mar 2021 17:41:19 -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-ORIG-GUID: KUCj6b2RkG3RubTxUMJ8Z606H0Gn7T8o X-Proofpoint-GUID: KUCj6b2RkG3RubTxUMJ8Z606H0Gn7T8o 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-27_09,2021-03-26_03,2020-04-07_01 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 priorityscore=1501 mlxlogscore=999 lowpriorityscore=0 impostorscore=0 phishscore=0 suspectscore=0 malwarescore=0 bulkscore=0 clxscore=1034 mlxscore=0 adultscore=0 spamscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2103250000 definitions=main-2103270172 Xref: news.gmane.io gmane.comp.science.types.announce:9534 gmane.science.mathematics.categories:10435 Archived-At: --===============1915805243322697638== 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 ] --===============1915805243322697638== Content-Type: multipart/alternative; boundary="0000000000000e3cb305be885c9e" --0000000000000e3cb305be885c9e Content-Type: text/plain; charset="UTF-8" Hi, everyone. On Friday, April 2, 2021 between 1pm and 2pm EST (6pm - 7pm UTC), Dr.Francesco Gavazzo 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/Gavazzo.html This will be an exciting talk on Francesco's work on program equivalence w.r.t coeffect type systems like graded and quantified type systems. I know I'm pumped about this talk. 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/-tgA2zShDcQ 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 --0000000000000e3cb305be885c9e Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi, everyone.

On Friday, April 2, 2021 = between 1pm and 2pm EST (6pm - 7pm UTC), Dr.Francesco Gavazzo=C2=A0 will be= giving a presentation as part of the CS Colloquium Series at Augusta Unive= rsity.

Presentation details=C2=A0can be found here:

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

This= will be an exciting talk on Francesco's=C2=A0work on program equivalen= ce w.r.t coeffect type systems like graded and quantified type systems.=C2= =A0 I know I'm pumped about this talk.

These talks are op= en to the general public via Zoom and Youtube.=C2=A0 I'll be live strea= ming it on Youtube. If you are interested in attending the Zoom meeting ple= ase RSVP with me before the talk.=C2=A0=C2=A0

Ques= tions will be taken from those on Zoom and YouTube.

If yo= u care to watch via YouTube, please use the following link:

https://youtu.be/-tgA2zShDcQ

Feel free to share this message with everyone you know.
--0000000000000e3cb305be885c9e-- --===============1915805243322697638==--