[madPL] Seminar Tomorrow: Kanghee Park

[LAUREN MARIE NEUDORF <lneudorf@xxxxxxxx>]

Hello Everyone, 

Hope your spring break went well! Kanghee Park will be presenting "Program Synthesis with Algebraic Specifications". It will start at 1:10pm in room 3310 and is also available on zoom! Hope to see you there!

Best,

Lauren Neudorf

Program Manager, MadPL Research Group

University of Wisconsin-Madison

Department of Computer Sciencesâ

(716) 704-4463

(she/her/hers)