[Pl-seminar] No Seminar Tomorrow!

Luna Phipps-Costin phipps-costin.l at northeastern.edu
Mon Feb 12 12:09:58 EST 2024

Previous message: [Pl-seminar] Today: Formalizing an ABI with Semantic Typing and Separation Logic
Next message: [Pl-seminar] Tuesday: Ryan Doenges - Strong termination and concurrency
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi all -
Let's not risk the weather, so we'll postpone Andrew's talk to next week.
-------------- next part --------------
HTML attachment scrubbed and removed

Previous message: [Pl-seminar] Today: Formalizing an ABI with Semantic Typing and Separation Logic
Next message: [Pl-seminar] Tuesday: Ryan Doenges - Strong termination and concurrency
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pl-seminar mailing list