software.imdea.org mailing lists - Admin Links |
|
Welcome! Below is the collection of publicly-advertised Mailman mailing lists on software.imdea.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@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 |