2024 Archives by date

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

Starting: Mon Jan 29 14:43:46 EST 2024
Ending: Mon Aug 19 10:47:57 EDT 2024
Messages: 22

• [Pl-seminar] "Seminar" tomorrow! This semester in WVH 366, from 12-1:30   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] No Seminar Tomorrow!   Luna Phipps-Costin
• [Pl-seminar] Today: 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
• [Pl-seminar] No seminar tomorrow   Luna Phipps-Costin
• [Pl-seminar] No seminar tomorrow   Luna Phipps-Costin
• [Pl-seminar] No seminar today   Luna Phipps-Costin
• [Pl-seminar] Seminar tomorrow: Gwenyth Lincroft on Proof Assistant Ecosystems   Luna Phipps-Costin
• [Pl-seminar] [PL Seminar] Seminar tomorrow: Chris Fallin   Michelle Thalakottur
• [Pl-seminar] Seminar tomorrow: Olek Gierczak   Andrew Wagner
• [Pl-seminar] Seminar: Charles Yuan on Building the Tools to Program a Quantum Computer   Cameron Moy
• [Pl-seminar] Seminar Friday May 14: "One QED" in the National Interest: Formal Methods Research at Sandia -- Philip Johnson-Freyd   Holtzen, Steven
• [Pl-seminar] Seminar Friday May 14: "One QED" in the National Interest: Formal Methods Research at Sandia -- Philip Johnson-Freyd   Holtzen, Steven
• [Pl-seminar] Seminar Friday May 14: "One QED" in the National Interest: Formal Methods Research at Sandia -- Philip Johnson-Freyd   Amal Ahmed
• [Pl-seminar] Seminar Friday May 14: "One QED" in the National Interest: Formal Methods Research at Sandia -- Philip Johnson-Freyd   Holtzen, Steven
• [Pl-seminar] Seminar: Ken Jin on Making CPython Faster   Cameron Moy
• [Pl-seminar] Seminar: Harrison Goldstein on Property-Based Testing for the People   Cameron Moy
• [Pl-seminar] Seminar: Alejandro Russo on Sensitivity by Parametricity   Cameron Moy
• [Pl-seminar] Seminar: Alejandro Russo on Sensitivity by Parametricity   Amal Ahmed

Last message date: Mon Aug 19 10:47:57 EDT 2024
Archived on: Mon Aug 19 10:48:11 EDT 2024

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