| List name | Post address | Description |
|---|---|---|
| Ciao-users | ciao-users@cliplab.org | The Ciao users list |
| Eplstudents | eplstudents@cliplab.org | Extensions of LP (course) |
| PhD-Analysis-Verification | phd-analysis-verification@cliplab.org | Master Course on Program Analysis, Verification, and Optimization |
| Prodestudents | prodestudents@cliplab.org | Declarative Programming (course) |
| Proglogstudents | proglogstudents@cliplab.org | Logic Programming (course) |
| Rsd | rsd@cliplab.org | Rigorous Software Development Course |