[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The DeepSpec Summer School on Verified Systems was held in Philadelphia during
the last two weeks of July. If you weren’t able to join in person, you may
like to know that all the lectures, lecture materials, and exercises are online:
https://deepspec.org/event/dsss17/
Enjoy!
- Benjamin
