1+ week, 1+ day ago  (92+ words) Building Reliable AI for Multilingual Media Analysis at the University of Innsbruck in collaboration with Eurac Research. Building Reliable AI for Multilingual Media Analysis A critical challenge lies in adapting NLP techniques designed for high-resource languages to Ladin. We are…...

1+ week, 3+ day ago  (153+ words) Our paper: "Automated Amortised Analysis of Skew Heaps and Leftist Heaps" has been accepted to appear in CAV 2026 (International Conference on Computer Aided Verification) This paper presents a major-step forward towards fully automated amortised complexity analysis of functional data structures....

1+ mon, 3+ week ago  (224+ words) Universit't Innsbruck Inter'na'tional research united in Tyrol As part of the three-day GENIUS Austria Convention, Tyrol became an international meeting place for research into pioneering software development. The GENIUS Austria Convention 2026, organised in cooperation between CASABLANCA hotelsoftware and the University…...

9+ mon, 2+ day ago  (66+ words) The Research Center Computer Science co-located with the Department of Computer Science is one of the leading research centers among the 40 resea. .. Department of Computer Science Phone: +43 512 507-0 Powered by Uni CMS | Webservices | to the Medical University...

9+ mon, 2+ day ago  (434+ words) The Austrian Computer Science Day (ACSD) 2025, held on June 6 in the Aula of the University was a great success. One of its highlights certainly was Prof. Buchbergers very personal keynote on "Looking Back and Ahead to "Thinking Machines". But also…...