UW PLSE meetings from previous quarters
You can also see the activities for the current quarter.
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