Mailing List Archives

Authenticated access

 		[Computer Systems Lab]

[← Prev]  [Date]  [Next →] [← Prev]  [Thread]  [Next →]

[madPL] Seminar today: Kanghee Park

Date: Mon, 20 Mar 2023 17:20:31 +0000
From: LAUREN MARIE NEUDORF <lneudorf@xxxxxxxx>
Subject: [madPL] Seminar today: Kanghee Park
Hello Everyone,

Just a reminder that our seminar is happening today at 1:05pm! Kanghee Park will be presenting on: "Program Synthesis with Algebraic Specifications"! Like always, it is in room 3310 or on zoom. Hope you can attend.

Best,

Lauren Neudorf
Program Manager, MadPL Research Group
University of Wisconsin-Madison
Department of Computer Sciencesâ
(716) 704-4463
(she/her/hers)
[← Prev in Thread] Current Thread [Next in Thread→]
  • [madPL] Seminar today: Kanghee Park, LAUREN MARIE NEUDORF <=
Previous by Date:  [madPL] Seminar Tomorrow: Kanghee Park, LAUREN MARIE NEUDORF
Next by Date:  [madPL] 3/27 Seminar: Zi Wang, LAUREN MARIE NEUDORF
Previous by Thread:  [madPL] Seminar Today 1:05pm Thomas Reps, LAUREN MARIE NEUDORF
Next by Thread:  [madPL] Seminar Tomorrow: Kanghee Park, LAUREN MARIE NEUDORF
Indexes:  [Date] [Thread]