Thursday, 03 July 2014 15:34
There are no translations available.

Weniger CO2 mit umweltbewusster App zur Routenplanung

Der IT-Preis der Stadt Innsbruck an der Universität Innsbruck prämiert herausragende Projektarbeiten im Bereich Informationstechnologie. Das Siegerteam 2014 entwickelte einen funktionalen, umweltfreundlichen Routenplaner für Android-Smartphones, der AnwenderInnen bei der CO2-Reduktion unterstützt.

Tuesday, 17 June 2014 07:29

START-Programme Award for Computer Scientist at the University of Innsbruck

René Thiemann, computer scientist at the University of Innsbruck received the START-Programme Award, the most prestigious award for young researchers in Austria. René Thiemann's project deals with the improvement of programs. His aim is to extend the application of Certifiers in regard to reliability and complexity.

Friday, 06 June 2014 13:52

Achtung: Aufnahmeverfahren für WS 2014/15 und SS 2015

Online-Registrierung vom 1. März 2014 - 15. Juli 2014!

-> Wichtige Informationen 

Die Online-Registrierung ist auch notwendig, wenn das Informatikstudium im Sommersemester 2015 begonnen werden soll. Bitte beachten Sie, dass nach dem Ende der Registierungsfrist keine weitere Möglichkeit mehr besteht für das Informatikstudium zugelassen zu werden. Das gilt unabhängig davon, ob ein Aufnahmetest stattfindet oder nicht.

Monday, 19 May 2014 00:00

Gödel's God on the Computer

Next computer science colloquium

Talk on Thursday, May 22, 16:15 in HS C

Attempts to prove the existence (or non-existence) of God by means of abstract ontological arguments are an old tradition in philosophy and theology.

Friday, 02 May 2014 00:00
There are no translations available.

Declarative Problem Solving using Tree Decompositions and Answer-Set Programming

Next computer science colloquium

Talk on Thursday, May 15, 16:15 in HS C

Many intractable problems become tractable when only instances where a parameter is bounded by a constant are considered. In particular, bounded treewidth can frequently be exploited by dynamic programming on a tree decomposition of the original instance. Implementing such algorithms, however, is usually quite intricate.

We therefore present a system for computational problem solving that enables the user to specify such algorithms in a declarative way. For this, we employ Answer Set Programming.