|
AVClass-users
|
avclass-users@software.imdea.org |
AVClass users |
|
cbc
|
cbc@software.imdea.org |
Correctness by Construction course |
|
chc-comp
|
chc-comp@software.imdea.org |
CHC Competition |
|
Computer-security-2025-2026
|
computer-security-2025-2026@software.imdea.org |
Computer Security 2025-2026 Course |
|
iclp16-attendants
|
iclp16-attendants@software.imdea.org |
List of attendants to ICLP 2016, NYC |
|
mathador
|
mathador@software.imdea.org |
Mathador team mailing list |
|
plaza
|
plaza@software.imdea.org |
Advertise activities, things to buy and sell, find roomates... |
|
pl
|
pl@software.imdea.org |
Programming Languages |
|
Prolog-standard
|
prolog-standard@software.imdea.org |
Discussions on the ISO Prolog standard |
|
seminar-series
|
seminar-series@software.imdea.org |
Software Seminar Series |