|
AVClass-users
|
avclass-users@software.imdea.org |
AVClass users |
|
chc-comp
|
chc-comp@software.imdea.org |
CHC Competition |
|
Ciao-users
|
ciao-users@cliplab.org |
The Ciao users list |
|
Eplstudents
|
eplstudents@cliplab.org |
Extensions of LP (course) |
|
external-announcements
|
external-announcements@software.imdea.org |
External Announcements |
|
iclp16-attendants
|
iclp16-attendants@software.imdea.org |
List of attendants to ICLP 2016, NYC |
|
PhD-Analysis-Verification
|
phd-analysis-verification@cliplab.org |
Master Course on Program Analysis, Verification, and Optimization |
|
plaza
|
plaza@software.imdea.org |
Advertise activities, things to buy and sell, find roomates... |
|
pl
|
pl@software.imdea.org |
Programming Languages |
|
Prodestudents
|
prodestudents@cliplab.org |
Declarative Programming (course) |