|
softball
|
softball@lists.cs.princeton.edu |
Announcements for COS summer softball team |
|
softball-managers
|
softball-managers@lists.cs.princeton.edu |
Communications for COS summer softball managers |
|
systems-lunch
|
systems-lunch@lists.cs.princeton.edu |
Weekly lunch with talks and discussions on systems and |
|
talks
|
talks@lists.cs.princeton.edu |
Princeton CS Talk Announcements |
|
Theory-Group
|
theory-group@lists.cs.princeton.edu |
Princeton CS dept theory group members only (join theory-read for talk announcements) |
|
Theory-Read
|
theory-read@lists.cs.princeton.edu |
Princeton Theoretical Computer Science Seminar mailing list |
|
vst-user
|
vst-user@lists.cs.princeton.edu |
Users of the Verified Software Toolchain |