software.imdea.org Mailing Lists |
|
Welcome! Below is a listing of all the public mailing lists on software.imdea.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@software.imdea.org. |
|
List | Description |
AVClass-users | AVClass users |
cbc | Correctness by Construction course |
EIT-Digital-master-ds-2015-2016 | [no description available] |
eit-digital-master-students-2017 | EIT Digital master students 2017 |
iclp16-attendants | List of attendants to ICLP 2016, NYC |
Mailman | [no description available] |
mathador | Mathador team mailing list |
pl | Programming Languages |
plaza | [no description available] |
Prolog-standard | Mailing list for discussions on the ISO Prolog standard |
seminar-series | Software Seminar Series |
SMAPPER | [no description available] |
Sparcim-ejecutiva | [no description available] |
Sparcim-grupos | [no description available] |
Sparcim-todos | [no description available] |
TAVer | Theoretical Aspects of Verification |
tezos-ares | [no description available] |
version 2.1.29 |