mailing lists - Admin Links


Below is the collection of publicly-advertised Mailman mailing lists on Click on a list name to visit the configuration pages for that list.To visit the administrators configuration page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended. If you have the proper authority, you can also create a new mailing list.

General list information can be found at the mailing list overview page.

(Send questions and comments to

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
FAS [no description available]
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