PLSE Lunch
The Best Part Of The Week

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

TBD

Room: CSE 305

TBD

Czar: TBD

Oct 30

PLSE Seminar: Amal Ahmed

Room: CSE 305

Compositional Compiler Verification for a Multi-Language World

Czar: Remy

Nov 6

TBD

Room: CSE 305

TBD

Nov 13

James W

Room: CSE 305

Work-in-progress talk: Inferring Inductive Invariants

Czar: Chandra

Nov 20

PLSE

Room: CSE 305

Thanksgiving Week Ave Lunch

Nov 27

PLSE Seminar: Roopsha Samanta

Room: CSE 305

TBD

Czar: Chandra

Dec 4

PLSE Seminar: TBD

Room: CSE 305

TBD

Czar: TBD

Dec 11

PLSE

Room: The Ave

Finals Week Ave Lunch