|
Sail-moderators
|
sail-moderators@lists.cs.princeton.edu |
Moderators of the website https://sysml.cs.princeton.edu/ |
|
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 |
|
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 |