Fall, Winter, Spring — Tuesday, 12:00pm — Zoom

Subscribe to the calendar: iCal or Google Calendar.

During the school year, the PLSE Group meets for lunch each week. The last Tuesday of the month, we head over to the Ave to grab a bite. Students are welcome to sign up for a slot to describe their current progress and get feedback on early research results. Besides signing up for talks, please also sign up to be a lunch Czar! As a lunch Czar, one needs to a. pick up lunch from the front desk by 11:47:52, b. make sure room is ready, c. return the lunch cart, and d. make sure that the room is cleaned up after lunch (everyone should help, the czar is just the leader for that). This quarter we will meet virtually, due to COVID-19. Please call in via Zoom.

Date	Who	What
Mar 30	Everyone Room: Zoom	Planning
Apr 6	TBD Room: Zoom	TBD
Apr 13	Ryan Doenges Room: Zoom	Petr4: Formal Foundations for P4 Data Planes
Apr 20	Jacob Room: Zoom	TBD
Apr 27	Steven Room: Zoom	3LA
May 4	Rashmi Room: Zoom	Verifying Determinism in Sequential Programs - ICSE practice talk
May 11	Gus Room: Zoom	Glenside
May 18	Loris D’Antoni Room: Zoom	Programmable Program Synthesis
May 25	TBD Room: Zoom	Likely canceled in deference to Grad Lunch With the Director
Jun 1	Yihong Zhang Room: Zoom	Relational E-graphs