Archiv der Forschungsmeldungen und -termine

The Vienna University of Technology intends to appoint a Professor for Discrete Reasoning Methods at the Faculty of Informatics for a 5 year term.

Am 14. Oktober 2009 wurde die Vienna PhD School of Informatics an der Fakultät für Informatik der TU Wien feierlich eröffnet.

Neues Doppeldiplomprogramm der Fakultät für Informatik der TU Wien mit INSA Lyon im Bereich Informatik.

Das WIT-Modell der Nachwuchsförderung bei Wissenschafterinnen wurde als Dekadenprojekt „Bildung für Nachhaltige Entwicklung“ ausgezeichnet.

Zwei der beim ersten ICT-Call des Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) geförderten Projekte der Fakultät für Informatik sind für den Wiener Zukunftspreis 2009 nominiert.

Am 9. Juni 2009 wurde der Hannspeter Winter-Preis an Dr. Andrea Weidlich für Ihre Arbeit zum Thema „Pseudochromatic Colourisation of Chrystals in Predictive Image Synthesis“ zuerkannt. Die feierliche Verleihung des Preises wird im Oktober 2009 stattfinden.

Wiens erstes humanoides Roboterfußballteam, die Austrian Kangaroos, erreichte beim Robocup 2009 in Graz das Viertelfinale.

A new doctoral college “Computational Perception” will start in October 2009. The college is funded by TU Vienna and has a duration of three years. Scienific Coordinator is Margrit Gelautz at the Institute of Software Technology and Interactive Systems.

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology

The Faculty of Informatics starts with an international PhD School of Informatics in October 2009.

Im Rahmen einer speziellen Maßnahme der Fakultät für Informatik zur Erhöhung des Frauenanteils beim wissenschaftlichen Personal werden zwei vollbeschäftigte Assistentinnen-Stellen für Frauen ausgeschrieben.

Ausgezeichnet wurden DI Fares Kayali und DI Mag. Marco Zapletal.

Die Stadt Wien unterstützt mit rund 700.000 Euro die neue „Vienna PhD School of Informatics“ der Fakultät für Informatik an der TU Wien.

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.

Der Award des BMWF zeichnet österreichweit die 30 besten Dissertanten des Studienjahres 2007/08 aus und ist mit je 2.500 Euro dotiert.

Die größte und wichtigste internationale wissenschaftlichen Vereinigung auf dem Gebiet der Informatik, die Association for Computing Machinery (ACM), hat Georg Gottlob zu ihrem Fellow ernannt.

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology

Internationale Forschungsaufenthalte und Überbrückungsstipendien für beruftstätige DissertantInnen in der Höhe von insgesamt 10.000 Euro zu vergeben.

Schahram Dustdar und Roman Obermaisser sind "Austrian Champions in European Research".

An der Fakultät für Informatik sind im Rahmen des Doktorandinnenkollegs WIT zwei Stellen für je eine teilbeschäftigte Assistentin (25 Wochenstunden) ausgeschrieben.

Maria Magdalena Ortiz de la Fuente vom Institut für Informationssysteme, Arbeitsbereich Knowledge Based Systems wurde mit dem OCG Förderpreis 2007 ausgezeichnet.

Announcement of an open position at the Faculty of Informatics, Vienna University of Technology

Der erster und der zweite Preis in der Kategorie "Informations- und Kommunikationstechnologien" des INiTS Award 2007 gingen an zwei Absolventen der Fakultät für Informatik.

Prof. Thomas Eiter vom Institut für Informationssysteme, Arbeitsgruppe Knowledge Based Systems wurde zum korrespondierenden Mitglied der Österreichischen Akademie der Wissenschaften (ÖAW) gewählt.

M. Jazayeri zum IEEE Fellow gewählt.

Internationale Forschungsaufenthalte und Überbrückungsstipendien für beruftstätige DissertantInnen in der Höhe von insgesamt 10.000 Euro zu vergeben.

Zwei Projekt der Fakultät für Informatik wurden bei der Prämierung der besten FIT-IT-Projekteinreichungen des Jahres 2006 ausgezeichnet.

Professor Hermann Kopetz vom Institut für Technische Informatik wurde am 19. Juni 2007 das Ehrendoktorat der Universitè Paul Sabatier (Toulouse III) verliehen.

Martina Umlauft und Magdalena Ortiz wurden mit dem Anita Borg Memorial Scholarship von Google ausgezeichnet.

Im Rahmen einer speziellen Maßnahme der Fakultät für Informatik zur Erhöhung des Frauenanteils beim wissenschaftlichen Personal wird an der Fakultät für Informatik der TU Wien eine vollbeschäftigte Universitätsassistentinnen-Stelle für eine Frau ausgeschrieben.

Chronic obstructive pulmonary disease (COPD) and asthma are epidemiologically significant diseases of respiratory passages. Both are characterized by airflow limitation and a variable degree of inflammation. Because of its low proton density the lung is probably the most difficult organ to be studied by magnetic resonance imaging (MRI).

Software is critical to the working of our modern society. Software is pervasive, it works, it is invisible, it just seems to run things well and stay out of the way. This is not by accident. Over time, software engineers have developed techniques for creating functioning software that is efficient and dependable.

To achieve compositionality for languages, we transfer the notion of collaborationbased design from software modelling to language design. In software modelling, collaboration schemes (also called role models) describe interactions between model concepts, encapsulating the interactions so that they can be reused in different scenarios.

Model Driven Engineering (MDE) is increasingly gaining acceptance in the development of software systems as a mean to leverage abstraction and render business logic resilient to technological changes.

Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same (extensionally) as the Turing-computable numeric functions.

Guest Speaker: Prof. Fausto Giunchiglia, Professor of Computer Science, University of Trento

Kolloquium Programmiersprachen und Grundlagen der Programmierung

State-of-the-art image analysis systems often feature limited robustness under varying environment conditions. A significant improvement in this research area can only be achieved based on better understanding of how humans interpret digital images and by modeling this behavior.

eine elektroakustische Klangdichtung (2006).

In this talk a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain representing a geometric concept.

Fundamental concepts of evolutionary circuit design and evolvable hardware (EHW)

25 international students join for the 2009 summer school of the IPCity project.

11th European Conference on Computer-Supported Cooperative Work - ECSCW 09

Predicting physical properties, such as execution time or power, is central to the design of reliable embedded systems.

Application of ontology-based semantics to the modelling and transformation between business-oriented notations for processes and organisations and executable processes taking advantage of semantic extensions to service-oriented architecture.

The primary focus of the talk will be on the characterization of facial deformation through strain patterns computed from the motion observed in facial expression videos and its application in image analysis tasks such as person identification and expression segmentation.

A recent line of research concerns the integration of ant colony optimization and constraint programming. Hereby, constraint programming is used for eliminating parts of the search tree during the solution construction of ant colony optimization.

Nach Ansicht maßgeblicher Experten (auch und gerade aus der TU Wien) gewinnt die Technologie des Entwurfs hoch-zuverlässiger Systeme aus nicht-zuverlässigen Baugruppen eine hohe praktische Bedeutung, z. B. für die Automobilindustrie.

The web is more and more social. But currently each social networks is an Island to itself.

What is an invention and how to identify a patentable invention? Are computer implemented inventions patentable?

Triple Graph Grammars (TGGs) are a bidirectional model transformation formalism, where a single specification generates a language of related graph tuples (pairs of models) together with an intermediate correspondence graph (traceability link database).

Ein robustes und wiederverwendbares Softwaresystem sollte eine komponentenbasierte oder serviceorientierte Softwarearchitektur haben, da idealerweise durch einfaches Austauschen oder Ergänzen von Black-Box Komponenten (insbesondere auch Web-Services) ein Softwaresystem weiterentwickelt werden kann.

Model Driven Development (MDD) and Model Driven Architecture (MDA) are still hot topics of the software engineering community.

Human conversational partners usually try to interpret the speaker's or listener's affective cues and respond to them accordingly. Recently, the modelling and simulation of such behaviours has been recognized as an essential factor for successful man-machine communication.

There is an increasing number of applications that require accurate aligning of one image with another taken from different viewpoints, by different imaging devices, and/or at different times.

The combination of real-time visualization and image analysis with adapted imaging and display optics enable a large variety of new applications for projector-camera systems.

Volumetric data sets as acquired by medical scanners contain a multitude of information. In order to allow the domain expert to visually extract relevant information, meaningful visual representations are necessary.

Disjunctive logic programming under the answer set semantics (DLP, ASP) has been acknowledged as a versatile formalism for knowledge representation and reasoning during the last decades. Lifschitz, Tang, and Turner have introduced an extended language of DLP, called Nested Logic Programming (NLP), in 1999 [10].

The three classic Futamura projections stand as a cornerstone in the development of partial evaluation. The observation by Futamura [1983], that compiler generators produced by his third projection are self-generating, and the insight by Klimov and Romanenko [1987], that Futamura¹s abstraction scheme can be continued beyond the three projections, are systematically investigated, and several new applications for compiler generators are proposed.

Die Gesellschaft steht vor großen wirtschaftlichen und ökologischen Herausforderungen. Informations- und Kommunikationstechnologie kann besonders in interdisziplinärer Forschung und Zusammenarbeit mit anderen Fachrichtungen wertvolle Beiträge für eine nachhaltigere Wirtschaft und Gesellschaft leisten.

Modeling the appearance of physical materials is an essential component in the computer generation of synthetic photorealistic imagery. Recent progress in material appearance modeling will be surveyed, with an emphasis on modeling aged and weathered materials and on perceptual experiments.

Die Computergrafik hat sich der "Computational Photography" zugewandt, die einerseits neue Fotoapparate erforscht, aber andererseits auch eine Fülle von erstaunlichen Verfahren hervorgebracht hat, mit denen man Fotografien verändern kann.

Interfaces play a central role in the modular design of systems. Good interface languages are based on two principles. First, an interface should expose enough information about a module so to make it possible to predict if two or more modules work together properly, by looking only at their interfaces.

Wir motivieren die Konzeption einer iterativen Deadlock-Analyse zur Aufdeckung von Deadlocks für unvollständige, nebenläufige Java Card 3.0 Programme und stellen einen Überblick über die geplante Analyse und die darin betrachteten Deadlocks vor.

Wir motivieren die Konzeption einer iterativen Deadlock-Analyse zur Aufdeckung von Deadlocks für unvollständige, nebenläufige Java Card 3.0 Programme und stellen einen Überblick über die geplante Analyse und die darin betrachteten Deadlocks vor.

Thomas Setzer is currently heading the IT Service Operations Management (ITSOM) research group at the Chair of Internet-based Information Systems (IBIS), TU München.

A security vulnerability is a software bug that can be exploited by an external attacker. Security vulnerabilities expose a major threat for operating systems and programs that are executed with higher privileges, as an attacker can gain total control over a computer system by exploiting vulnerabilities.

The symposium will give you an overview of future developments in Visual Computing by top-level invited experts.

A rapidly growing computer graphics community has contributed to dramatic increase in complexity with respect to geometry as well as physical phenomena.

In order to establish a theoretical foundation for database transformations, a universal computation model as an umbrella for queries and updates is needed.

We introduce a modular framework for abstract argumentation where the argumentation context, that is information about preferences among arguments, values, validity, reasoning mode (skeptical vs. credulous) and even the chosen semantics can be explicitly represented.

In this talk I will consider computational problems that (A) can be solved in polynomial time for graphs of bounded treewidth and (B) where the order of the polynomial time bound is expected to depend on the treewidth of the instance.

Service-orientierte Architekturen (SOA) werden heutzutage von vielen als die lang ersehnte Antwort angesehen, um die Kluft zwischen Geschäft und IT zu schließen.

Despite company fears of reputation risk, and under-reporting by organisations, the problems posed by employee computer crime are increasingly being acknowledged.

Our objective is to analyze and understand the physiology and patho-physiology of normal nasal breathing.

While hackers and viruses fuel the IS security concerns for organisations, the problems posed by employee computer crime should not be underestimated.

Static program analyses have to over-approximate the run-time behavior of programs to follow the requirement of safety. This sacrifices significant optimization potential.

Haben Sie sich auch schon einmal folgende Fragen gestellt: Wie schaffen die es eigentlich an Adventssamstagen oder bei Großveranstaltungen einen geregelten Bus- und Straßenbahnverkehr zu organisieren?

The talk will be about the physiology of plants and how to implement branching, tropisms, hormons and their control in simplifyfied simulations.

Präsentation der Diplomarbeiten der Fakultät für Informatik.

If-then rules, which are arguably the most common form of knowledge representation in Artificial Intelligence, are ambiguous.

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.

Public Lecture in Business Informatics 2008/09

Numerical flow visualization is gaining importance because of the continuing trend from experiments toward computational fluid dynamics.

In this talk recent research work on how to support hypothesis generation in climate research through interactive visual exploration is presented.

A framework and experiences from studies of collaboration and project outcomes in global software teams.

Virtual machines (VMs) for high-level programming languages, such as the Java VM, enable the distribution of programs in an architecture-neutral format. Such VMs are typically implemented using an interpreter or a just-in-time compiler. A very long-running question in the design of VMs is whether a stack architecture or register architecture can be implemented more efficiently with an interpreter.

Challenges and some achieved results in business value driven management of business processes implemented with service-oriented architectures.

This talk introduces Digital Bayon Project, conducted by The University of Tokyo team, with the cooperation of the Japanese Government team for Safeguarding Angkor, to scan the Bayon temple and obtain 3D digital data of the temple.

Grid computing along with cloud computing, one of the latest buzzwords in the ICT industry, is enabling the creation of Cyberinfrastructure for e-Science and e-Business applications. Despite a number of advances in Grid computing, utility-oriented resource management and application scheduling in such environments continues to be a challenging and complex undertaking.

Die 16. Summer School on Image Processing findet 2008 an der Fakultät für Informatik der TU Wien statt und wird von der Pattern Recognition and Image Processing Group (PRIP) am Institut für Rechnergestützte Automation organisiert.

World Conference on Educational Multimedia, Hypermedia & Telecommunications

Design of an Optimized Middleware

The recent rise in phishing and identity theft attacks have made it widely acknowledged that Internet requires strong authentication mechanisms.

A Worldwide Observatory of Malicious Behaviors and Attack Threats

Die Technische Universität Wien stellt sich ihrer gesellschaftlichen Verantwortung und greift in der Reihe "TU-Forum" Themen mit technischem Hintergrund auf, die polarisieren.

Präsentation der Diplom- und Masterarbeiten der Fakultät für Informatik.

The goal of computerized image generation is to convey information to the user or viewer, whether for artistic reflection, scientific discovery, or decision making. The history of art, design, illustration, and perception form a rich basis for developing interactive computerized visual environments for discovery, engineering, and analytical decision making.

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein.

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein.

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein.

Der Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen" ist das bedeutendste deutschsprachige Forum, um Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet des Tests und der Zuverlässigkeit digitaler, analoger, Mixed-Signal- und HF-Schaltungen zu diskutieren. Der Austausch von Ideen ist ein wichtiges Anliegen des Workshops.

Mobile autonomous robots can perform complex tasks in unstructured and dynamic environments....

Adaptation in Mobile Learning

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt ein.

Wissenschafterinnenkolleg Internettechnologien der Fakultät für Informatik der TU Wien lädt Sie herzlich zu seiner Abschlußveranstaltung ein.

Fine-Grain Concurrency

Brauchen die neuen Medien eine neue Didaktik?

Die Fakultät für Informatik lädt zum WIT Kolloquium „Brigitte Ederer im Gespräch“ und zur Verleihung des Siemens Dissertationsstipendiums der Fakultät für Informatik.

Die (Lehr-)Veranstaltungsreihe bietet einen up-to-date Überblick über den Stand der Anwendung als auch Forschung - auch durch die Einladung nationaler und internationaler Experten.

The 5th Workshop on Java Technologies for Real-Time and Embedded Systems

The 8th International Conference on Music Information Retrieval, ISMIR 2007, will be held at the Vienna University of Technology, from September 23rd to September 27th, 2007.

Information is a fundamental human need. The field of information retrieval has helped address this need since the 1960s, with a range of models and systems.

Es ist ein lange gehegter Traum, neue Software zu erstellen, indem man sie einfach aus bereits vorgefertigten, gut getesteten Komponenten zusammensetzt....

A general framework for representing belief change is presented, based on notions of minimal change.

This talk introduces coalitional games and then focuses on the characterization of the complexity of the core in such games.

In der Informatik und Linguistik wird unter Bäumen meist geordnete Bäume verstanden.

Die Österreichische Computer Gesellschaft veranstaltet vom 19.-28. September 2007 die Woche der Informatik.

Web services interact through messages to ensure a robust and coupled interaction.But what happens when components need to interact in more sophisticated ways than just sending a message?

The 12th International Conference on Computer Analysis of Images and Patterns

Computer Vision for Cultural Heritage 2007

The construction of correct software has been an important goal since the commencements of computer science and has not lost importance ever since.

SPARQL is the upcoming query language for the Semantic Web, at the moment short before getting the standards recommendation from W3C.

In 1977, there were no hardcore players of video games: Every video game had to be created with the assumption that players had no understanding of video games, genres, and controllers. Thirty years later, video games are primarily designed for players with extensive knowledge of video game conventions. This is how video games gained a specialized audience, but lost the general public.

Information permeates every corner of our lives and shapes our universe. Understanding and harnessing information holds the potential for significant advances.

Zur Ästhetik, Ökonomie und Kultur der Independent-Games

Discrete Analytical Geometry: Basis and Applications

INFORMATIK-KOLLOQUIUM