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
Adamant [no description available]
Bestplaceforit [no description available]
Bk-informatik [no description available]
Cade25pc [no description available]
CeTA-Users stay up-to-date about CeTA
CL [no description available]
CL-students [no description available]
CL_alumni [no description available]
Cla2016 [no description available]
Clconclave2017 [no description available]
Coffee [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]
Digivis Digitization and Visualization of Archives and Collections
Digivis-news Digitization and Visualization of Archives and Collections - Newsletter
Dps-phdstudents Dps Phd students mailing list
Dps-research [no description available]
Dps-teaching [no description available]
Educational-robotics [no description available]
Haskell-rewriting Haskell term-rewriting mailing list
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 [no description available]
Infsec-all [no description available]
Infsec-alumni [no description available]
Institut-intern [no description available]
KBCV [no description available]
Lehramt [no description available]
Livingsec [no description available]
Mintmasse [no description available]
Mip-professorinnen [no description available]
Movepublic [no description available]
Osos [no description available]
Pm DBIS: Proseminar Programmiermethodik
Praktikumvs [no description available]
Ps-dps [no description available]
Qe-gi2011 [no description available]
Qe-gi2011-intern [no description available]
Qe-lab [no description available]
Qe-publications [no description available]
QE-wiss [no description available]
Qspannouncements [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]
Thebestplaceforit [no description available]
Tizi-talks [no description available]
ttt2 tyrolean termination tool
TTT2-users [no description available]
Vl_infosec [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