[TYPES/announce] Online seminar on type-based verification

[Gabriel Scherer]

Minor correction: the seminar will take place on Friday September 4th.

(I would blame the error on the US date format "Friday 09/04/2020" of the
website,
 which apparently is not just confusing to the rest of the world but also
to native US date-writers.)

Thanks are due to Nikolay Shilov for the correction.



On Sat, Aug 29, 2020 at 7:04 AM Harley D. Eades III <harley.eades at gmail.com>
wrote:

> [ The Types Forum (announcements only),
>      http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
>
> Hi, everyone.
>
> On Friday, Sept. 9, 2020 between 1pm and 2pm EDT, Dr. Ranjit Jhala 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/Jhala.html
>
> Ranjit always gives amazing talks, and so this one is sure to be great!
>
> These talks are open to the general public via Zoom.  So if you are
> interested in attending please RSVP with me before the talk.
>
> 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/20200829/053dd8ab/attachment.htm>