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