[pl-seminar] PL Seminar tomorrow

[JOHN CYPHERT <jcyphert@xxxxxxxx>]

Hi everyone,

Alexandra has volunteered to give an impromptu PL seminar tomorrow at 1pm.

We can meet through the following link

https://us02web.zoom.us/j/88468215248

She will touch on the following topics

- Automata and languages as coalgebras

- Bisimulation Up-to Techniques 

- Regular expressions and Completeness proofs: a coalgebaic recipe

Hope to see you there

John