lists.mpi-sws.org mailing lists - Admin Links

Welcome!

Below is the collection of publicly-advertised Mailman mailing lists on lists.mpi-sws.org. 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 mailman@lists.mpi-sws.org.)

   
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]
DS-WS16 DS-WS16
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]
ProgAnalysis16 Program Analysis, WS 2016/2017
RT-PROOFS RT-PROOFS
Rt-scheduling-spec [no description available]
Sma-ss16 [no description available]
Staff [no description available]

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