Informatics and business informatics are young and innovative disciplines which play a central role in our modern information society. The application of these disciplines, information and communication technologies (ICT), is gradually penetrating into all areas of life and evolving at a rapid pace. The development and use of ICT is affecting not just business and administration but the personal lives of a growing number of people.
The key role of informatics calls for intensive efforts in research and teaching. The Faculty of Informatics strives to play an active role in national and international research. Its activities are guided by the principles of academic excellence, the networking of research and teaching, and by a sense of awareness for the social responsibility it has.
The faculty consits of seven institutes and the central services “Office of the Dean” and the “Coordination and Communication Center”. The major fields of studies are computer science and business informatics, which are the biggest and fourth biggest courses of study, respectively, at Vienna University of Technology. The five main research areas are Distributed and Parallel Systems, Computational Intelligence, Business Informatics, Computer Engineering, and Media Informatics and Visual Computing.
Diploma Supplement on Innovation: Call for Applications.
The Faculty of Informatics at the Vienna University of Technology invites national and international applicants to its Informatics Innovation Center (i²c). Application deadline for courses starting in March 2015 is November 24, 2014.
The info event on the dipoma supplement takes place on November 5, 2014.
Tue, September 30, 2014 — Lehre, News
LogiCS — Doctoral College on Logical Methods in Computer Science.
Funded Doctoral Positions in Computer Science — next application period started.
Tue, September 2, 2014 — News
Events and Dates
Parameterized Verification: Theory and Practice. Lenore D. Zuck. —
The will provide with a background on automatic generation of invariants and other constructs used in verification parameterized systems (for safety proofs, this method is sometimes referred to as "Invisible Invariants").
Thu, November 27, 2014 15:00 –17:00, s.t. — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag
Algorithmic Verification of Stability of Hybrid Systems. Pavithra Prabhakar. —
Hybrid systems refer to systems exhibiting mixed discrete-continuous behaviors and arise as a natural byproduct of the interaction of a network
of embedded processors with physical systems.
Fri, November 28, 2014 11:00 –12:00, s.t. — TU Wien, Bibliothek 182/1 — Forschung, Vortrag