Re: [pl-seminar] PL Seminar tomorrow

[alexandra.silva@xxxxxxxxx]

I should add: these topics are enough for at least 3 seminar slots and I will be doing the talk on the fly so the pace will be slow...Â

Cheers,

AlexandraÂ

On Tue, May 12, 2020 at 1:47 PM JOHN CYPHERT <jcyphert@xxxxxxxx> wrote:

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

_______________________________________________
Pl-seminar mailing list
Pl-seminar@xxxxxxxxxxx
https://lists.cs.wisc.edu/mailman/listinfo/pl-seminar