pl-seminar Archives Mail Index

←Prev Page

Pages: 1

Next Page→

Monday, April 22, 2024

[madPL] Second visit by Jacob Laurel, Thomas Reps

Thursday, April 11, 2024

[madPL] FW: Verification Mentoring Workshop 2024 Scholarships, YUHAO ZHANG

Monday, April 08, 2024

[madPL] Anna Meyer's Preliminary Exam, Anna Meyer

Monday, March 25, 2024

[madPL] Reminder: special on-line PL seminar talk today 3/25/2024, at 1-2 PM, Thomas Reps

Friday, March 22, 2024

[madPL] Special Spring Break PL Seminar, Thomas Reps
Re: [madPL] Talk reminder: Jacob Laurel on "Automated Analyses for Continuous Computations"; noon-1 PM today (Friday, 3/22/24) in 1240 CS, Thomas Reps
[madPL] Talk reminder: Jacob Laurel on "Automated Analyses for Continuous Computations"; noon-1 PM today (Friday, 3/22/24) in 1240 CS, Thomas Reps

Wednesday, February 14, 2024

[madPL] FW: 2024 Summer School on Formal Techniques, Atherton, California (May 25-31, 2024) + Formal Methods in the Field Bootcamp (June 1/2, 2024), Thomas Reps

←Prev Page

Pages: 1

Next Page→

Mail converted by MHonArc