[TYPES/announce] Online Seminar: A gentle introduction to template games

[Harley D. Eades III]

I am the faculty chair of the CS colloquium series at Augusta University,
and I have an exciting opportunity.

I am happy to announce that Paul-André Melliès will be our final presenter
of the semester, but that’s not all! I have 100 seats available on my Zoom
account, and only 30 of them will be needed for AU students and faculty.
That leaves open 70 seats! So I am taking RSVPs from anyone who would like
to attend the talk online.

For more information please see:

https://blog.metatheorem.org/2020/04/10/A-gentle-introduction-to-template-games.html

Best,
Harley
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200410/08707a91/attachment.html>