Seminar talk on Linear Logic

Seminar talk on Linear Logic

[Harley D. Eades III]

[-- Attachment #1: Type: text/plain, Size: 108 bytes --]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


[-- Attachment #2.1: Type: text/plain, Size: 853 bytes --]

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
<https://the-au-forml-lab.github.io/colloquium_talks/Horn.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

[-- Attachment #2.2: Type: text/html, Size: 1191 bytes --]

Re: Seminar talk on Linear Logic

[Harley D. Eades III]

[-- Attachment #1: Type: text/plain, Size: 108 bytes --]

[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


[-- Attachment #2.1: Type: text/plain, Size: 1360 bytes --]

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 <harley.eades-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
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
> <https://the-au-forml-lab.github.io/colloquium_talks/Horn.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
>

[-- Attachment #2.2: Type: text/html, Size: 2219 bytes --]

Re: Seminar talk on Linear Logic

[Harley D. Eades III]

[-- Attachment #1: Type: text/plain, Size: 2068 bytes --]

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



[-- Attachment #2: original message before SpamAssassin --]
[-- Type: message/rfc822, Size: 2540 bytes --]

[-- Attachment #2.1: Type: multipart/alternative, Size: 1401 bytes --]

From: "Harley D. Eades III" <harley.eades@gmail.com>
To: "categories@mta.ca list" <categories@mta.ca>
Subject: categories: Re: Seminar talk on Linear Logic
Date: Mon, 28 Sep 2020 09:18:18 -0400
Message-ID: <E1kN3fW-0001Ss-T6@rr.mta.ca>