UW PLSE

There’s an aggregated calendar with all the meetings on it.

Weekly meetings

SE Reading Group Mon 3:30 CSE 203
PLSE Lunch Tue 12:00  
PLSE Seminar Wed 3:30 CSE 305
PL Reading Group Fri 3:30 CSE 203

Monthly activities

Hangout 1st Mon 6:00 Big Time
Proof Assistant User Group 3rd Mon 5:00 CSE 407
Constraint Solver User Group 4th Mon 5:30 CSE 407
Lab Movie Night 5th Mon 5:00 CSE 407

Previous quarters

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