Mailing Lists


Below is a listing of all the public mailing lists on Click on a list name to get more information about the list, or to subscribe, unsubscribe, and change the preferences on your subscription. To visit the general information page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended.

List administrators, you can visit the list admin overview page to find the management interface for your list.

If you are having trouble using the lists, please contact

List Description
BoardGames Mailing list for board gaming at MPI-SWS.
Climbing For people going climbing/mountaineering
cmmrs-2017-attendees [no description available]
Cmmrs-2018-attendees [no description available]
Cmmrs-lecturers-2020 [no description available]
Cmmrs-students-2020 [no description available]
Ct19 [no description available]
Ds-ws18 DS-WS18
Gaming [no description available]
HardwareLab Discussion about the hardware lab: tools, projects, etc.
ifcs2016 [no description available]
internal-RT-Proofs Project-internal coordination and discussion for the RT-Proofs project
Iris-Club Mailing List for the Iris Logic
IT [no description available]
MLSS2016 Attendees of MLSS-2016.
MovieNight Suggestions and scheduling of movies on Friday evening
NLP NLP mailing list
os-ws15 Operating Systems Course WS15
os-ws15-staff Operating Systems Course WS15 - Staff
OS-WS17 [no description available]
Rt-scheduling-spec [no description available]
SB-PLV-Lunch A mailing list for PS and MPI-SWS PLV members who want to chat every now and then over lunch!
Sma-ss16 [no description available]
SOSP21-committee Full SOSP 2021 organizing committee.
Staff [no description available]
Sysml [no description available]
Theory-of-verification [no description available]

Delivered by Mailman
version 2.1.18
Python Powered GNU's Not Unix Data Protection / Imprint