informatik.uibk.ac.at mailing lists - Admin Links |
|
Welcome! Below is the collection of publicly-advertised Mailman mailing lists on informatik.uibk.ac.at. Click on a list name to visit the configuration pages for that list.To visit the administrators configuration page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended. If you have the proper authority, you can also create a new mailing list. General list information can be found at the mailing list overview page. (Send questions and comments to mailman@informatik.uibk.ac.at.) |
|
List | Description |
Ari | [no description available] |
Bootcamp | [no description available] |
CeTA-Users | stay up-to-date about CeTA |
CL | [no description available] |
CL_alumni | [no description available] |
Compiler | [no description available] |
ConCon | Questions concerning the CTRS confluence checker ConCon. |
CPF | Certification Problem Format |
CSI | [no description available] |
Cuko_mip | [no description available] |
Dbis | [no description available] |
Dbis-alumni | [no description available] |
Dbis-wiss | [no description available] |
Dps-teaching | [no description available] |
Fp2023 | [no description available] |
Haskell-rewriting-devel | Haskell term-rewriting development |
Ifi-gruppenleiter | [no description available] |
Ifi-monitoring | [no description available] |
Ifi-secs | Informatik SekretaerInnen |
IFI-Sysadmin | [no description available] |
Ifi_lunchtime_seminar | [no description available] |
Igis | IG:IS - Interessengemeinschaft Informationssicherheit |
Inf-mittelbau | [no description available] |
Infsec | Internal mailing list of current seclab members |
Infsec-all | [no description available] |
Infsec-alumni | [no description available] |
Institut-intern | [no description available] |
Isr2024-lecturers | [no description available] |
Isr24 | [no description available] |
Lehramt | [no description available] |
Meinefrage | [no description available] |
Mip-professorinnen | [no description available] |
Osos | [no description available] |
Praktikumvs | [no description available] |
Qe-lab | [no description available] |
QSPAnnouncements | [no description available] |
Robocupatwork | [no description available] |
SALSA | [no description available] |
Seclab | [no description available] |
Selive | [no description available] |
smb | Seminar mit Bachelorarbeit |
Specification | Formal Specification and Verification (lecture and exercises) |
Sysadmin | [no description available] |
Teachingcommittee | [no description available] |
ttt2 | tyrolean termination tool |
TTT2-users | [no description available] |
Youcanmakeit | [no description available] |
version 2.1.30 |