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
cmmrs-2017-attendees [no description available]
Cmmrs-2018-attendees [no description available]
Cmmrs-lecturers-2020 [no description available]
Cmmrs-lecturers-2021 [no description available]
Cmmrs-students-2020 [no description available]
Cmmrs-students-2021 [no description available]
Ct19 [no description available]
FAS [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]
MADM-SS21 [no description available]
MADM-SS21-staff [no description available]
OS-WS17 [no description available]
rl-w21-announcements [no description available]
rl-w21-discussions [no description available]
RT-PROOFS RT-PROOFS
SOSP21-committee Full SOSP 2021 organizing committee.
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