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]

Delivered by Mailman
version 2.1.30
Python Powered GNU's Not Unix