Auch dieses Jahr sind österreichische Informatik-Studierende dazu eingeladen, sich bis 28. Mai 2021 für „Seeds for the Future“ von Huawei zu bewerben....

on the "Scalability and Liquidation Enhancement in QoS Lightning Networks"

The paper "Symbolic Time and Space Tradeoffs for Probabilistic Verification" by Krishnendu Chatterjee, Wolfgang Dvořák, Monika Henzinger and Alexander...

Prof. Dr. Monika Henzinger explains in the Audimax Podcast of the University of Vienna the basics and different types of algorithms, why the term has...

One full paper (acceptance rate 15.5%) and two short papers have been accepted at the IEEE BigData 2020 conference.

Beim online JobTalk am 2. Dezember ab 18:00 spricht Vizedakanin Renate Motschnig mit Studierenden und Vertreter*innen aus der Wirtschaft (A1,...