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 271
PL Reading Group Fri 3:30 Zoom or 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