lists.mpi-sws.org Mailing Lists

Welcome!

Below is a listing of all the public mailing lists on lists.mpi-sws.org. 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 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