| List name | Post address | Description |
|---|---|---|
| SMAPPER | smapper@software.imdea.org | |
| Sparcim-ejecutiva | sparcim-ejecutiva@sparcim.es | |
| Sparcim-grupos | sparcim-grupos@sparcim.es | |
| Sparcim-todos | sparcim-todos@sparcim.es | |
| Swsecurity-seminar | swsecurity-seminar@software.imdea.org | Software Security Reading Group |
| TAVer | taver@software.imdea.org | Theoretical Aspects of Verification |
| tezos-ares | tezos-ares@software.imdea.org |