| List name | Post address | Description |
|---|---|---|
| ngrf_rtd | ngrf_rtd@lists.aau.dk | |
| ngrf_wpl | ngrf_wpl@lists.aau.dk | |
| papers_bnam2022-org | papers_bnam2022-org@lists.aau.dk | |
| pericles_case | pericles_case@lists.aau.dk | |
| PERICLES_RTD | pericles_rtd@lists.aau.dk | |
| plus-dfs-lunch | plus-dfs-lunch@lists.aau.dk | |
| Qmc | qmc@lists.aau.dk | Mailing list for PhD school "Quantitative Model Checking" |
| reco2st_admin | reco2st_admin@lists.aau.dk | |
| reco2st_all | reco2st_all@lists.aau.dk | |
| reco2st_PSC | reco2st_psc@lists.aau.dk |