[TYPES/announce] Seminar talk on Session Logical Relations for Noninterference

[Harley D. Eades III]

Hi, everyone.

I'm very sorry for the mess up.  I think I get the date wrong at least once
a semester; at least I got it out of the way. :-)

The correct date is 3/9/2021 or Friday, Sept. 3 2021 between 1pm and 2pm
EST (5pm - 6pm UTC).

Thanks to all of you who pointed this out!

Again, very sorry!

Best, Harley


On Tue, Aug 24, 2021 at 3:19 PM Harley D. Eades III <harley.eades at gmail.com>
wrote:

> Hi, everyone.
>
> On Friday, Sept. 9, 2021 between 1pm and 2pm EST (5pm - 6pm UTC),  Dr.
> Stephanie Balzer will be giving a presentation as part of the
> CS Colloquium Series at Augusta University.
>
> Presentation details can be found here:
>
> https://urldefense.com/v3/__https://the-au-forml-lab.github.io/colloquium_talks/Balzer.html__;!!IBzWLUs!CZ7LHjJwgjlHpAHCw2dS-Ma8xoraANFrSyUcwgLUDvZ_QVqMHb-0K6LMSeIMUuemA1jkvS-Nxk-14g$ 
>
> Stephanie will be discussing their recent work on linear session types and
> interference. It is going to be super interesting.
>
> 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://urldefense.com/v3/__https://youtu.be/lJpK9CIgT30__;!!IBzWLUs!CZ7LHjJwgjlHpAHCw2dS-Ma8xoraANFrSyUcwgLUDvZ_QVqMHb-0K6LMSeIMUuemA1jkvS8WU6Y99g$ 
>
> 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
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210825/eb982392/attachment.htm>