News- und Eventarchiv
International Conference on Computer Aided Verification (CAV 2011)
The following paper has been accepted to the 23rd International Conference on Computer Aided Verification (CAV 2011): Symbolic Algorithms for Qualitative Analysis of Markov...
You can make IT
"You can make IT" ist der Titel einer gemeinsamen Initiative der österreichischen Informatik-Universitäten. In Anbetracht eines zunehmenden Bedarfs an IT-Fachkräften sollen...
Forschungsgruppe Future Communication im Kurier
Kurt Tutschku wurde im Rahmen des Artikels "Spracherkennung: Apple legt sich mit Google an" der Zeitung Kurier zur Spracherkennungssoftware Siri befragt.
Schwerpunkt Cognitive Science
Die Kognitionswissenschaft (Cognitive Science, CS) ist ein "Emerging Focus" an der Universität Wien. Anfang 2011 wird eine neue Forschungsplattform eingerichtet, die natur- und...
EC ernennt Kurt Tutschku zum Vorstandsmitglied der Future Internet Assembly
Im Jänner 2011 wurde Prof. Kurt Tutschku von der European Commission (EC) zu einem der zehn europäischen akademischen und industriellen Vorstandsmitglieder der Future Internet...
Neue Publikation: "Multipath Routing Experiments in Federated Testbeds"
von T. Zseby, T. Zinner, K. Tutschku, Y. Shavitt, P. Tran-Gia, Christian Schwartz, A. Rafetseder, C. Henke, C. Schmoll
Wird im Mai 2011 im Future Internet Assembly book,...
KuVS GI/ ITG Workshop
Die Professur organisiert den 4. KuVS GI/ ITG Workshop (Fachgespräch) "NG Service Delivery Platforms & Service Overlay Networks" am 1. April 2011.
Für mehr Details...
Einladung, ein Tutorium beim DRCN 2011 zu halten
Prof. K. Tutschku wurde dazu eingeladen, am 10. Oktober 2012 beim DRCN 2011 ein Tutorium zum Thema "Virtualization and Network Virtualization -- Building Blocks for...
FP7 Project VPH-SHARE Started
The research group Scientific Computing is contributing as partner to the EU-funded FP7 project "Virtual Physiological Human: Sharing for Healthcare - A Research Environment...
Vortrag: Minimale Spannbäume: Verifikation und randomisierte Konstruktion - Torben Hagerup
Torben Hagerup Institut für Informatik, Universität Augsburg Friday 8. April, 14:00 s.t.
Forschungsgruppe Scientific Computing Seminarraum C316, Nordbergstraße 15/3CDer Vortrag...
