| List name | Post address | Description |
|---|---|---|
| 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 |