UW PLSE | UW PLSE meetings

There’s an aggregated calendar with all the meetings on it, and an iCal (.ics) URL. If you want some event(s) on your own calendar, ask a faculty member to add you as a guest, and you will receive an invitation you can accept.

Weekly meetings

PLSE lunch & group meeting	Tue 12:00	Gates 253
SE Reading Group	Mon 3:30	Zoom or Gates 287
PL Reading Group	Fri 3:30	Gates 287

Monthly activities

Hangout	1st Mon 5:00	Big Time
The Un-Hangout	6th Mon 5:00	Nowhere

Previous quarters

Spring 2021: PLSE Lunch, SE Reading Group
Winter 2021: PLSE Lunch, SE Reading Group
Fall 2020: PLSE Lunch, SE Reading Group
Spring 2020: PLSE Lunch, SE Reading Group
Winter 2020: PLSE Lunch, SE Reading Group
Fall 2019: PLSE Reading Group, PLSE Lunch, SE Reading Group
Spring 2019: PLSE Reading Group, PLSE Lunch, SE Reading Group, Program Synthesis Group
Winter 2019: PLSE Reading Group, PLSE Lunch, SE Reading Group, Program Synthesis Group
Fall 2018: PLSE Reading Group, PLSE Lunch, SE Reading Group, Program Synthesis Group
Spring 2018: PLSE Reading Group, PLSE Lunch, SE Reading Group, Program Synthesis Group
Winter 2018: PLSE Reading Group, PLSE Lunch
Fall 2017: PLSE Reading Group, PLSE Lunch
Spring 2017: SE Reading Group, PLSE Lunch, PLSE Seminar, PL Reading Group
Winter 2017: SE Reading Group, PL Reading Group
Fall 2016: SE Reading Ground, Underground reading group in programming languages, PLSE Colloquium Series, PL Reading Group
Spring 2016: SE Reading Group, Underground Constraints Reading Group, PLSE Seminar (590P), Underground reading group in programming languages, PLSE Occasional Group Meeting
Winter 2016: SE Reading Group, Programming with Constraints Reading Group, PL Reading Group, Underground reading group in type theory, PLSE Group Meeting
Autumn 2015: SE Reading Group, Programming with Constraints Reading Group, PL Reading Group, Underground reading group in type theory, PLSE Group Meeting
Summer 2015: Underground reading group on classic papers in distributed systems, Underground reading group on type theory, Underground reading group on separation logic and VST
Spring 2015: PLSE Reading Group, PLSE Group Meeting, Underground reading group on distributed algorithms
Winter 2015: PL/SE Reading Group, Group Meeting
Autumn 2014: PL/SE Reading Group, Group Meeting
Spring 2014: PL Reading Group, SE Reading Group, Group Meeting, Reading Group in Categorical Models for Type Theories