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

[Harley D. Eades III]

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/20200828/472efbb2/attachment-0001.htm>