informatik.uibk.ac.at Mailing Lists

Welcome!

Below is a listing of all the public mailing lists on informatik.uibk.ac.at. Click on a list name to get more information about the list, or to subscribe, unsubscribe, and change the preferences on your subscription. To visit the general information page for an unadvertised list, open a URL similar to this one, but with a '/' and the list name appended.

List administrators, you can visit the list admin overview page to find the management interface for your list.

If you are having trouble using the lists, please contact mailman@informatik.uibk.ac.at.

   
List Description
Bk-informatik [no description available]
Cade25pc [no description available]
CeTA-Users stay up-to-date about CeTA
CL [no description available]
CL_alumni [no description available]
Clconclave2017 [no description available]
Compiler [no description available]
ConCon Questions concerning the CTRS confluence checker ConCon.
CPF Certification Problem Format
Cs-teachers [no description available]
CSI [no description available]
Cuko_mip [no description available]
Dbis [no description available]
Dbis-alumni [no description available]
Dbis-wiss [no description available]
Dps-phdstudents Dps Phd students mailing list
Dps-research [no description available]
Dps-teaching [no description available]
Educational-robotics [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]
Ifibeirat [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]
Lehramt [no description available]
Meinefrage [no description available]
Mip-professorinnen [no description available]
Osos [no description available]
Praktikumvs [no description available]
Ps-dps [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]
Wp4-allscale [no description available]
Wst2016 [no description available]
Youcanmakeit [no description available]

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