From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10288 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 Linear Logic Date: Mon, 28 Sep 2020 08:31:24 -0400 Message-ID: Reply-To: harley.eades-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="===============5987127664410346044==" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="4963"; 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 Mon Sep 28 15:02:45 2020 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 1kMsnl-00019G-0n for gcst-types-announce@m.gmane-mx.org; Mon, 28 Sep 2020 15:02:45 +0200 Original-Received: from pps.filterd (m0128480.ppops.net [127.0.0.1]) by mx0b-000c2a01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 08SD1rAg012306; Mon, 28 Sep 2020 09:02:02 -0400 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0b-000c2a01.pphosted.com with ESMTP id 33syvsrne6-1; Mon, 28 Sep 2020 09:02:01 -0400 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 08SD1quW072840; Mon, 28 Sep 2020 09:01:52 -0400 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 08SD1qgk028566; Mon, 28 Sep 2020 09:01:52 -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.15.2/8.15.2) with ESMTP id 08SCVcPB026487 for ; Mon, 28 Sep 2020 08:31:38 -0400 Original-Received: from pps.filterd (m0172792.ppops.net [127.0.0.1]) by mx0a-00390e01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id 08SCILJ9028128 for ; Mon, 28 Sep 2020 08:31:38 -0400 Original-Received: from mail-ej1-f54.google.com (mail-ej1-f54.google.com [209.85.218.54]) by mx0a-00390e01.pphosted.com with ESMTP id 33sy8vn1pq-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Mon, 28 Sep 2020 08:31:38 -0400 Original-Received: by mail-ej1-f54.google.com with SMTP id lo4so8226993ejb.8 for ; Mon, 28 Sep 2020 05:31:37 -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=cWFU/njUyl2Vd6n04+FpQ9fHqPdfudwevkqBI/pALnc=; b=Mghx3L2s4khIgY2tPykawer/4Sf7v5yPKbWEx2/Tej8NkiY4HXiq5w9+kMXwvBM1rN iBx3CytL6WVrtSQpidqw47tuoc2WmO2zlc/CZy0ZGJV1+MR5qyQv0Aurrpax//aPFW59 NYw2TuMSgLVuldnKX6AAfLhDurLaxGg0zt+jDm8NOw9B9xDOmF6yjA9F1qJeHtDU3Y16 52MLiWlILo9+L975JwPTs2fdgOe+7edajQNEz5stHYPrY1T4VTBJ8AF8aTAhq0naBOCs o/ruUHPflcdHObXs8N9F4f3fG/4MnjhT2mXI2YCQxP2JbJsxErXGWtYeSYQLQVmN3rst ndYw== 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=cWFU/njUyl2Vd6n04+FpQ9fHqPdfudwevkqBI/pALnc=; b=REK4AKJ7QL0VjA2W0zP3ABDqKWgzZGEZODob2Xi77F6cnRqq1gUye9B/oZiLXiEOpR efCMOrO0+iR4e4Ts7RTz8AIpjNZoKD/1rgEa6CtN3jWTbuBZPXiWWi3lalKIX/I9duFV XTaDyVBQtqk7kPRStmpruyGN7KjTjmu4hHthGhxCrPJZTqUZOqaLhslKTkbWR/COZZR6 DBZZn0qQhGoMdwQtrsFETqbsi11XxNluBuGljrQQc6vYMjLK6UXRR/AG2uqBzIUrZxha 43W4f1Ektav98b8UdYbHP4kYJwqC8h7dz/8JwzaiYpZeVXlpOlMPzlVWsj4GUV9p9zUz DJlg== X-Gm-Message-State: AOAM533V42LHjt+JooFgOV3Irmu5IaXnXF7gstzZ4yVJrbA2jwDQphLd SDauUOP/kPPzY+Qkvvu8/n/aLfT3GEuevCAvCDsmN6ockznmEQ== X-Google-Smtp-Source: ABdhPJzdOHIap2VHm7qaYT6T2uIbdXQLkeXtp2UFvk66lTL9ZbEdSQU3RThrIG5CLL1AREIobUZPRtWXw27WUaWO4QM= X-Received: by 2002:a17:906:1909:: with SMTP id a9mr1364650eje.127.1601296295688; Mon, 28 Sep 2020 05:31:35 -0700 (PDT) X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.235, 18.0.687 definitions=2020-09-28_11:2020-09-28, 2020-09-28 signatures=0 X-Proofpoint-Spam-Details: rule=inbound_notspam policy=inbound score=0 phishscore=0 impostorscore=0 malwarescore=0 priorityscore=302 suspectscore=0 spamscore=0 lowpriorityscore=0 mlxscore=0 clxscore=187 bulkscore=0 adultscore=0 mlxlogscore=836 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2006250000 definitions=main-2009280101 X-Msg-Ref: proofpoint.com X-Mailman-Approved-At: Mon, 28 Sep 2020 09:01:48 -0400 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.29 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=fsecure engine=2.50.10434:6.0.235,18.0.687 definitions=2020-09-28_11:2020-09-28,2020-09-28 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxscore=0 clxscore=1034 lowpriorityscore=0 adultscore=0 bulkscore=0 spamscore=0 malwarescore=0 impostorscore=0 phishscore=0 mlxlogscore=999 priorityscore=1501 suspectscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2006250000 definitions=main-2009280103 Xref: news.gmane.io gmane.comp.science.types.announce:9223 gmane.science.mathematics.categories:10288 Archived-At: --===============5987127664410346044== 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 ] --===============5987127664410346044== Content-Type: multipart/alternative; boundary="000000000000e27caa05b05ed85a" --000000000000e27caa05b05ed85a Content-Type: text/plain; charset="UTF-8" Hi, everyone. On Friday, Oct. 2, 2020 between 1pm and 2pm EDT, Dr. Valeria de Paiva 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/dePaiva.html Valeria's talk will tell us about benchmarking linear logics which should be fascinating! These talks are open to the general public via Zoom. I'll also be living streaming it on Youtube. So if you are interested in attending the Zoom meeting please RSVP with me before the talk. Questions will be only taken from those on Zoom. If you care to watch via YouTube, please use the following link: https://youtu.be/1HVJLFysmHs I hope all of you, your family and friends are doing well! Very best, Harley --000000000000e27caa05b05ed85a Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi, everyone.

On Friday, Oct. 2, 2020 b= etween 1pm and 2pm EDT, Dr. Valeria de Paiva will be giving a presentation = as part of the CS Colloquium Series at Augusta University.

Presentation details=C2=A0can be found here:

<= div>https://the-au-forml-lab.github.io/colloquium_talks/de= Paiva.html

Valeria's talk will tell us= about benchmarking linear logics which should be fascinating!
These talks are open to the general public via Zoom.=C2=A0 I&#= 39;ll also be living streaming it on Youtube. So if you are interested in a= ttending the Zoom meeting please RSVP with me before the talk.=C2=A0 Questi= ons will be only taken from those on Zoom.

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


I hope all of you, your family and frie= nds are doing well!

Very best,
Harley
--000000000000e27caa05b05ed85a-- --===============5987127664410346044==--