Aktuelle Forschungsmeldungen und -termine
Aktuelles
PRESSE
STUDIUM
Der Award des BMWF zeichnet österreichweit die 30 besten Dissertanten des Studienjahres 2007/08 aus und ist mit je 2.500 Euro dotiert.
PRESSE
VERMISCHTES
Fünf der insgesamt 12 im Rahmen des ersten „Information and Communication Technology“ Call geförderten Projekte gehen an die Fakultät für Informatik.
Termine
20/10 – 26/01
Organized by E-Commerce Group at the Institute of Software Technology and Interactive Systems
Public Lecture in Business Informatics 2008/09
16:00
Dr. Laura KOVACS, Ecole Polytechnique Federale de Lausanne, Switzerland
We present a method for generating loop invariants and bound assertion for a subfamily of imperative loops operating on numbers, called the P-solvable loops. The method uses symbolic summation, Groebner basis computation, and quantifier elimination.
15:00
Präsentation der Diplomarbeiten der Fakultät für Informatik.
10:30
The talk will be about the physiology of plants and how to implement branching, tropisms, hormons and their control in simplifyfied simulations.