2024 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Mon Jan 29 14:43:46 EST 2024
Ending: Mon Apr 22 20:26:28 EDT 2024
Messages: 13

• [Pl-seminar] "Seminar" tomorrow! This semester in WVH 366, from 12-1:30   Luna Phipps-Costin
• [Pl-seminar] [PL Seminar] Seminar tomorrow: Chris Fallin   Michelle Thalakottur
• [Pl-seminar] No seminar today   Luna Phipps-Costin
• [Pl-seminar] No seminar tomorrow   Luna Phipps-Costin
• [Pl-seminar] No seminar tomorrow   Luna Phipps-Costin
• [Pl-seminar] No Seminar Tomorrow!   Luna Phipps-Costin
• [Pl-seminar] Seminar tomorrow: Gwenyth Lincroft on Proof Assistant Ecosystems   Luna Phipps-Costin
• [Pl-seminar] Seminar tomorrow: Olek Gierczak   Andrew Wagner
• [Pl-seminar] Today: Formalizing an ABI with Semantic Typing and Separation Logic   Luna Phipps-Costin
• [Pl-seminar] Tuesday, 2/6: Amal Ahmed - RichWasm: Bringing Safe, Fine-Grained, Shared Memory Interoperability to WebAssembly   Luna Phipps-Costin
• [Pl-seminar] Tuesday: Formalizing an ABI with Semantic Typing and Separation Logic   Luna Phipps-Costin
• [Pl-seminar] Tuesday: Ryan Doenges - Strong termination and concurrency   Luna Phipps-Costin
• [Pl-seminar] Tuesday: Ryan Doenges - Strong termination and concurrency   Luna Phipps-Costin

Last message date: Mon Apr 22 20:26:28 EDT 2024
Archived on: Mon Apr 22 20:26:32 EDT 2024

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...