Re: [pl-seminar] PL Seminar tomorrow

[JOHN CYPHERT <jcyphert@xxxxxxxx>]

Reminder

---

From: alexandra.silva@xxxxxxxxx <alexandra.silva@xxxxxxxxx>
Sent: Tuesday, May 12, 2020 1:51 PM
To: JOHN CYPHERT <jcyphert@xxxxxxxx>
Cc: pl-seminar@xxxxxxxxxxx <pl-seminar@xxxxxxxxxxx>
Subject: Re: [pl-seminar] PL Seminar tomorrow

 

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