From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10292 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Harley D. Eades III" Newsgroups: gmane.science.mathematics.categories,gmane.spam.detected Subject: Re: Seminar talk on Linear Logic Date: Mon, 28 Sep 2020 09:18:18 -0400 Message-ID: Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----------=_5F7282F6.4CAC5F6C" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="28590"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca list" Original-X-From: majordomo@rr.mta.ca Tue Sep 29 02:42:24 2020 Original-Received: from localhost by ciao.gmane.io with SpamAssassin (version 3.4.2); Tue, 29 Sep 2020 02:42:30 +0200 Xref: news.gmane.io gmane.science.mathematics.categories:10292 gmane.spam.detected:5363227 Archived-At: This is a multi-part message in MIME format. ------------=_5F7282F6.4CAC5F6C Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit Spam detection software, running on the system "ciao.gmane.io", has identified this incoming email as possible spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: Hi, everyone. There was a link issue with my original post; see below. The link is directing to an old talk. Must be a copy-and-paste error. The following is the correct location: Content analysis details: (5.1 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 0.0 URIBL_BLOCKED ADMINISTRATOR NOTICE: The query to URIBL was blocked. See http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block for more information. [URIs: youtu.be] 0.0 RCVD_IN_MSPIKE_H4 RBL: Very Good reputation (+4) [198.164.44.55 listed in wl.mailspike.net] 1.0 FORGED_GMAIL_RCVD 'From' gmail.com does not match 'Received' headers 0.0 DKIM_ADSP_CUSTOM_MED No valid author signature, adsp_override is CUSTOM_MED 0.7 LOCALPART_IN_SUBJECT Local part of To: address appears in Subject 0.2 HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail domains are different 0.0 FREEMAIL_FROM Sender email is commonly abused enduser mail provider (harley.eades[at]gmail.com) 1.1 DATE_IN_PAST_06_12 Date: is 6 to 12 hours before Received: date 2.0 MIME_HEADER_CTYPE_ONLY 'Content-Type' found without required MIME headers 0.0 RCVD_IN_MSPIKE_WL Mailspike good senders 0.0 FREEMAIL_FORGED_FROMDOMAIN 2nd level domains in From and EnvelopeFrom freemail headers are different ------------=_5F7282F6.4CAC5F6C Content-Type: message/rfc822; x-spam-type=original Content-Description: original message before SpamAssassin Content-Disposition: inline Content-Transfer-Encoding: 8bit Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kN3iq-0007Ji-9Q for gsmc-categories@m.gmane-mx.org; Tue, 29 Sep 2020 02:42:24 +0200 Received: from rr.mta.ca ([198.164.44.159]:38414) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kN3im-0005lw-Rg; Mon, 28 Sep 2020 21:42:20 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kN3fW-0001Ss-T6 for categories-list@rr.mta.ca; Mon, 28 Sep 2020 21:38:58 -0300 From: "Harley D. Eades III" Date: Mon, 28 Sep 2020 09:18:18 -0400 Subject: categories: Re: Seminar talk on Linear Logic To: "categories@mta.ca list" Content-Type: multipart/alternative; boundary="00000000000096e8fb05b05f809a" Content-Type: text/plain; charset="UTF-8" Precedence: bulk Reply-To: "Harley D. Eades III" Message-Id: Hi, everyone. There was a link issue with my original post; see below. The link is directing to an old talk. Must be a copy-and-paste error. The following is the correct location: https://the-au-forml-lab.github.io/colloquium_talks/dePaiva.html Thanks Elaine Pimentel for pointing this out to me. Sorry about the confusion. Best, Harley On Mon, Sep 28, 2020 at 8:31 AM Harley D. Eades III wrote: > 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 > [For admin and other information see: http://www.mta.ca/~cat-dist/ ] ------------=_5F7282F6.4CAC5F6C--