Mailing List Archives
Authenticated access
UW Madison
Computer Sciences Department
Computer Systems Lab
pl-seminar
Archives Thread Index
⇐First Page
←Prev Page
Pages: 1
Next Page→
Last Page⇒
Date Index
[madPL] Anna Meyer's Preliminary Exam
,
Anna Meyer
,
April 08, 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
,
February 14, 2024
[madPL] FW: Verification Mentoring Workshop 2024 Scholarships
,
YUHAO ZHANG
,
April 10, 2024
[madPL] Reminder: special on-line PL seminar talk today 3/25/2024, at 1-2 PM
,
Thomas Reps
,
March 25, 2024
[madPL] Second visit by Jacob Laurel
,
Thomas Reps
,
April 22, 2024
[madPL] Special Spring Break PL Seminar
,
Thomas Reps
,
March 22, 2024
[madPL] Talk reminder: Jacob Laurel on "Automated Analyses for Continuous Computations"; noon-1 PM today (Friday, 3/22/24) in 1240 CS
,
Thomas Reps
,
March 22, 2024
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
-
March 22, 2024
⇐First Page
←Prev Page
Pages: 1
Next Page→
Last Page⇒
Date Index
Mail converted by
MHonArc