News- und Eventübersicht

Softwareentwicklung: Prüfen leicht gemacht

Mit dem "Container"-Projekt möchte die Forschungsgruppe SWA für eine Verbesserung in der Entwicklung komplexer Systeme sorgen. Univ.-Prof. Zdun im uni:view-Interview.

Informatiktag für LehrerInnen 2013

Am 30.9. findet der Informatiktag für LehrerInnen erstmals im neuen Gebäude der Fakultät für Informatik der Universität Wien statt. Hier finden Sie die vorläufigen Programmpunkte.

PC-Räume des ZID ab 29.7. gesperrt

Der ZID bittet um folgende Mitteilung: Um die Qualität der Hard- und Software in den PC-Räumen des Zentralen Informatikdienstes zu verbessern, wird die Ausstattung der PC-Räume in...

CS-Colloqium: Prof. Marek Rusinkiewicz

26. Juni 2013, 15 Uhr: "Security of Cyber-Physical Systems (A Case Study)" / Währinger Straße 29, 1090 Wien, HS3.

Cyber Security Challenge

Die Cyber Security Austria (CSA) führt auch 2013 wieder die „Cyber Security Challenge – Verboten gut“ in Österreich durch. Heuer sind erstmals auch Studierende zugelassen.

Meet us @ICAD 2013, Lodz, 8-10 July

Tobias Hildebrandt on Sonification

Ideenwettbewerb: Smarte Mobilität

AustriaTech startet einen Ideenwettbewerb für interdisziplinäre Studierendenteams. Dieser richtet sich an Teams aus 3 bis 4 Personen unterschiedlicher Studienrichtungen wie...

Theoretical Computer Science

The following paper appeared in the Journal Theoretical Computer Science:

Bidder Optimal Assignments for General Utilities by Paul Dütting, Monika Henzinger, and Ingmar...

Formal Methods in System Design

The following paper appeared in the Journal Formal Methods in System Design:

Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives by...

MIS-Talk: Ashutosh Saxena

1.7.2013, 11:00 Uhr: "How should a robot perceive the world?" / Währinger Straße 29, 1090 Wien, SR11