Available lists
|
Computer-security-2023-2024
computer-security-2023-2024@software.imdea.org
Computer Security course 
|
|
Prolog-standard
prolog-standard@software.imdea.org
Discussions on the ISO Prolog standard
|
|
Sparcim-grupos
sparcim-grupos@sparcim.es
|
|
iclp16-attendants
iclp16-attendants@software.imdea.org
List of attendants to ICLP 2016, NYC
|
|
TAVer
taver@software.imdea.org
Theoretical Aspects of Verification
|
|
Sparcim-todos
sparcim-todos@sparcim.es
|
|
cbc
cbc@software.imdea.org
Correctness by Construction course
|
|
new
chc-comp
chc-comp@software.imdea.org
CHC Competition
|
|
AVClass-users
avclass-users@software.imdea.org
AVClass users
|
|
Computer-security-2024-2025
computer-security-2024-2025@software.imdea.org
Computer Security course
|
| List | Description | Activity in the past 30 days | |
|---|---|---|---|
| Computer-security-2023-2024 computer-security-2023-2024@software.imdea.org | Computer Security course |
|
|
| Prolog-standard prolog-standard@software.imdea.org | Discussions on the ISO Prolog standard |
|
|
| Sparcim-grupos sparcim-grupos@sparcim.es |
|
|
|
| iclp16-attendants iclp16-attendants@software.imdea.org | List of attendants to ICLP 2016, NYC |
|
|
| TAVer taver@software.imdea.org | Theoretical Aspects of Verification |
|
|
| Sparcim-todos sparcim-todos@sparcim.es |
|
|
|
| cbc cbc@software.imdea.org | Correctness by Construction course |
|
|
| new chc-comp chc-comp@software.imdea.org | CHC Competition |
|
|
| AVClass-users avclass-users@software.imdea.org | AVClass users |
|
|
| Computer-security-2024-2025 computer-security-2024-2025@software.imdea.org | Computer Security course |
|
|
