Workshop announcement

Next summer (2020) sometime in late July or early August Wei Ho, Pieter Belmans, and I are going to have another Stacks project workshop. If you google around you’ll find the website for the previous iteration of the workshop; this one will be structured similarly. But we’ve only just started working on the organization and everything is still in flux. Feel free to email me with suggestions for things we could do, or mentors we could invite, etc. Thanks!