All Year — Tuesday, 12:00pm — CSE 305

Subscribe to the calendar: iCal or Google Calendar.

The PLSE Group meets for lunch each week, usually in CSE 305. The first Tuesday of the month, we’ll 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: (1) pick up lunch from the front desk; (2) make sure room is ready; (3) return the lunch cart; (4) make sure that the room is cleaned up after lunch (everyone should help, the czar is just the leader).

Date	Who	What
Sep 19 2pm-3pm	John Gustafson Room: CSE 305 AT 2pm!!	Next Generation Arithmetic for HPC and AI: An Update
Oct 2	PLSE Room: The Ave	Ave Lunch
Oct 9	PLSE Seminar: Derek Dreyer Room: CSE 305	RustBelt: Logical Foundations for the Future of Safe Systems Programming Czar: Chandra
Oct 16	Remy Wang Room: CSE 305	WIP: Regularizing Horn Clauses via Strategy Synthesis for Ehrenfeucht–Fraïssé Games Czar: Steven
Oct 23	Jared and Steven Room: CSE 305	WIP talk: Relay IR Czar: Doug
Oct 30	PLSE Seminar: Amal Ahmed Room: CSE 305	Compositional Compiler Verification for a Multi-Language World Czar: Remy
Nov 6	Shumo Chu Room: CSE 305	A Meta-Theory for SQL Czar: Chandra
Nov 13	James W Room: CSE 305	Work-in-progress talk: Inferring Inductive Invariants Czar: Rashmi
Nov 20	PLSE Room: CSE 305	Thanksgiving Week Ave Lunch
Nov 27	PLSE Seminar: Roopsha Samanta Room: CSE 305	TBD Czar: Chandra
Dec 4	Ryan Newton Room: CSE 305	Towards Software Containers with Guaranteed Reproducibility Czar: Steven
Dec 11	PLSE Room: The Ave	Finals Week Ave Lunch