All Year — Tuesday, 12:00pm — Gates 253

Subscribe to the calendar: iCal or Google Calendar.

The PLSE Group meets for lunch each week. The last 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
Oct 1	Everyone	PLSE Town Hall Czar: Chandra
Oct 8		TBD Czar: Krzysztof Drewniak
Oct 15	Josh Room: Gates 253	Theia: Automatically Generating Correct Program State Visualizations Czar: Talia
Oct 22	Talia Room: Gates 253	Proof Engineering Tools for a New Era Czar: Oak
Oct 29	PLSE Room: Ave	Ave lunch
Nov 5	Taylor Room: Gates 253	Replicated Datatypes Czar: Zhen
Nov 12	Ben Room: Gates 253	TBD Czar: Chandra
Nov 19	Chenglong Room: Gates 371	Automating Data Visualization for the Masses The talk will be from 11:00am to 12:30pm at Gates 371, then we’ll have lunch in the lab Gates 253. Czar: Jacob
Nov 26	Martin	Verifying Object Construction Czar: Rashmi
Dec 3	Ori Lahav	Verification under causally consistent shared memory Czar: Ben
Dec 10	Everyone	Ave lunch