Archivierte Meldungen und Termine

Hier finden Sie einen Überblick aller bisherigen Meldungen, Termine und Veranstaltungen der Fakultät für Informatik an der Technischen Universität Wien.

Mai 2012

Evolving Delta-oriented Software Product Line Architectures. Prof. Dr. Bernhard Rumpe. — Software Product Line Architectures are an important technique to handle variations in products.
Di, 15. Mai 2012 17:30 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

Informatik-Studieninfo @ TU Wien. Die Informationsveranstaltung zu den Bachelorstudien der Fakultät für Informatik
Di, 15. Mai 2012 15:00 –17:00 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Lehre, Veranstaltung

Ist die Vorratsdatenspeicherung verfassungswidrig?. Ab 1. April 2012 wird in Österreich die EU Richtlinie zur Vorratsdatenspeicherung umgesetzt und Verbindungsdaten von Telefon, Internet und E-Mail sechs Monate gespeichert.
Mo, 14. Mai 2012 18:00 –21:00 Uhr — TU Wien, Prechtl-Saal — Veranstaltung, Vortrag

4. IBM Smart Talk zum Thema "Smart Grids". Schon lange beschäftigt das Thema Energiesparen auch die Technik. Intelligente Stromnetze (engl. Smart Grids) sollen Einsparungen im Energieverbrauch herbeiführen.
Mi, 9. Mai 2012 16:00 Uhr, c.t. — TU Wien, EI 9 Hlawka-Hörsaal — Lehre

April 2012

Touching More than Two Dimensions: Having Fun with Tables. Prof. Dr. Joaquim Jorge. — Work on interactive tabletops and surfaces has focused mostly on two-dimensional issues, such as multi-finger gestures and tangible interaction.
Fr, 27. April 2012 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Foundations of Verification with Proof Scores in CafeOBJ. Prof. Dr. Kokichi Futatsugi. — The Verification method with proof scores is an interactive theorem proving method based on algebraic specifications.
Do, 5. April 2012 15:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Cloud Camp Vienna. Als Un-Konferenz ohne festes Programm den Open Space Prinzipien (Grundidee „der aus Pausen bestehenden Konferenz“) folgend, entsteht vor Ort nach den konkreten Anliegen der TeilnehmerInnen eine grobe Grundstruktur an Gesprächsthemen.
Mi, 4. April 2012 16:00 –21:00 Uhr — TU Wien, Prechtl-Saal — Forschung, Workshop

März 2012

Microsoft Phone 7 Event - App Development. Veranstaltung für Studierende zur App-Entwicklung auf Windows Phone 7
Do, 22. März 2012 16:00 –19:00 Uhr — TU Wien, EI 3 Sahulka-Hörsaal — Workshop

Random Thoughts on Entrepreneurship. Alex Mehr. — Every venture is constantly tested by a seemingly endless stream of new challenges. "Should we launch early with an incomplete product or wait until the product is fully baked?"
Mi, 21. März 2012 17:00 –20:00 Uhr — TU Wien, Zemanek-Hörsaal — Lehre, Vortrag

Ina Wagner erhält Gabriele Possanner-Staatspreis. Die Informatikerin Ina Wagner wird am internationalen Frauentag mit dem Gabriele Possanner-Staatspreis 2011 für ihr Lebenswerk ausgezeichnet. Seit Anfang der 1980er Jahre setzt sich die Preisträgerin auf vielfältige Weise für die Frauenförderung in der Wissenschaft und die Förderung von Geschlechterdemokratie ein.
Do, 8. März 2012 — Bundesministerium für Wissenschaft und Forschung, Audienzsaal — Forschung, Presse

Informatics Innovation Center (i²c) feierlich eröffnet. „Innovatives Denken und Kreativität können nicht gelernt, aber gefördert werden“, sagt Hannes Werthner, Direktor des Informatics Innovation Centers (i²c) an der Fakultät für Informatik. Zur Eröffnung am 6. März 2012 kamen rund 120 Gäste.
Do, 8. März 2012 — Lehre, Veranstaltung

Opening of the Informatics Innovation Center (i²c). The Faculty of Informatics at the TU Vienna celebrates the opening of the Informatics Innovation Center. An inspiring keynote will be presented by Duane Nickull, a serial entrepreneur and senior standards architect from Vancouver/Canada.
Di, 6. März 2012 18:00 –20:00 Uhr — TU Wien, Prechtl-Saal — Lehre, Veranstaltung

Software Model Synthesis by Identifying DFAs using Satisfiability Solvers. Dr. Marijn Heule. — We introduce a novel approach for synthesis of software models based on identifying deterministic finite state automata.
Mo, 5. März 2012 10:00 Uhr — TU Wien, Seminarraum von Neumann — Forschung, Vortrag

Understanding the balance between the use of free text and coded data. Dr. Lesley Axelrod, Prof. Flis Henwood. — This presentation will describe ethnographic research that seeks to understand how data is entered into primary care electonic patient records (EPRs).
Do, 1. März 2012 12:00 Uhr — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

BEGINNERS' WELCOME. Informationsveranstaltung der Fakultät für Informatik für alle StudienanfängerInnen im Sommerssemester 2012.
Do, 1. März 2012 10:00 –12:00 Uhr, s.t. — TU Wien, HS 17 Friedrich Hartmann — Lehre

BEGINNERS' WELCOME. Informationsveranstaltung der Fakultät für Informatik für alle StudienanfängerInnen im Sommersemester 2012.
Do, 1. März 2012 10:00 –12:00 Uhr, s.t. — TU Wien, HS 17 Friedrich Hartmann — Lehre

Februar 2012

MOSTflexiPL – Modular, Statically Typed, Flexibly Extensible Programming Language. Christian Heinlein. — MOSTflexiPL ist eine momentan in Entwicklung befindliche Programmiersprache, die vom Anwender nahezu beliebig syntaktisch erweitert und angepasst werden kann.
Mo, 13. Februar 2012 15:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Jänner 2012

Ehrendoktorat an E.M. Clarke und Honorarprofessur an C. Floyd. Edmund M. Clarke, dem Erfinder des Model Checking, wird das Ehrendoktorat der TU Wien verliehen. Die Entwicklerin der Methode STEPS, Christiane Floyd, wird zur Honorarprofessorin der TU Wien bestellt.
Do, 26. Jänner 2012 10:00 Uhr, s.t. — TU Wien, Boecklsaal — Auszeichnung

Vienna Center for Logic and Algorithms eröffnet. Begleitet von einem hochkarätig besetzten Symposium feierte das Vienna Center for Logic and Algorithms (VCLA) am 25. Jänner 2012 seinen Auftakt. Zentrale Ziele des von Stefan Szeider und Helmut Veith geleiteten Zentrums sind die Förderung internationaler Forschungskooperationen und der wissenschaftliche Austausch.
Do, 26. Jänner 2012 — Forschung

Opening of the Vienna Center for Logic and Algorithms. Five invited speakers including Turing Award winner Edmund M. Clarke will speak at the opening event of the Vienna Center for Logic and Algorithms. On the following day, in recognition of his contributions to logic in computer science, TU Vienna will award an Honorary Doctorate to Prof. Clarke.
Mi, 25. Jänner – Do, 26. Jänner 2012 — TU Wien, Boecklsaal; TU Wien, Festsaal — Auszeichnung, Forschung

Accelerating GPGPU applications with CUDA C / CUDA C 4.0 overview. Gernot Ziegler. — GPU are intensely used in computer graphics applications, and general purpose computing on the GPU have shown the tremendous potential of SIMT for all kinds of computational applications outside the original application domain.
Fr, 20. Jänner 2012 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Visual Analysis of Heterogeneous Data. Marc Streit. — Gaining insights by exploring massive, complex data is the grand challenge of Visual Analytics - the science of analytical reasoning.
Fr, 13. Jänner 2012 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Dezember 2011

Studieneingangsgespräche (STEG) im Sommersemester 2012. Verpflichtende Studieneingangsgespräche für alle StudienanfängerInnen der Bachelorstudien der Fakultät für Informatik.
Do, 22. Dezember 2011 — Lehre, News

Forscher der TU Wien bauen Spektral-Kamera. Eine handelsübliche Digitalkamera bauten Forscher zu einer Spezial-Kamera um, mit der man das Farbspektrum von Objekten genau untersuchen kann.
Mi, 21. Dezember 2011 — Forschung

IBM Smart Talk zum Thema "Wissen ist Macht – Lernende Computersysteme". Großes Aufsehen erregte der Sieg des Supercomputers „Watson“ gegenüber seinen menschlichen Konkurrenten in der US-amerikanischen Quizshow Jeopardy!
Do, 15. Dezember 2011 16:00 –18:00 Uhr — TU Wien, EI 3 Sahulka-Hörsaal — Lehre

Fachschaft Informatik vergibt Lehrenden-Award. F. Puntigam, H. Eidenberger, L. Zenk sowie A. Panholzer sind von den Studierenden der Fakultät für Informatik für ihre hervorragenden Unterrichtsmethoden ausgezeichnet worden.
Di, 6. Dezember 2011 — Lehre, Veranstaltung

EPILOG WS 2011/12. Die Fakultät für Informatik präsentiert die Diplomarbeiten des letzten halben Jahres in einer Posterausstellung und ausgewählten Vorträgen und gibt einen Einblick in das breite Spektrum der Themen und Aufgabenstellungen der Abschlussarbeiten.
Do, 1. Dezember 2011 15:00 –20:00 Uhr — TU Wien, Freihaus — Lehre, Veranstaltung

PreisträgerInnen des EPILOG am 1. Dezember 2011. Beim EPILOG am 1. Dezember 2011 wurden Georg Seitz, Andreas Grünauer und Angelika Garz ausgezeichnet.
Do, 1. Dezember 2011 — Lehre, Veranstaltung

November 2011

Consumerization of IT. Dipl.-Ing. Harald Leitenmüller. — Menschen wollen immer mehr die Technologie ihrer Wahl nutzen. Und sie wollen diese Tools auch bei der täglichen Arbeit nutzen; egal, ob das Unternehmen das erlaubt oder nicht.
Di, 22. November 2011 13:00 –15:00 Uhr — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

10. TU-Forum: Wer klaut hier meine Daten?. Mit den jüngsten Hackerangriffen u.a. durch Anonymous Austria (AnonAustria) ist die Sicherheitsfrage im Netz wieder neu aufgeflammt. Darüber diskutieren Internetsicherheitsexperten der Fakultät für Informatik mit der breiten Öffentlichkeit.
Mi, 16. November 2011 18:00 Uhr — TU Wien, Prechtl-Saal — Forschung, Lehre

Oktober 2011

ISoLA 2011 - Software Aspects of Robotic Systems. The Institute of Computer Languages hosts the first international ISoLA workshop on Software Aspects of Robotic Systems (SARS).
Mo, 17. Oktober – Mi, 19. Oktober 2011 — Palais Schönborn — Forschung, Konferenz

Timing Analysis and Timing Predictability. Prof. Dr. Reinhard Wilhelm. — Hard real-time systems are subject to stringent timing constraints, which are dictated by the surrounding physical environment.
Do, 13. Oktober 2011 16:00 –18:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

PIXEL 6. Conference for Computer Graphics and Animation
Fr, 7. Oktober – So, 9. Oktober 2011 — Österreichische Akademie der Wissenschaften — Konferenz

BEGINNERS' DAY der Fakultät für Informatik. Der BEGINNERS' DAY ist eine Infoveranstaltung für alle Studienanfängerinnen und Studienanfänger der Informatik, Wirtschaftsinformatik sowie des Lehramtsstudiums Informatik. Hier erhalten Sie die wichtigsten Infos für einen guten Start ins Studium!
Mo, 3. Oktober 2011 10:00 Uhr — TU Wien, AudiMax — Lehre

Internet-Technologie soll ganze Städte Energie-effizienter machen. Wenn elektronische Geräte und Infrastrukturen ohne menschliche Beteiligung kommunizieren, kann Geld und Energie gespart werden. Pacific Controls arbeitet daran gemeinsam mit der TU Wien und baut diese Forschungskooperation nun großzügig aus.
Mo, 3. Oktober 2011 — Forschung

September 2011

Overview of HITLab NZ projects and understanding spatial relations with virtual characters. Mohammad Obaid. — The first part of the talk will address an overview about HITLab NZ and its recent projects, such as the recent Mobile Augmented Reality application that helps in visualizing buildings that were destroyed in the recent 7.1 and 6.3 magnitude earthquakes in Christchurch.
Mi, 28. September 2011 11:00 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Time in Cyber-Physical Systems. Public Research Colloquium on the occasion of the retirement of Professor Hermann Kopetz.
Mi, 28. September 2011 09:00 –16:15 Uhr — TU Wien, FH Hörsaal 1 — Forschung, Vortrag

Wissenschaftspreis der TU Wien geht an Ivona Brandic. TU Wien, Presseaussendung 64 / 2011
Di, 27. September 2011 — Auszeichnung

PROLOG im Wintersemester 2011/12. Als Vorbereitung auf das Studium und als Ausgleich der unterschiedlichen Voraussetzungen der StudienanfängerInnen bietet die Fakultät für Informatik das Propädeutikum für Informatik "PROLOG" an.
Mo, 26. September – Fr, 30. September 2011 — TU Wien, AudiMax — Lehre

Self Assessment Test für Informatik. Als Hilfestellung zur Wahl des Studiums und als Unterstützung zur realistischen Selbsteinschätzung, bietet die TU Wien nun auch für das Studium der Informatik einen Online-Test an.
Fr, 23. September 2011 — Lehre

August 2011

Visualization of Unsharp Data – Roads to Sharp Formulations. Hans-Christian Hege. — In the past several attempts have been made to develop techniques for visualizing fuzzy spatial and spatio-temporal data.
Mi, 24. August 2011 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Tunable Static Inference for Generic Universe Types. Dr. Werner M. Dietl. — Object ownership is useful for many applications, including program verification, thread synchronization, and memory management.
Fr, 5. August 2011 10:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Juli 2011

VisuExplore - ein Computerprogramm für den medizinischen Alltag. TU Wien, Presseaussendung 51 / 2011
Fr, 22. Juli 2011 — Forschung

Composite Modeling. Prof. Dr. Gabriele Taentzer. — Formalization and Tool Support based on the Eclipse Modeling Framework and Henshin.
Di, 5. Juli 2011 17:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

Efficient Point-Cloud Processing with Primitive Shapes. Dr. Ruwen Schnabel. — In this talk I present methods for efficient processing of point-clouds based on primitive shapes.
Fr, 1. Juli 2011 11:00 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

From Measurement to Fabrication. Assistant professor Jason Lawrence. — Data-Driven Representations of Material Appearance for Graphics and Vision.
Fr, 1. Juli 2011 10:00 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Juni 2011

Studieneingangsgespräche (STEG). Verpflichtende Studieneingangsgespräche für alle StudienanfängerInnen der Bachelorstudien der Fakultät für Informatik.
Do, 30. Juni 2011 — Lehre, News

Öffentliche Sprechstunde der Studienkommissionen Informatik und Wirtschaftsinformatik. Betreffend die Übergangsbestimmungen für die neuen Studienpläne ab dem WS2011/12.
Mi, 29. Juni 2011 10:00 –12:00 Uhr — TU Wien, Treitl Informatikhörsaal — Lehre

Informationsveranstaltung über Auslandsstudien und Stipendien. für Studierende der Fakultät für Informatik, die bereits im Masterstudium sind oder in naher Zukunft ein Masterstudium beginnen
Di, 28. Juni 2011 13:00 –15:00 Uhr — TU Wien, Zemanek-Hörsaal — Lehre

Bridging the Gap between Structural and Statistical Pattern Recognition. Horst Bunke. — The discipline of pattern recognition is traditionally divided into the statistical and the structural approach.
Mi, 22. Juni 2011 16:00 –18:00 Uhr — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Vortrag

Proving that Programs Eventually do Something Good. Dr. Byron Cook. — Software failures can be sorted into two groups: those that cause the software to do something wrong (e.g. crashing), and those that result in the software not doing something useful (e.g. hanging).
Di, 21. Juni 2011 17:00 Uhr, s.t. — TU Wien, Festsaal — Forschung, Vortrag

START-Preis 2011 für Agata Ciabattoni. Die Privatdozentin im Arbeitsbereich Theoretische Informatik und Logik des Instituts für Computersprachen erhält für ihre bisherigen wissenschaftlichen Leistungen den START-Preis des FWF.
Di, 21. Juni 2011 — Auszeichnung

Fachschaft Informatik vergibt Lehrenden-Award. F. Puntigam, B. Rengs, M. Oswald sowie H. Grünbacher wurden von den Studierenden der Fakultät für Informatik für ihre hervorragenden Unterrichtsmethoden ausgezeichnet.
Mo, 20. Juni 2011 — Lehre, Veranstaltung

Human Faces - From Acquisition towards Fabrication. Bernd Bickel. — The human face plays a critical role in almost all aspects of human interaction and face-to-face communication.
Fr, 17. Juni 2011 11:00 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Interactive Volume Illumination: Approaches and Impact. Dr. Timo Ropinski. — In recent years several interactive volumetric illumination models have been proposed.
Fr, 17. Juni 2011 10:00 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

International Conference on Computer Systems and Technologies (CompSysTech’11®). The Institute of Design and Assessment hosts the International Conference on Computer Systems and Technologies in 2011.
Do, 16. Juni – Fr, 17. Juni 2011 — TU Wien, Prechtl-Saal — Forschung, Konferenz

Human Memory in the Digital Age. Abigail Sellen. — Can computers ever completely capture our past experiences? As more and more photos, videos, documents, texts, email and Facebook content is produced, how will we see ourselves and look back on our lives in the future?
Mi, 15. Juni 2011 15:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

BPSolver's Winning Solutions to the ASP Competition Problems. Prof. Dr. Neng-Fa Zhou. — In this talk, I'll give an overview of the BPSolver team's solutions in B-Prolog to the benchmark problems used in the third ASP Solver Competition.
Mi, 15. Juni 2011 15:00 –17:00 Uhr, c.t. — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Genetic-Based Optimization in Computer Graphics and Visualization. Shigeo Takahashi. — When solving technical problems in computer graphics and visualization, we often have to tackle hard optimization problems that lead to a combinatorial explosion.
Fr, 10. Juni 2011 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

EPILOG SS 2011. Die Fakultät für Informatik präsentiert die Diplomarbeiten des letzten halben Jahres in einer Posterausstellung und ausgewählten Vorträgen und gibt einen Einblick in das breite Spektrum der Themen und Aufgabenstellungen der Abschlussarbeiten.
Do, 9. Juni 2011 15:00 –20:00 Uhr — TU Wien, Freihaus — Lehre, Veranstaltung

Preisträger des EPILOG am 9. Juni 2011. Beim EPILOG am 9. Juni 2011 wurden Sebastian Gabmeyer, Martin Leonhartsberger-Schrott und Tamas David Engel ausgezeichnet.
Do, 9. Juni 2011 — Lehre, Veranstaltung

Towards Model-Based Software Health Management. Dr. Gabor Karsai. — Complexity in embedded software systems has reached the point where we need run-time mechanisms that provide fault management services.
Mo, 6. Juni 2011 11:00 Uhr, c.t. — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

Mai 2011

“Optimal” Spilling using Integer Linear Programming. Dr. Florian Brandner. — In recent years register allocation regained lots of attention. A major insight, triggering several exciting developments, was the fact that Static Single Assignment form (SSA) provides many favorable properties that promise to simplify register allocation by splitting the problem into three separate subphases.
Fr, 27. Mai 2011 15:00 –17:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Towards Real-time Path Tracing in Games. Jacco Bikker. — Historically, graphics for games have been an important driving force in the advance of graphics hardware and rendering algorithms.
Fr, 27. Mai 2011 10:30 –12:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Design Science Research in Information Systems. Prof. Alan R. Hevner. — In this talk, Alan R. Hevner will present the current, best-practices application of DSR while also addressing future directions and extensions of the research paradigm.
Mi, 25. Mai 2011 17:00 –18:30 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Software: Design and Performance. Ass.Prof. Matthias Hauswirth. — This talk consists of two parts: the first part, based on our ECOOP'11 paper on "essence", focuses on software design, and the second part, based on our recently launched ParaBoost project, focuses on software performance.
Mi, 25. Mai 2011 15:00 –17:00 Uhr, c.t. — TU Wien, HS 8 Heinz Parkus-Hörsaal — Forschung, Vortrag

Pitfalls in System Performance Evaluation. Ass.Prof. Matthias Hauswirth. — In the last few years, researchers have identified disturbing flaws in the way that experiments are performed in computer science.
Mi, 25. Mai – Fr, 27. Mai 2011 09:00 Uhr — TU Wien, Bibliothek 185/1; TU Wien, Seminarraum Argentinierstrasse — Forschung, Vortrag

Bruno Buchberger Honorarprofessor der TU Wien. Professor Bruno Buchberger wurde auf Initiative der Fakultät für Informatik zum Honorarprofessor der TU Wien ernannt.
Mi, 25. Mai 2011 — Auszeichnung

BACHELOR-INFO. Die Informationsveranstaltung zu den Bachelorstudien der Fakultät für Informatik und den neuen Studienplänen ab dem Wintersemester 2011/12.
Di, 17. Mai 2011 15:00 –17:00 Uhr — TU Wien, EI 7 — Lehre, Veranstaltung

IMPACT 2011: 5 Jahre Sicherheitsforschung für Österreich. Prof. Dr. Stefan Katzenbeisser, Ass.Prof. Davide Balzarotti, PhD, Prof. Dr. Günther Pernul, Günther Wiesauer, CEO. — Anläßlich des fünfjährigen Bestehens von SBA Research finden Vorträge über die österreichische Sicherheitsforschung statt.
Mo, 16. Mai 2011 16:00 Uhr — Secure Business Austria (SBA) — Forschung, Veranstaltung

Program Synthesis for Automating End-User Programming and Education. Sumit Gulwani. — Recent research in program synthesis has made it possible to effectively synthesize small programs in a variety of domains.
Mi, 11. Mai 2011 16:00 –18:00 Uhr — TU Wien, Festsaal — Forschung, Vortrag

Designing Truthful Mechanisms. Dr. Angelina Vidali. — In this talk I will present my work on many different aspects of one of the most fundamental problems in algorithmic game theory, the problem of scheduling unrelated machines to minimize the makespan.
Di, 10. Mai 2011 10:00 –12:00 Uhr, s.t. — Secure Business Austria (SBA) — Forschung, Vortrag

Tangible Interfaces and Mixed Reality. Grégoire Cliquet. — A step toward digital augmented environments. In his lecture Grégoire Cliquet discusses the disappearing of boundaries between the digital and real world.
Fr, 6. Mai 2011 14:00 –23:00 Uhr, s.t. — University of Applied Arts Vienna, Hörsaal 2 — Forschung, Vortrag

ANTON: Composing Logic and Logic Composing. Dr. Marina De Vos. — ANTON is an automatic music composition system written in a declarative programming language, called AnsProlog.
Do, 5. Mai 2011 15:30 –17:30 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

University Day at the IBM System z Technical University. Possibility for students to learn more about Enterprise Systems and their role in industry worldwide - free attendance for 10 students.
Di, 3. Mai 2011 09:00 –20:00 Uhr, c.t. — Hilton Vienna Hotel — Lehre

April 2011

A Short History of Adobe Flash's JIT Compiler. Mason Chang, MSc. — The Tamarin virtual machine powers Adobe's Flash player. Tamarin's JIT compiler has gone through many experimental changes.
Fr, 29. April 2011 15:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Biologically Inspired Defenses: New Approaches to Computer Security. Prof. Dr. Michael Franz. — We are investigating compiler-generated software diversity as a defense mechanism against software attacks.
Fr, 15. April 2011 15:00 Uhr, c.t. — TU Wien, Seminarraum Argentinierstrasse — Forschung, Vortrag

Web Content Mining for Music Retrieval. Dr. Markus Schedl. — Automatically extracting information relevant to a specific topic or domain from the Web is a hot research topic, not only in traditional text-based information retrieval, but also for multimedia retrieval tasks.
Fr, 15. April 2011 10:30 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Bootstrapping Compiler Generators from Partial Evaluators. Prof. Dr. Robert Glück. — This work shows that bootstrapping of compiler generators from program specializers is a viable alternative to the third Futamura projection.
Mi, 13. April 2011 15:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

TU Wien vergibt gemeinsam mit Microsoft ein PhD-Stipendium. Im Bereich Visual Computing und Multimedia an der Fakultät für Informatik wird ein Dissertationsprojekt von Microsoft Research Cambridge (UK) finanziert.
Mi, 6. April 2011 — Course, News

The Electroacoustic Project. Drei musikalische Abendveranstaltungen im Rahmen des Electroacoustic Project an der TU Wien
Sa, 2. April – Mo, 4. April 2011 21:00 Uhr, s.t. — TU Wien, Kuppelsaal — Konzert

März 2011

World Bank Projects in Developing Countries. Pekka Makkonen. — During the academic year 2009-2010 Pekka Makkonen worked as the head of the ICT School in Afghanistan.
Do, 31. März 2011 17:00 –19:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

Spiral: Generating Efficient Programs for Emerging Parallel Platforms. Franz Franchetti from Carnegie Mellon University presents his research work about Spiral, a program and hardware design generation system for linear transforms.
Do, 31. März 2011 14:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

IBM Smart Talk zum Thema "Green Datacenter". Ziel der Veranstaltungsreihe "IBM Smart Talk" ist, die Studierenden der Fakultät für Informatik über aktuelle IT-Themen aus der Wirtschaft zu informieren und eine Möglichkeit zur gemeinsamen Reflexion zwischen Studierenden, Wissenschaft und Wirtschaft zu schaffen.
Di, 29. März 2011 16:00 –18:00 Uhr, c.t. — TU Wien, EI 9 Hlawka-Hörsaal — Lehre

Vienna PhD School of Informatics: Call for applications. The Faculty of Informatics at the Vienna University of Technology invites applicants from all countries to its Vienna PhD School of Informatics.
Fr, 25. März 2011 — News

Laura Bassi Centre of Expertise offiziell eröffnet. Seit Mitte 2010 arbeitet das Team rund um Silvia Miksch bereits aktiv an Forschungsprojekten im Bereich der Visual Analytics. Am 23. März fand der feierliche Auftakt des Zentrums statt.
Do, 24. März 2011 — Forschung, Veranstaltung

Eröffnung des Laura Bassi Centre of Expertise CVAST. Feierliche Eröffnung des Centre for Visual Analytics Science and Technology (CVAST)
Mi, 23. März 2011 16:00 Uhr, c.t. — TU Wien, Prechtl-Saal — Veranstaltung

Klarer Sieg der Austrian Kangaroos beim RoboCup Mediterranean Open 2011. Das humanoide Roboterfußballteam der TU Wien überdribbelt den Titelverteidiger in Rom.
Fr, 18. März 2011 — News

Offizieller Start des nationalen Forschungsnetzwerks RiSE. Österreichweite Zusammenarbeit der führenden WissenschafterInnen auf dem Gebiet der logischen Überprüfung von Computersystemen.
Do, 17. März 2011 — Forschung

Government Linked Data: A Tipping Point for the Semantic Web. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mo, 14. März 2011 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Cloud Computing: Joint Research Lab of the Distributed Systems Group and Pacific Controls. The "Pacific Controls Cloud Computing Research Lab" at Vienna University of Technology will be dedicated to research and development on ICT managed energy services solutions for buildings and infrastructure.
Mo, 14. März 2011 — News

Modellgetriebene Softwareentwicklung: Von formalen Graphtransformationskonzepten zu Eclipse-basierten Werkzeugen. Prof. Dr. Gabriele Taentzer. — Eine der großen Herausforderungen der heutigen Softwareentwicklung ist die Beherrschung der Komplexität von Softwaresystemen. Die Verwendung eines modellgetriebenen Ansatzes ist vielversprechend, da Modelle ein gutes Mittel zur Abstraktion sind und so die Entwickler eher in die Lage versetzt werden können, die Komplexität zu beherrschen.
Fr, 11. März 2011 15:00 –16:30 Uhr — TU Wien, Seminarraum Gödel — Forschung, Vortrag

Ivona Brandic mit dem MiA-Award 2011 für Wissenschaft & Forschung ausgezeichnet. Jährlich wird der MiA-Award an Frauen mit Migrationshintergrund für hervorragende Leistungen und Erfolge in und für Österreich vergeben.
Mi, 9. März 2011 — Auszeichnung

Termination Analysis in Service Oriented Systems. Prof. Dr. Wolf Zimmermann. — For safety and deadlock analysis of workflows, Petri-Nets are frequently used. They provide a natural abstraction of workflows since they are able to describe parallel behavior and with a variety of model checking tools, it is possible to verify these workflows.
Di, 8. März 2011 15:00 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Combining Inference and Search in Verification with CafeOBJ. Prof. Dr. Kokichi Futatsugi. — One of the most important technical issues in current system verification is how to combine inference (a la interactive theorem proving) and search (a la automatic model checking) in an effective and efficient way.
Mo, 7. März 2011 14:00 –16:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Concrete Mathematical Incompleteness. Harvey M. Friedman. — Kurt Goedel Society Lecture
Fr, 4. März 2011 18:00 Uhr — TU Wien, Festsaal — Forschung, Vortrag

BEGINNERS' WELCOME. Informationsveranstaltung der Fakultät für Informatik für alle StudienanfängerInnen im Sommerssemester 2011
Di, 1. März 2011 10:00 –12:00 Uhr, s.t. — TU Wien, Treitl Informatikhörsaal — Lehre

Februar 2011

Recent Advances in Compiler Research - Firefox's TraceMonkey and Beyond. Prof. Dr. Michael Franz. — Common to practically all compilers built over the past 50 years has been the concept of the "control flow graph", a model of a program that a compiler builds and then traverses while generating target code.
Mo, 28. Februar 2011 15:00 –17:00 Uhr, c.t. — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Vortrag

Stellenausschreibung: zwei vollbeschäftigte PostDoc-Stellen für Frauen für die Dauer von 6 Jahren. Im Rahmen einer speziellen Maßnahme der Fakultät für Informatik zur Erhöhung des Frauenanteils beim wissenschaftlichen Personal werden an der Fakultät für Informatik der Technischen Universität Wien zwei vollbeschäftigte PostDoc-Stellen für Frauen ausgeschrieben.
Fr, 25. Februar 2011 — News

Computer Vision for Augmented Reality. Prof. Vincent Lepetit. — tba
Di, 22. Februar 2011 14:15 –15:45 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

Trading Computing Infrastructure Services. Prof. Dr. Jörn Altmann. — This talk presents the design and implementation of the GridEcon Marketplace. In addition to supporting a market mechanism for trading computing resources on a pay-per-use basis, this marketplace also provides an environment for integrating value-added support services.
Mo, 21. Februar 2011 16:00 –17:45 Uhr — TU Wien, Bibliothek 184/1 — Forschung, Vortrag

Open position: FULL PROFESSOR (TENURED) at the Faculty of Informatics. The Vienna University of Technology invites applications for a full professor position (tenured) at the Faculty of Informatics.

Ehrendoktorat für Prof. A Min Tjoa. Professor A Min Tjoa, Institutsvorstand des Instituts für Softwaretechnik und Interaktive Systeme, wurde von der TU Prag der Dr.h.c. verliehen.
Do, 10. Februar 2011 — Auszeichnung

Ringvorlesung "Sustainability Challenge". Die interdisziplinäre und interuniversitäre Ringlehrveranstaltung zum Thema “Nachhaltige Entwicklung”.
Di, 8. Februar 2011 — Lehre

giTi-Tag 2011. Der giTi-Tag bildet den Informatik-Schwerpunkt der Fakultät für Informatik im Rahmen der FIT-Berufsorientierungstage für Mädchen.
Di, 1. Februar 2011 08:30 –11:15 Uhr — TU Wien, Zemanek-Hörsaal — Veranstaltung

Jänner 2011

And Logic Begat Computer Science: When Giants Roamed the Earth. Prof. Moshe Y. Vardi. — During the past fifty years there has been extensive, continuous, and growing interaction between logic and computer science. In fact, logic has been called "the calculus of computer science".
Mi, 26. Jänner 2011 17:00 –19:00 Uhr, c.t. — TU Wien, Festsaal — Forschung, Vortrag

Visual Computing Trends 2011. Symposium
Mi, 26. Jänner 2011 09:00 Uhr — Tech Gate Vienna — Konferenz

Ehrendoktorate für D. Parnas und T. Ertl. Am 25. Jänner 20111 findet die feierliche Verleihung des Ehrendoktorats der Technischen Universität Wien an Professor Dave L. Parnas sowie Professor Thomas Ertl statt.
Di, 25. Jänner 2011 11:00 Uhr — TU Wien, Festsaal — Auszeichnung

Personalization on the Web with Semantics. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mo, 24. Jänner 2011 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

EnerJ: Approximate Data Types for Safe and General Low-Power Computation. Dr. Werner M. Dietl. — Energy is increasingly a first-order concern in computer systems. Exploiting energy-accuracy trade-offs is an attractive choice in applications that can tolerate inaccuracies.
Mo, 24. Jänner 2011 11:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

On the Design and Support of OpenCL for Programming Heterogeneous Systems. DI Dr. Markus Schordan. — OpenCL is a framework for writing programs that execute across heterogeneous platforms consisting of CPUs, GPUs, and other processors. It includes a language, OpenCL C (based on C99), for writing kernels, plus APIs that are used to define and then control the heterogeneous platform.
Fr, 21. Jänner 2011 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Semantic Web. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mo, 17. Jänner 2011 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

PhD and Postdoc positions in Rigorous Systems Engineering. The positions are within the RiSE project, a National Research Network funded by the Austrian National Science Foundation (FWF) on the topic of Rigorous Systems Engineering.

Dezember 2010

CANCELLED: The relevance of Enterprise Ontology for e-Commerce. Due to current european weather conditions the presentation of today (Jan Dietz, The Relevance of Enterprise Ontology) has to be cancelled!
Mo, 20. Dezember 2010 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

A metric approach to shape comparison via multidimensional persistence. Patrizio Frosini. — In this talk we motivate the central role of the so-called natural pseudo-distance in multidimensional persistent topology, and present some new results concerning the computation of lower bounds for this pseudo-distance.
Fr, 17. Dezember 2010 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

WIT-Kolloquium: Execution, Debug and Analysis of QVT-Relations Transformations through Coloured Petri Nets. Pro. Dr. Esther Guerra Sanchez. — QVT is the standard language sponsored by the OMG to specify model-to-model transformations.
Do, 16. Dezember 2010 16:00 –18:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

Studienbeginn neu: Studieneingangsgespräche für alle StudienanfängerInnen der Informatik und Wirtschaftsinformatik an der TU Wien. Die Fakultät für Informatik der Technischen Universität Wien gestaltet ab dem Sommersemester 2011 den Studienbeginn nach internationalen Vorbildern völlig neu: Künftig müssen alle Studieninteressierten noch vor bzw. zu Beginn ihres Studiums ein Motivationsschreiben verfassen, sowie mit einem Team von zwei ProfessorInnen der Fakultät ein 20minütiges Studieneingangsgespräch führen.
Do, 16. Dezember 2010 — Lehre

Developing personalized digital behaviour interventions. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mo, 13. Dezember 2010 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Automata-Based Analysis of Recursive Programs with Thread-Creation. Prof. Dr. Markus Müller-Olm. — We survey work on automata-based optimal analysis of programs with thread-creation and potentially recursive procedures.
Fr, 10. Dezember 2010 15:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Microsoft Phone 7 Event - App Development. Veranstaltung für Studierende zur App-Entwicklung auf Windows Phone 7
Do, 9. Dezember 2010 17:30 –19:30 Uhr, s.t. — TU Wien, EI 3 Sahulka-Hörsaal — Workshop

Energy aware computing. Georges Da Costa. — ICT consumes a lot electrical energy. Worldwide, its carbon footprint is roughly equivalent of the one of aeronautics.
Do, 9. Dezember 2010 15:00 Uhr — TU Wien, Bibliothek 184/1 — Forschung, Vortrag

Governance of e-commerce and cyberspace. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mo, 6. Dezember 2010 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Combining Virtual Reality and Genetics to Understand the Fruit Fly Brain. Andrew Straw. — A fundamental question in neuroscience is how simultaneous, distributed activity across the nervous system orchestrates animal-environment interaction to produce adaptive behavior.
Fr, 3. Dezember 2010 10:30 –12:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Preisträgerinnen und Preisträger des EPILOG vom 2. Dezember 2010. Beim EPILOG am 2. Dezember 2010 wurden Magdalena Widl, Rainer Planinc, Ernst Schwartz sowie Reinhold Preiner ausgezeichnet.
Fr, 3. Dezember 2010 — Lehre, News

Erstmalige Vergabe des Lehrenden Award 2010. Beim EPILOG am 2. Dezember 2010 wurde zum ersten mal der Lehrenden Award von der Fachschaft Informatik vergeben. Ausgezeichnet wurden Christian Huemer, Wolfgang Kastner, Markus Haslinger sowie Peter Purgathofer.
Fr, 3. Dezember 2010 — Lehre, News

EPILOG im Wintersemester 2010/11. Die Fakultät für Informatik präsentiert zwei mal pro Jahr die Diplomarbeiten des letzten halben Jahres in einer Posterausstellung und ausgewählten Vorträgen und gibt einen Einblick in das breite Spektrum der Themen und Aufgabenstellungen der Abschlussarbeiten.
Do, 2. Dezember 2010 15:00 –20:00 Uhr, s.t. — TU Wien, FH Hörsaal 6 — Lehre, Veranstaltung

(W)INF- 2011 Exkursion. Von 13. bis 18. Februar 2011 veranstaltet die Wirtschaftsinformatik gemeinsam mit der OCG eine Exkursion für ca. 50 Wirtschaftsinformatik- und Informatik-Studierende der TU Wien.
Mi, 1. Dezember 2010 — Lehre

November 2010

Interactive Tools for Translational Bioinformatics: Preliminary Lessons from the FaceBase Coordination and Management Hub. Harry Hochheiser. — Translational science challenges biomedical researchers to establish broader collaborations involving increasingly diverse data and scientific perspectives, with the goal of using basic research to advance clinical practices.
Di, 30. November 2010 13:00 Uhr, s.t. — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Towards a Distributed Search Engine. Ricardo Baeza-Yates. — In the ocean of Web data, Web search engines are the primary way to access content.
Di, 30. November 2010 11:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

The Electroacoustic Project. The Space Of Sound II
So, 28. November 2010 21:00 Uhr — TU Wien, Kuppelsaal — Konzert

The Electroacoustic Project. Annette Vande Gorne interpretiert eigene Werke am EAPAcousmonium
Sa, 27. November 2010 21:00 Uhr — TU Wien, Kuppelsaal — Konzert

Web Information Extraction - Acquiring Structured Information from Websites. Birgit Pröll. — Information extraction (IE) is commonly defined as extracting structured data out of unstructured data, as it is provided, e.g., in textual documents.
Di, 23. November 2010 11:00 Uhr — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Understanding what consumers do online: contributions of consumer behavior research to web science. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mo, 22. November 2010 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Precise Software Documentation. David Lorge Parnas. — Part II
Do, 18. November 2010 14:00 –18:00 Uhr — TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Vortrag

Precise Software Documentation. David Lorge Parnas. — Part I
Mi, 17. November 2010 14:00 –18:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal; TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Vortrag

DBL Interactive – A new online tool for Bringing Bayesian Networks to the world. Dr. Carl Smith. — Bayesian networks are a form of artificial intelligence, and over the past decade, their popularity has increased across a number of disciplines.
Do, 11. November 2010 18:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Optimal Gradient Clock Synchronization in Dynamic Networks. Christoph Lenzen. — In the clock synchronization problem, on seeks to keep devices in a communication network as closely synchronized as possible in face of drifting clocks and unknown message transmission times.
Do, 11. November 2010 16:00 Uhr — TU Wien, FH Hörsaal 3 — Forschung, Vortrag

IBM Smart Talk zum Thema Cloud Computing. Rückblick auf den Start der neuen Veranstaltungsreihe in Kooperation mit IBM
Di, 9. November 2010 — News

Ontological foundations of services as socio-technical systems. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mo, 8. November 2010 17:00 –19:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Vortrag

Cost-effective Feature Enhancement for Volume Datasets. Jose Díaz. — Volume models often show high complexity. Local details and overall shape may sometimes be difficult to perceive.
Fr, 5. November 2010 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

IBM Smart Talk zum Thema Cloud Computing. Ziel der neuen Veranstaltungsreihe "IBM Smart Talk" ist, die Studierenden der Fakultät für Informatik über aktuelle IT-Themen aus der Wirtschaft zu informieren und eine Möglichkeit zur gemeinsamen Reflexion zwischen Studierenden, Wissenschaft und Wirtschaft zu schaffen.
Do, 4. November 2010 18:00 –20:30 Uhr, c.t. — TU Wien, EI 8 Pötzl-Hörsaal — Lehre

Ehrendoktorat für W. Purgathofer. Werner Purgathofer vom Institut für Computergraphik und Algorithmen wurde von der Technische Universität von Iasi (RO) der Doktor h.c. verliehen.

Oktober 2010

Exploiting Coherence in Lighting and Shading Computations. Robert Herzog. — Computing realistic lighting and shading in virtual scenes becomes increasingly attractive even for real-time applications nowadays. It delivers important cues in the perception of 3D virtual scenes, which is important for material and architectural design.
Fr, 22. Oktober 2010 10:30 –12:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

New Doctoral Programme "Mathematical Logic in Computer Science". 10 PhD student positions within the doctoral programme available

Playing Speakers II. The Electroacoustic Project
So, 10. Oktober 2010 20:00 Uhr — TU Wien, Prechtl-Saal — Konzert

Playing Speakers I. The Electroacoustic Project
Sa, 9. Oktober 2010 20:00 Uhr — TU Wien, Prechtl-Saal — Konzert

"Best Paper"-Awards für den Arbeitsbereich Database and Artificial Intelligence. Über gleich zwei Best-Paper Awards auf internationalen Konferenzen freuen konnte sich der Arbeitsbereich Database and Artificial Intelligence des Instituts für Informationssysteme.
Di, 5. Oktober 2010 — Auszeichnung

BEGINNERS' DAY der Fakultät für Informatik. Der BEGINNERS' DAY ist eine Infoveranstaltung für alle Studienanfängerinnen und Studienanfänger in den Informatik-, Wirtschaftsinformatik- und Lehramtsstudien. Hier erhalten Sie die wichtigsten Infos für einen guten Start ins Studium!
Fr, 1. Oktober 2010 10:00 Uhr — Veranstaltung

September 2010

Informationsveranstaltung zu den Kernfachkombinationen der Wirtschaftsinformatik. Bei dieser Veranstaltung können sich Studierende der Wirtschaftsinformatik über Angebot an Kernfachkombinationen (KFKs) informieren.
Di, 28. September 2010 14:00 –17:15 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Veranstaltung

Typeless Programming in Java 5 and 7. Prof. Dr. Martin Plümicke. — With the introduction of Java 5 the type system has been extended by parameterized types, type variables, type terms, and wildcards.
Mo, 20. September 2010 15:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

What a meta-circular JVM buys you - and what not!. Doug Simon. — Since the open source release of the Maxine VM, it has progressed to the point where it can now run application servers such as Glassfish and WebLogic.
Mo, 20. September 2010 11:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

Principles and Practice of Programming in Java (PPPJ 2010). The 8th International Conference on the Principles and Practice of Programming in Java will bring together researchers, teachers, practitioners and programmers who study or work with the Java language or its virtual machine.
Mi, 15. September – Fr, 17. September 2010 — TU Wien, Prechtl-Saal — Konferenz

PACT 2010: Parallel Architectures and Compilation Techniques. The International Conference on Parallel Architectures and Compilation Techniques (PACT) is the premier international forum for the presentation of research results in parallel computing.
Sa, 11. September – Mi, 15. September 2010 — Österreichische Akademie der Wissenschaften — Konferenz

Parfait - Scalable and Precise Static Analysis for Bug Checking. Lian Li, Ph.D.. — Parfait is a static bug checking framework developed at Sun Labs, Oracle.
Fr, 10. September 2010 11:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

Mobile Agent-based Distributed Query Processing in Data Grid Systems. Abdelkader Hameurlain. — Since ten years, the Grid systems are hot research topics. Recently, the Grid systems open towards the management of heterogeneous and distributed data on a large-scale environment.
Mi, 8. September 2010 10:30 Uhr — TU Wien, Seminarraum 188/2 — Vortrag

Layered Composition of Data-Enriched Real-Time Systems. M. Techn. Mani Swaminathan. — We investigate techniques that aim at easier verification of data-enriched real-time systems, modelled as networks of extended timed automata (ETA).
Di, 7. September 2010 10:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

August 2010

Schaefer's Theorem for Graphs. Manuel Bodirsky. — Schaefer's theorem is a complexity classification result for Boolean constraint satisfaction problems.
Di, 31. August 2010 16:00 –17:00 Uhr — TU Wien, Seminarraum Gödel — Vortrag

Juli 2010

6th International Workshop on Automated Specification and Verification of Web Systems (WWV 2010). WWV is a yearly workshop that aims to provide an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that combine Rule-based programming, Automated software engineering, and Web-oriented research.
Fr, 30. Juli – Sa, 31. Juli 2010 — TU Wien, Bibliothek 185/1 — Vortrag

Open position: Full Professor (tenured) of Dependable Systems. The Vienna University of Technology (TU Vienna) announces a position of a full professor (tenured, successor of Hermann Kopetz) of "Dependable Systems".
Mo, 12. Juli 2010 — News

OCG Förderpreis 2010 geht an Dietmar Schabus. Diplomarbeit mit dem Förderpreis der Oesterreichischen Computer Gesellschaft ausgezeichnet.
Fr, 9. Juli 2010 — News

15th Workshop on Compilers for Parallel Computing (CPC 2010). The Compilers for Parallel Computing Workshop is a venue for researchers in the area of parallel compilation to meet and present their latest research activities and results.
Mi, 7. Juli – Fr, 9. Juli 2010 — TU Wien, Kontaktraum — Workshop

10th International Conference on Web Engineering. ICWE 2010 provides an exciting program spanning from model-driven Web ngineering to social software, from scientific research to innovative industrial applications, from world-renowned keynote speakers to scholarly tutorial presentations.
Mo, 5. Juli – Fr, 9. Juli 2010 — Vienna University of Technology, Main Building — Konferenz

IllustraSound: Novel Methods for Visualization of Couinaud Liver Segmentation. Ivan Viola. — During liver examinations with ultrasound often a segmentation into eight Couinaud segments is facilitated to organize the spatial relation between diagnostically relevant anatomical and pathological features.
Fr, 2. Juli 2010 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

Juni 2010

Applied Biostatistics and Informatics in Medicine/Angewandte Biostatistik und Informatik in der Medizin. Prof. Andrea Berghold. — Biostatistik und Informatik sind von essentieller Bedeutung für die klinische Forschung und Routine.
Di, 29. Juni 2010 11:00 Uhr — TU Wien, Seminarraum 183/2 — Vortrag

Austrian Kangaroos sind Dribbling-Weltmeister. Gute Performance der humanoiden Robokicker beim Robocup 2010
Di, 29. Juni 2010 — News

Fakultät für Informatik gewinnt drei Förderprojekte beim IKT Call 2010 des WWTF. Beim IKT Call 2010 des Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) werden die von der Jury zur Förderung empfohlenen 10 Projekte mit einer Gesamtsumme von 5,111 Mio. EUR gefördert. Fünf von insgesamt zehn geförderten Projekten gehen an die TU Wien, davon drei an die Fakultät für Informatik.
Do, 24. Juni 2010 — News

Cascaded Light Propagation Volumes for Real-Time Indirect Illumination. Anton Kaplanyan. — This paper introduces a new scalable technique for approximating indirect illumination in fully dynamic scenes for real-time applications, such as video games.
Fr, 18. Juni 2010 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

EPILOG im Sommersemester 2010. DiplomandInnen. — Die Fakultät für Informatik präsentiert zwei mal pro Jahr die Diplomarbeiten des letzten halben Jahres in einer Posterausstellung und ausgewählten Vorträgen und gibt einen Einblick in das breite Spektrum der Themen und Aufgabenstellungen der Abschlussarbeiten.
Do, 10. Juni 2010 15:00 Uhr — TU Wien, FH Hörsaal 5 — Lehre

Preisträgerinnen und Preisträger des EPILOG vom 10. Juni 2010. Beim EPILOG am 10. Juni 2010 wurden Emanuel Sallinger, Gabriele Schneglberger, Markus Seidl sowie Theresia Gschwandtner ausgezeichnet.
Do, 10. Juni 2010 — News

Parametric WCET Analysis. Prof. Dr. Björn Lisper. — The purpose of Worst-Case Execution Time (WCET) analysis is to compute a safe upper bound to the execution time of a sequential program executing uninterrupted on some given hardware.
Mi, 9. Juni 2010 16:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

Visual Perception System for Human-robot Interaction and Mobile Robotic Navigation. Dr. Antonio Bandera. — A key area in robotics research is concerned with developing social robots for assisting people in everyday tasks.
Mo, 7. Juni 2010 17:00 Uhr, c.t. — TU Wien, EI 10 Fritz Paschke-Hörsaal — Vortrag

From High-performance Computing to Embedded Systems - A Quest for Many-core Computing. Dr. Raimund Kirner. — Programming concurrent systems has the inherent complexity of controlling the parallel computation, either seen as control flow or as data flow.
Fr, 4. Juni 2010 14:00 Uhr, c.t. — TU Wien, Bibliothek 185/1 — Vortrag

Creating Innovations that Matter. Prof. Desai Narasimhalu. — We have seen many innovations fail and a few succeed. The talk will share with the audience the key findings from his 35 years of innovation and innovation management practice.
Mi, 2. Juni 2010 17:00 –18:30 Uhr — TU Wien, Zemanek-Hörsaal — Vortrag

Announcement of an open position: Full Professor (tenured) of Dependable Systems. The open position and its research group are affiliated with the Institute of Computer Engineering. The professor is expected to maintain the leading role of this institute in the international domain of dependable embedded-systems research in the next decades.
Mi, 2. Juni 2010 — News

Mini-Symposium on Algorithms and Knowledge Representation. Talks: Online Algorithms for Packet Routing in Lines and Grids | Representing Preferences Among Sets | Learning semantic representations of words and sentences using inverse lambda: using answer set programming as a target language
Di, 1. Juni 2010 14:00 Uhr — TU Wien, Kontaktraum — Vortrag

Robocup Workshop 2010. Fifth Austrian Robocup Workshop in Vienna
Di, 1. Juni – Mi, 2. Juni 2010 10:00 –18:00 Uhr, s.t. — Workshop

Von Hadrian zum Telemax - die kleine Welt der Entschärfungsroboter. Ing. John Eberhardt. — Nach einer einf¨uhrenden Darstellung der Tätigkeit des Entschärfungsdienstes wird der Vortrag einen Überblick über spezifische Einsatzgebiete und Anwendungen von Robotern im Entschärfungsumfeld geben.
Di, 1. Juni 2010 10:00 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

Mai 2010

The Foliation Method: Recent Results in Multidimensional Persistent Topology. Andrea Cerri. — Persistent Topology studies stable properties of topological spaces by analyzing the lower level sets of suitable functions, called filtering functions, and encoding the arising information in a parameterized version of the Betti numbers.
Fr, 28. Mai 2010 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

Business TUnITe. Das Forum für Studierende, Lehrende und Wirtschaft
Mi, 26. Mai 2010 18:30 Uhr — TU Wien, Zemanek-Hörsaal — Veranstaltung

Antrittsvorlesungen S. Szeider und H. Veith. Prof. Dr. Stefan Szeider, Prof. Dr. Helmut Veith. — "Neue multivariate Methoden für algorithmische Probleme der Computational Intelligence" und "Logik gegen Computerfehler"
Mi, 26. Mai 2010 16:00 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Veranstaltung, Vortrag

View Synthesis from Schema Mappings. Diego Calvanese. — In data management, and in particular in data integration, data exchange, query optimization, and data privacy, the notion of view plays a central role.
Mi, 26. Mai 2010 11:00 Uhr — TU Wien, Seminarraum Gödel — Vortrag

Georg Gottlob neuer Fellow der britischen Royal Society. Der Wiener Informatiker und Logiker Georg Gottlob, derzeit Professor an der Universität Oxford sowie an der Fakultät für Informatik der Technischen Universität Wien, wurde am 20. Mai zum Fellow of the Royal Society gewählt.
Fr, 21. Mai 2010 — News

Triconsult Preis für innovative Marktforschung geht an SEMAMO. Das Pilotprojekt „Semantic Market Monitoring – SEMAMO“ zur online-Marktforschung des Wiener Kompetenzzentrums EC3 in Kooperation mit der Fakultät für Informatik, E-Commerce Group und der Lixto GmbH wurde mit dem TIM 2010 ausgezeichnet.
Fr, 21. Mai 2010 — News

bachelorinfo. Die Informationsveranstaltung zu den Bachelorstudien der Fakultät für Informatik
Di, 18. Mai 2010 15:00 –17:00 Uhr, s.t. — TU Wien, EI 9 Hlawka-Hörsaal — Lehre

Automatic Verification of Concurrent Programs in Chalice. Prof. Dr. Peter Müller. — Advanced multi-threaded programs apply concurrency concepts in sophisticated ways.
Di, 18. Mai 2010 15:00 Uhr, c.t. — TU Wien, Seminarraum Argentinierstrasse — Vortrag

Introduction to the TTEthernet Synchronization Services and Report on the Formal Methods applied. Wilfried Steiner. — TTEthernet is a communication infrastructure for mixed-criticality systems that integrates dataflow from applications with different criticality levels on a single network.
Di, 11. Mai 2010 16:30 Uhr — TU Wien, Kuppelsaal — Vortrag

Agiler Haptik-Check für Sprachentwürfe - Vorzüge und Herausforderungen moderner Language Workbenches. Dr. Axel Uhl. — Es gibt Software-Entwicklungsprojekte, in denen zur Steigerung der Entwicklungseffizienz sowie zur langlebigeren Gestaltung der Software über die Entwicklung spezifischer, sogenannter domänenspezifischer Sprachen, nachgedacht wird.
Do, 6. Mai 2010 17:00 –19:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Vortrag

Impact 2010. Auftaktveranstaltung von Secure Business Austria zum Start des neuen Kompetenzzentrums im Rahmen des COMET Forschungsförderungsprogrammes
Do, 6. Mai 2010 16:00 Uhr — Secure Business Austria (SBA) — Veranstaltung

April 2010

3D Geometry: Analysis and Manipulation. Dr. Niloy J. Mitra. — In this talk, I will describe shape analysis techniques, specially for detecting object symmetry, i.e., invariance under the action of certain transformations. Such self-similarity is often related to form, function, utility and aesthetics.
Fr, 30. April 2010 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

How to Assign Papers to Referees. Miki Hermann. — The problem to assign papers to referees gained a considerable interest in the recent years, especially in the scope of conference management systems.
Mi, 28. April 2010 17:00 –18:00 Uhr — TU Wien, Seminarraum Gödel — Vortrag

Visibility in video games. Ari Silvennoinen, Otso Mäkinen. — In this talk we present an ensemble of common visibility algorithms found in modern video games.
Di, 27. April 2010 14:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

The Next Challenge for Visibility Algorithms: Interactive Sound Rendering. Dinesh Manocha. — Visibility algorithms have been extensively studied in computer graphics and geometric computation.
Di, 27. April 2010 13:00 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

Top Ergebnis der "Austrian Kangaroos" bei den German Open. Wiens erstes humanoides Roboterfußballteam erkämpft sich bei den RoboCup German Open 2010 den dritten Platz.
Di, 20. April 2010 — News

The Electroacoustic Project. Mehrkanalaufführung im Kuppelsaal der TU Wien
Sa, 17. April 2010 21:00 Uhr — TU Wien, Kuppelsaal — Konzert

Computational Models of Argumentation for Richer Logics. Anthony Hunter. — Abstract argumentation provides a natural starting point for modelling argumentation. In abstract argumentation, a graph is used to represent a constellation of arguments and the conflict between them. Each argument is represented by a node, and the attack of one argument on another is represented by a directed arc.
Do, 15. April 2010 12:15 Uhr — TU Wien, Seminarraum 186 — Vortrag

The Need for a Re-Definition of Web Engineering Based on Web Science. Bebo White. — Since its emergence as a research topic in the mid-1990’s, Web Engineering has struggled to comprehensively define itself.
Do, 15. April 2010 11:00 –13:00 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

Mereologies in Computing Science. Prof. Dr. Dr.h.c. Dines Bjørner. — Mereology is the study, knowledge and practice of part-hood relations: of the relations of part to whole and the relations of part to part within a whole. By parts we shall here understand simple entities -- of the kind illustrated in this talk.
Mi, 14. April 2010 17:00 Uhr, c.t. — TU Wien, EI 10 Fritz Paschke-Hörsaal — Vortrag

Neues Christian Doppler Labor an der Fakultät für Informatik eröffnet. Rückblick auf die feierliche Eröffnung des neuen Christian Doppler Labors 'Software Engineering Integration für Flexible Automatisierungssysteme' am 12. April 2010.
Di, 13. April 2010 — Forschung, News

Eröffnung Christian Doppler Labor. Software Engineering Integration für Flexible Automatisierungssysteme
Mo, 12. April 2010 17:00 Uhr, s.t. — TU Wien, Boecklsaal — Forschung, Veranstaltung

From Domains to Requirements. Prof. Dr. Dr.h.c. Dines Bjørner. — The aim of the course is to cover a number of “front-of-the-wave” software engineering topics
Mo, 12. April – Fr, 30. April 2010 09:00 –11:00 Uhr, s.t. — Course

Neues Christian Doppler Labor „Software Engineering Integration für flexible Automatisierungssysteme“. Im neuen Christian Doppler-Labor an der Technischen Universität (TU) Wien arbeiten InformatikerInnen und ElektrotechnikerInnen fachbereichsübergreifend an der Optimierung von Entwicklungsumgebungen für moderne Automatisierungssysteme. Anhand industrieller Aufgabenstellungen wird an Ansätzen zur verbesserten technischen und semantischen Integration von Software-Werkzeugen und Datenmodellen geforscht.
Do, 8. April 2010 — Forschung, Presse

März 2010

Antrittsvorlesung / Inaugural Lecture Geraldine Fitzpatrick. Prof. Dr. Geraldine Fitzpatrick. — Designing technology that works - putting people first
Di, 23. März 2010 17:00 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

A High-Performance Arbitration Scheme for EtherCAT. Prof. Gianluca Cena. — EtherCAT is a popular Ethernet-based solution conceived for connecting devices at the shop-floor in automated factory environments. At present, it is probably the industrial Ethernet solution featuring the highest degree of communication efficiency.
Fr, 12. März 2010 11:00 –12:00 Uhr, s.t. — Seminarraum Technische Informatik — Vortrag

Stellenausschreibung: zwei vollbeschäftigte PostDoc-Stellen für Frauen. Im Rahmen einer speziellen Maßnahme der Fakultät für Informatik zur Erhöhung des Frauenanteils beim wissenschaftlichen Personal werden an der Fakultät für Informatik der Technischen Universität Wien zwei vollbeschäftigte PostDoc-Stellen für Frauen ausgeschrieben.
Mi, 10. März 2010 — News

Vienna PhD School of Informatics: Call for applications. The Faculty of Informatics at the Vienna University of Technology invites applicants from all countries to its Vienna PhD School of Informatics.
Mi, 10. März 2010 — News

Adaptive Learning Methods in Internet-Education. Theory and practice. Prof. Dr. Galina S. Kurganskaya. — Internet-learning should support new quality of education. The KFS (Knowledge Flow Structure) model of knowledge representation, developed by author allows to create individual, flexible, interactive, hypermedia Internet - course and organize effective, adaptive Internet-learning.
Mo, 8. März 2010 17:00 –18:00 Uhr, s.t. — TU Wien, Bibliothek 187/2 — Vortrag

Visual Exploration of MR Data and Simulated Bloodflow for Diagnosis of Vascular Diseases. Prof. Bernhard Preim. — Based on specific problems, in neuroradiological diagnosis and interventional treatment, the talk describes a pipeline of processing steps from medical image data to reliable blood flow simulation results.
Fr, 5. März 2010 10:30 –11:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

BeSt³ - Messe für Beruf, Studium und Weiterbildung. Die Fakultät für Informatik ist vom 4. - 7. März am Stand der TU Wien auf der BeSt³ in der Wiener Stadthalle vertreten.
Do, 4. März – So, 7. März 2010 09:00 –18:00 Uhr, s.t. — Wiener Stadthalle — Veranstaltung

beginners' info im Sommerssemester 2010. Informationsveranstaltung für alle StudienanfängerInnen im Sommerssemester 2010.
Mo, 1. März 2010 10:00 –12:00 Uhr, s.t. — TU Wien, Treitl Informatikhörsaal — Lehre

Februar 2010

Interactive Image Segmentation: Research & Product. Dr. Carsten Rother. — Interactive image segmentation is the task of extracting an object from an image with as few user interactions as possible.
Mo, 15. Februar 2010 10:00 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

The Electroacoustic Project präsentiert S*CARGO. Elektroakustische Musik und Tanz
Di, 9. Februar – So, 14. Februar 2010 20:00 –13:00 Uhr, s.t. — TU Wien, Kuppelsaal — Konzert

Bundesministerin Karl besucht „Sparkling Science“-Projekt „Sparkling Fingers“.. Sparkling Fingers ist ein Forschungsprojekt der TU Wien, eine Kooperation des Instituts für Gestaltungs- und Wirkungsforschung mit dem Institut "integriert studieren", dem Schulzentrum Ungargasse sowie dem Bundes-Blindenerziehungsinstitut.

Jänner 2010

giTi-Tag 2010. Der giTi-Tag bildet den Informatik-Schwerpunkt der Fakultät für Informatik im Rahmen der FIT-Berufsorientierungstage für Mädchen.
Di, 26. Jänner 2010 08:30 –11:15 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Lehre

Computational Persuasive Systems for Small Groups in a Museum. Oliviero Stock. — Trends in e-Commerce | Public Lecture in Business Informatics
Mo, 25. Jänner 2010 17:00 –18:30 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

Modular Verification of Shared-Memory Concurrent Systems Software. Prof. Alan Hu, Ph.D.. — In this talk, I will give an overview of the main software verification research in my group right now, by my student Zvonimir Rakamaric.
Fr, 22. Jänner 2010 15:00 –16:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

Algorithmic Game Theory or How Web Search Engines Make Money. Univ. Prof. Monika Henzinger. — algorithmic game theory, a new research field
Mi, 20. Jänner 2010 09:30 Uhr — TU Wien, Zemanek-Hörsaal — Vortrag

Innovative Methods for Service Engineering and Management. Rudi Studer. — Trends in e-Commerce | Public Lecture in Business Informatics
Mo, 18. Jänner 2010 17:00 –18:30 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

Photorealistic Techniques in Gemstone Rendering. Peter Sikachev. — Real-time photorealistic gemstone rendering has recently become a demanded field. Diamond CAD modeling is widely used for creating new diamond cuts.
Fr, 15. Jänner 2010 10:30 Uhr, s.t. — TU Wien, Seminarraum 186 — Vortrag

Quality of data and Quality of Services, how far are they?. Andrea Maurino. — Data quality if a very well known and studied research field in both academic and industrial community.
Fr, 15. Jänner 2010 10:00 –11:00 Uhr, s.t. — TU Wien, Seminarraum 184/2 — Vortrag

Formal Verification of Microcontroller Assembly Code. Dr. Bastian Schlich. — This talk will cover different formal verification techniques for microcontroller assembly code.
Mi, 13. Jänner 2010 15:30 –16:30 Uhr, c.t. — TU Wien, EI 8 Pötzl-Hörsaal — Vortrag

From Digital Business to Digital Society. Paul Timmers. — Trends in e-Commerce | Public Lecture in Business Informatics
Mo, 11. Jänner 2010 17:00 –18:30 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

Dezember 2009

Empirical Data-Driven Modeling for Dependability Enhancement. Prof. Miroslaw Malek. — We introduce three major “tyrants,” namely, complexity, time, and unpredictability, and conclude that because of them dependability is and will continue to be a permanent challenge.
Fr, 18. Dezember 2009 13:15 –14:00 Uhr, s.t. — TU Wien, Vortragsraum der Bibliothek — Vortrag

The Lissom Project - System for HW/SW Co-Design. Prof. Tomás Hruska, CSc.. — The Lissom project runs at Brno University of Technology, Faculty of Information Technology, Czech Republic.
Fr, 18. Dezember 2009 10:00 –12:00 Uhr, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

Searching Lifelong Learner Metadata Using Query Approximation and Relaxation. Alexandra Poulovassilis. — Trends in e-Commerce | Public Lecture in Business Informatics
Mo, 14. Dezember 2009 17:00 –18:30 Uhr, s.t. — TU Wien, Zemanek-Hörsaal — Vortrag

Programming as a Model for the Theory of Ecosystems. Dr. Baltasar Trancón y Widemann. — In the course of their evolution, environmental sciences have adopted the research programme of classical physics with the paradigm of mechanistic dynamic systems mostly without critical questioning.
Mo, 14. Dezember 2009 16:30 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

The Synergy of Precise and Fast Abstractions for Program Verification. Natasha Sharygina. — Predicate abstraction is a powerful technique to reduce the state space of a program to a finite and affordable number of states. It produces a conservative over-approximation where concrete states are grouped together according to the predicates.
Mo, 14. Dezember 2009 11:00 Uhr — TU Wien, Seminarraum 185/2 — Vortrag

Erfolg beim internationalen Hacker-Contest „Capture the Flag“. Das Team „We_0wn_YOu“ von Studierenden des Secure Systems Labs (SecLab) am Instituts für rechnergestützte Automation erzielt den zweiten Platz unter 56 weltweit teilnehmenden Teams.
Mo, 14. Dezember 2009 — Lehre

The Electro Acoustic Project - AT ITS BEST. STYX - Eine Fuge in Klängen und Bildern für vier Projektionen und vier Lautsprechersysteme (1983-85)
So, 13. Dezember 2009 20:00 –23:00 Uhr, s.t. — TU Wien, Kuppelsaal — Konzert

The Electro Acoustic Project - AT ITS BEST. STYX - Eine Fuge in Klängen und Bildern für vier Projektionen und vier Lautsprechersysteme (1983-85)
Sa, 12. Dezember 2009 21:00 –23:00 Uhr, s.t. — TU Wien, Kuppelsaal — Konzert

MPII Building Model as Data for Your Research. Vlastimil Havran. — In this talk I present the project of the virtual reconstruction of Max-Planck-Institute for Informatics (MPII) building in Saarbruecken.
Fr, 11. Dezember 2009 11:00 –13:00 Uhr, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Multimodal Visualization with Interactive Closeups. Ivan Viola. — Closeups are used in illustrations to provide detailed views on regions of interest. In this talk we discuss the concept of interactive closeups for medical reporting.
Fr, 11. Dezember 2009 10:00 Uhr — TU Wien, Seminarraum 186 — Forschung, Vortrag

International führender Wissenschafter im Bereich Hard- und Software Verifikation an die TU Wien berufen.. Mit Prof. Helmut Veith ist es der Fakultät für Informatik der Technischen Universität Wien (TU Wien) gelungen, einen hochkarätigen Wissenschafter auf dem Gebiet der Hard- und Software Verifikation von der TU Darmstadt nach Wien zu holen.
Fr, 11. Dezember 2009 — Presse

Content Award für Informatikstudenten. Das Computerspiel „And Yet It Moves“ ist Sieger in der Kategorie Games und wurde mit dem mit 5.000 Euro dotierten Content Award des ZIT ausgezeichnet.
Mi, 9. Dezember 2009 — Auszeichnung, Lehre

8. PAULI KOLLOQUIUM. Univ. Prof. Monika Henzinger, Thomas Eiter. — Das Wolfgang Pauli Institut lädt zum 8. Pauli Kolloquium ein
Fr, 4. Dezember 2009 15:00 –18:30 Uhr, s.t. — Hörsaal 3 im UZA2 — Vortrag

EPILOG im Wintersemester 2009. DiplomandInnen. — Die Fakultät für Informatik präsentiert zwei mal pro Jahr die Diplomarbeiten des letzten halben Jahres in einer Posterausstellung und ausgewählten Vorträgen und gibt einen Einblick in das breite Spektrum der Themen und Aufgabenstellungen der Abschlussarbeiten.
Do, 3. Dezember 2009 15:00 Uhr — TU Wien, FH Hörsaal 6 — Forschung, Lehre, Presse

Understanding Our Digital Universe: Unleashing Natural Forces. Dr. Michael L. Brodie. — The emergence of our Digital Universe and its impact on and potential for our world raises the challenge to aspire to the principles of Web Science to work collaboratively across relevant disciplines to create digital worlds that contribute to improving our world.
Do, 3. Dezember 2009 11:00 –13:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung

Preisträger des EPILOG vom 3. Dezember 2009. Beim EPILOG am 3. Dezember 2009 wurden Thomas Polzer, Viktor Pavlu, Alexander Kusternig sowie Peter Kalchgruber ausgezeichnet.
Do, 3. Dezember 2009 — Auszeichnung, Lehre

November 2009

Rendering and Beyond: Applications of GPUs. Prof. Marc Stamminger. — In the last decade, the computational power of GPUs developed rapidly and exceeded Moore's law. A high number of cores, wide SIMD parallelism and hyperthreading result in enormous peak performance.
Fr, 27. November 2009 10:00 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

DrupalCamp Vienna. The DrupalCamp Vienna is Austria's first conference to connect the active Drupal open source community with local business, designers and developers.
Fr, 27. November – Sa, 28. November 2009 08:00 Uhr — Lehre

OCG Förderpreis 2009 geht an Thomas Krennwallner. Diplomarbeit mit dem Förderpreis der Oesterreichischen Computer Gesellschaft ausgezeichnet.
Do, 26. November 2009 — Auszeichnung, Lehre

Stellungnahme zu Studierendenprotesten. Die Fakultät für Informatik der TU Wien unterstützt die Forderung der protestierenden Studierenden nach mehr Ressourcen für die Universitäten.
Mo, 16. November 2009 — Forschung, Lehre, Presse

Development of a Prototypical Software Platform for the Analysis of Pulmonary Magnetic Resonance Images: Project Overview and Preliminary Results. Peter Kohlmann. — 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).
Fr, 6. November 2009 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Difficult Lessons from Software Engineering. Prof. Dr. Mehdi Jazayeri. — 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.
Mi, 4. November 2009 16:30 Uhr — TU Wien, EI 8 Pötzl-Hörsaal — Forschung, Lehre

Collaboration-Based Composition of Languages. Prof. Dr. Uwe Aßmann. — 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.
Mi, 4. November 2009 10:00 Uhr — TU Wien, Kontaktraum — Forschung, Lehre

Zwei ERC Grants für Forscher der Fakultät für Informatik. Der international renommiert Forscher Georg Gottlob erhält den mit bis zu 2,5 Mio. Euro dotierten Advanced Investigators Grant des European Research Council (ERC). Gleichzeitig ist es der Fakultät für Informatik gelungen, Dr. Stefan Szeider an die TU Wien zu holen, der vor wenigen Wochen den Starting Independent Researcher Grant des ERC in der Höhe von 1,5 Mio. Euro erhalten hat.
Mi, 4. November 2009 — Forschung, Lehre, Presse

Zwei neue K1-Zentren. Secure Business Austria und VRVis bei COMET erfolgreich.
Mo, 2. November 2009 — Forschung, Presse

INiTS Award 2009. Drei Absolventen der Fakultät für Informatik ausgezeichnet.
Mo, 2. November 2009 — Forschung, Lehre, Presse

Oktober 2009

AK aus Knowledge Management und Digital Media. Informatik-Professorinnen in Österreich. — Ringvorlesung des Arbeitskreises der Professorinnen der Informatik in Österreich (FemIT Network)
Fr, 30. Oktober – Fr, 11. Dezember 2009 14:00 –17:30 Uhr — TU Wien, EI 2 Pichelmayer-Hörsaal — Lehre

Evolution in the Large and in the Small in Model-Driven Development. Prof. Dr. Alfonso Pierantonio. — 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.
Do, 22. Oktober 2009 17:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre

Proving the Church-Turing Thesis. Nachum Dershowitz. — 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.
Do, 15. Oktober 2009 12:15 Uhr — TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Lehre

Feierliche Eröffnung der Vienna PhD School of Informatics an der TU Wien. Am 14. Oktober 2009 wurde die Vienna PhD School of Informatics an der Fakultät für Informatik der TU Wien feierlich eröffnet.
Do, 15. Oktober 2009 — Forschung, Lehre, Presse

Opening of the Vienna PhD School of Informatics. Guest Speaker: Prof. Fausto Giunchiglia, Professor of Computer Science, University of Trento
Mi, 14. Oktober 2009 17:00 Uhr — TU Wien, Festsaal — Forschung, Lehre, Presse

Trends in e-Commerce 2009/2010. Public Lecture in Business Informatics
Mo, 12. Oktober 2009 – Mo, 25. Jänner 2010 17:00 –18:30 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Presse

KPS 2009. Kolloquium Programmiersprachen und Grundlagen der Programmierung
Mo, 12. Oktober – Mi, 14. Oktober 2009 12:00 –12:00 Uhr — Hotel Schachner — Forschung, Lehre

Integrating Domain Specific Knowledge into the Process of Digital Image Analysis. Dr. Marcin Grzegorzek. — 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.
Fr, 9. Oktober 2009 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Professor in Discrete Reasoning Methods. The Vienna University of Technology intends to appoint a Professor for Discrete Reasoning Methods at the Faculty of Informatics for a 5 year term.
Mi, 7. Oktober 2009 — Forschung

Prof. Geraldine Fitzpatrick neue Professorin für Gestaltungs- und Wirkungsforschung an der Fakultät für Informatik. Am 1. Oktober tritt Prof. Geraldine Fitzpatrick ihre Stelle als Universitätsprofessorin für Gestaltungs- und Wirkungsforschung an der Fakultät für Informatik an. Sie wird die Forschungsgruppe Human Computer Interaction (HCI) leiten.
Mo, 5. Oktober 2009 — Forschung, Lehre, Presse

THE KUIPER BELT PROJECT. The Electro Acoustic Project. — Eine elektroakustische Klangdichtung (2006)
Sa, 3. Oktober 2009 21:00 Uhr — TU Wien, Prechtl-Saal — Forschung

prolog im Wintersemester 2009/2010. Als Vorbereitung auf das Studium und als Ausgleich der unterschiedlichen Voraussetzungen der StudienanfängerInnen bietet die Fakultät für Informatik das Propädeutikum für Informatik, auch prolog genannt, an.
Fr, 2. Oktober – Fr, 16. Oktober 2009 12:00 –12:00 Uhr — TU Wien, AudiMax — Lehre

beginners' day im Wintersemester 2009/2010. Infoveranstaltung für alle StudienanfängerInnen der Fakultät für Informatik
Do, 1. Oktober 2009 10:00 –19:00 Uhr — TU Wien, AudiMax — Lehre

September 2009

BEGINNERS’ DAY 2009: Die Auftaktveranstaltung zum Studienbeginn für rund 700 Studierende. Die Fakultät für Informatik begrüßte die neuen Studierenden mit einem spannenden Tagesprogramm.
Mi, 30. September 2009 — Lehre

Nachhaltige Entwicklung und IKT. Ausgewählte Seminararbeiten der Ringvorlesung aus dem SS2009
Fr, 25. September 2009 — Lehre

Conservation Principles and Actio Schemes in the Synthesis of Geometric Concepts. Luis A. Pineda. — 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.
Do, 24. September 2009 14:00 Uhr — TU Wien, Seminarraum 184/2 — Forschung, Lehre

Evolvable and Polymorphic Hardware. Dr. Lukás Sekanina. — Fundamental concepts of evolutionary circuit design and evolvable hardware (EHW)
Mi, 23. September 2009 10:30 Uhr — TU Wien, EI 8 Pötzl-Hörsaal — Forschung

IPCity Summer School 2009. 25 international students join for the 2009 summer school of the IPCity project.
Di, 22. September – Fr, 25. September 2009 12:00 –12:00 Uhr — Forschung, Lehre

UNESCO Auszeichnung für WIT-Projekt. Das WIT-Modell der Nachwuchsförderung bei Wissenschafterinnen wurde als Dekadenprojekt „Bildung für Nachhaltige Entwicklung“ ausgezeichnet.
Mo, 21. September 2009 — Forschung, Lehre, Presse

Zwei Nominierungen für den Wiener Zukunftspreis 2009. 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.
Mo, 14. September 2009 — Forschung, Presse

ECSCW '09. 11th European Conference on Computer-Supported Cooperative Work - ECSCW '09
Mo, 7. September – Fr, 11. September 2009 12:00 Uhr — Österreichische Akademie der Wissenschaften — Forschung, Presse

August 2009

Full Professor (tenured) in Algorithms and Data Structures. Announcement of an open position at the Faculty of Informatics, Vienna University of Technology, Austria
Do, 20. August 2009 — Forschung, Presse

Juli 2009

Mentoring4her: Erfolgreiches Mentoringprojekt für Frauen ohne einschlägige Universitätsausbildung. Am Institut für Gestaltungs- und Wirkungsforschung der TU Wien wurde unter der Leitung von Andrea Birbaumer und Hilda Tellioglu erstmals ein Mentoring-Projekt für Frauen im IT-Bereich, die keine einschlägige universitäre Ausbildung haben, durchgeführt.
So, 19. Juli 2009 — Lehre, Presse

Neues Masterstudium Informatikdidaktik ab WS 2009/10. Das neue Masterstudium Informatikdidaktik wird interuniversitär von der Technischen Universität Wien und der Universität Wien getragen. Die Studierenden können ab dem Wintersemester 2009/10 zwischen beiden Universitäten eine Stammuniversität auswählen, an der die Zulassung erfolgt. Lehrveranstaltungen können an beiden Universitäten absolviert werden.
Mi, 15. Juli 2009 — Lehre, Presse

Hannspeter Winter-Preis geht an Informatikerin Andrea Weidlich. 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.
So, 12. Juli 2009 — Forschung, Presse

Game-Theoretic Quantitative Analysis of Embedded Systems. Sanjit A. Seshia. — Predicting physical properties, such as execution time or power, is central to the design of reliable embedded systems.
Fr, 10. Juli 2009 14:00 Uhr — TU Wien, Bibliothek 182/1 — Forschung, Lehre

Semantic Business Process Modeling. Dr. Barry Norton. — 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.
Do, 9. Juli 2009 10:00 –12:30 Uhr — TU Wien, Bibliothek 187/2 — Forschung, Lehre

Robocup 2009: Austrian Kangaroos kicken sich ins Viertelfinale. Wiens erstes humanoides Roboterfußballteam, die Austrian Kangaroos, erreichte beim Robocup 2009 in Graz das Viertelfinale.
Mi, 8. Juli 2009 — Forschung, Lehre, Presse

Facial Motion Characterization through Strain Maps Analysis. Prof. Dmitry Goldgof. — 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.
Di, 7. Juli 2009 10:00 Uhr — TU Wien, Seminarraum 183/2 — Forschung, Lehre

Doppeldiplom INSA Lyon - TU Wien. Neues Doppeldiplomprogramm der Fakultät für Informatik der TU Wien mit INSA Lyon im Bereich Informatik.
Mo, 6. Juli 2009 — Forschung, Lehre

Abschlussveranstaltung Mentoring4her. Das Industrie- und Wirtschaftsmentoring für Frauen im IT-Bereich lädt zur Abschlussveranstaltung des Projekts.
Fr, 3. Juli 2009 18:00 –21:00 Uhr — OCG, Heinz Zemanek-Saal — Presse

Juni 2009

Integrating Beam-ACO with Constraint Programming for Single Machine Job Scheduling. Christian Blum. — 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.
Mi, 24. Juni 2009 10:00 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Fehlerkompensation und Selbstreparatur für zuverlässige Systeme: Probleme, Architekturen, Grenzen. Prof. Dr.-Ing. Heinrich Theodor Vierhaus. — 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.
Do, 18. Juni 2009 14:00 –16:00 Uhr — TU Wien, EI 8 Pötzl-Hörsaal — Forschung, Lehre

How to Build the Social Web. Henry Story. — The web is more and more social. But currently each social networks is an Island to itself.
Do, 18. Juni 2009 11:00 –13:00 Uhr — TU Wien, Seminarraum 8 — Forschung, Lehre

Bachelor-Café: Welche Qualifikationen haben AbsolventInnen von Bachelorstudien?. Adalbert Prechtl, Heinrich Pangratz, Rudolf Freund. — Die Technische Universität Wien startet speziell für Wirtschaft und Industrie eine Informationsreihe über die Bachelorstudien der TU Wien. Den Beginn machen am 16. Juni 2009 die Studienrichtungen Elektrotechnik sowie Informatik und Wirtschaftsinformatik.
Di, 16. Juni 2009 09:30 –11:00 Uhr — TU Wien, Boecklsaal — Lehre, Presse

the electroacoustic project: EUPHORISMEN. The Electro Acoustic Project. — Zum 66. Geburtstag des Synthesizer-Derwisch Dieter Feichtner (1943-1999)
Mo, 15. Juni 2009 21:00 Uhr — TU Wien, Prechtl-Saal — Lehre

Patenting Inventions in Europe: Why and How?. Dr. Olivia Nemethova. — What is an invention and how to identify a patentable invention? Are computer implemented inventions patentable?
Mi, 10. Juni 2009 14:00 Uhr — TU Wien, Seminarraum 188/2 — Forschung

Robuste Komponentensysteme durch Protokollprüfung. Prof. Dr. Wolf Zimmermann. — 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.
Fr, 5. Juni 2009 14:00 Uhr — TU Wien, EI 4 Reithoffer-Hörsaal — Forschung, Lehre

Triple Graph Grammars: A Precisely Defined Approach for Bidirectional Model Transformations. Prof. Dr. Andy Schürr. — 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).
Fr, 5. Juni 2009 09:00 –12:30 Uhr — TU Wien, Seminarraum 184/2 — Forschung, Lehre

New Doctoral College “Computational Perception”. 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.
Fr, 5. Juni 2009 — Forschung, Lehre

EPILOG im Sommersemester 2009. DiplomandInnen. — Die Fakultät für Informatik präsentiert zwei mal pro Jahr die Diplomarbeiten des letzten halben Jahres in einer Posterausstellung und ausgewählten Vorträgen und gibt einen Einblick in das breite Spektrum der Themen und Aufgabenstellungen der Abschlussarbeiten.
Do, 4. Juni 2009 15:00 Uhr — TU Wien, FH Hörsaal 6 — Lehre, Presse

Model-Driven Embedded Software Development. Prof. Dr. Andy Schürr. — Model Driven Development (MDD) and Model Driven Architecture (MDA) are still hot topics of the software engineering community.
Do, 4. Juni 2009 11:00 Uhr — TU Wien, Seminarraum 184/2 — Forschung, Lehre

PreisträgerInnen des epilogs vom 4. Juni 2009. Beim epilog am 4. Juni 2009 wurden Stefan Rümmele, Michael Schwärzler, Laura Fritz sowie Philip Langer ausgezeichnet.
Do, 4. Juni 2009 — Lehre, Presse

Mai 2009

Towards Emotional Sensitivity in Human-Computer Interaction. Prof. Elisabeth André. — 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.
Fr, 29. Mai 2009 10:00 Uhr — TU Wien, EI 8 Pötzl-Hörsaal — Forschung, Lehre

Business TUnITe. Friedrich Kofler. — Die Veranstaltung dient zum Austausch zwischen Führungskräften aus der Wirtschaft, Studierenden und Lehrenden.
Mi, 27. Mai 2009 17:00 Uhr — TU Wien, Zemanek-Hörsaal — Lehre

Registration Methods in Medical Image Processing. Attila Tanacs. — 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.
Di, 26. Mai 2009 16:00 –18:00 Uhr — TU Wien, Seminarraum 183/2 — Forschung, Lehre

3. Platz beim Microsoft Innovation Award 2009. Das Projekt "expressFlow" von Martin Vasko am Institut für Informationssysteme, Arbeitsbereich Verteilte Systeme wurde am 07.05.2009 im Rahmen des diesjährigen Innovation Award von Microsoft mit dem dritten Platz prämiert.
Mi, 20. Mai 2009 — Lehre, Presse

Projection over Four Orders of Magnitude. Oliver Bimber. — 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.
Fr, 15. Mai 2009 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Info-Veranstaltung zu den Bachelorstudien. Lehrende. — Information über die Bachelorstudien der Fakultät für Informatik. Sowie Entscheidungshilfe für Studierende im 2. oder 3. Semester ihres Informatik- oder Wirtschaftsinformatik Studiums.
Do, 14. Mai 2009 15:00 –17:00 Uhr — TU Wien, FH Hörsaal 1 — Lehre

Generating Visual Representations from Volumetric Data. Timo Ropinski. — 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.
Fr, 8. Mai 2009 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

April 2009

Vienna PhD School of Informatics. The Faculty of Informatics starts with an international PhD School of Informatics in October 2009.
Sa, 18. April 2009 — Forschung, Lehre, Presse

Normal Form Nested Programs. Annamaria Bria. — 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].
Di, 7. April 2009 17:00 Uhr — TU Wien, Seminarraum 184/3 — Forschung, Lehre

Zwei PostDoc Stellen für Frauen ausgeschrieben. 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.
Do, 2. April 2009 — Forschung

Is There a Fourth Futamura Projection?. Prof. Dr. Robert Glück. — 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.
Mi, 1. April 2009 17:00 Uhr — TU Wien, Bibliothek 185/1 — Forschung, Lehre

März 2009

E-Learning Award 2009 der TU Wien. Von den im Rahmen des 5. E-Learning-Tages an der TU Wien ausgewählten vier Siegerprojekten kommen zwei aus der Fakultät für Informatik.
Fr, 20. März 2009 — Lehre, Presse

Full Professor (tenured) in Parallel Computing. Announcement of an open position at the Faculty of Informatics, Vienna University of Technology
Di, 17. März 2009 — Forschung, Presse

the electroacoustic project: L'HOMME A LA CAMERA. The Electro Acoustic Project. — Das "Kinoauge" trifft auf das "Ohrenkino"
Sa, 14. März 2009 20:00 Uhr — TU Wien, Prechtl-Saal

Virtuality Defines Reality — IT von heute für das Design von morgen. Jan Meseth, Christina Gückel. — Was macht die RTT AG? Welche Rolle spielt dabei die Software RTT DeltaGen? Welche Möglichkeiten auf dem Gebiet der 3D-Echtzeit-Visualisierung bietet die Software RTT DeltaGen?
Mi, 11. März 2009 17:00 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Lehre

Nachhaltige Entwicklung und IKT. 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.
Mi, 11. März – Mi, 24. Juni 2009 16:00 –18:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre, Presse

Modeling Material Appearance for Computer Graphics Applications. Holly Rushmeier. — 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.
Di, 10. März 2009 15:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Was ist ein Foto? — Nneue Verfahren zur Manipulation von Fotografien. Oliver Deussen. — 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.
Fr, 6. März 2009 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Interface-based Design. Thomas A. Henzinger. — 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.
Do, 5. März 2009 16:00 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Lehre

beginners' info im Sommerssemester 2009. Informationsveranstaltung für alle StudienanfängerInnen im Sommerssemester 2009.
Mo, 2. März 2009 10:00 –12:00 Uhr — TU Wien, Treitl Informatikhörsaal — Lehre

Februar 2009

Deadlock-Analyse für unvollständige Java Card 3.0 Programme. Dipl.-Inform. Rebekka Neumann. — 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.
Fr, 27. Februar 2009 15:00 Uhr — TU Wien, Bibliothek 185/1 — Forschung, Lehre

Planning and Decision Techniques for (Virtualized) Data Center Operation. Dr. Thomas Setzer. — 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.
Do, 26. Februar 2009 16:00 –17:00 Uhr — TU Wien, Bibliothek 184/1 — Forschung, Lehre

Static Program Analysis for Bug and Security Vulnerability Checking of Systems Code. Dr. Bernhard Scholz. — 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.
Do, 26. Februar 2009 15:00 Uhr — TU Wien, Bibliothek 185/1 — Forschung, Lehre

Jänner 2009

Visual Computing Trends 2009. The symposium will give you an overview of future developments in Visual Computing by top-level invited experts.
Mi, 28. Jänner 2009 08:30 –18:00 Uhr — VRVis (TechGate Vienna) — Forschung, Lehre

Verleihung des Siemens Dissertationsstipendiums der Fakultät für Informatik. Ausgezeichnet wurden DI Fares Kayali und DI Mag. Marco Zapletal
Sa, 24. Jänner 2009 — Forschung, Lehre, Presse

A Customised ASM Thesis for Database Transformations. Klaus-Dieter Schewe. — In order to establish a theoretical foundation for database transformations, a universal computation model as an umbrella for queries and updates is needed.
Fr, 23. Jänner 2009 14:00 Uhr — TU Wien, Seminarraum 184/3 — Forschung, Lehre

Optimized Representations for the Acceleration of Display- and Collision Queries. Elmar Eisemann. — A rapidly growing computer graphics community has contributed to dramatic increase in complexity with respect to geometry as well as physical phenomena.
Fr, 23. Jänner 2009 10:15 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Argumentation Context Systems. Dr. Gerhard Brewka. — 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.
Do, 22. Jänner 2009 14:30 –15:30 Uhr — TU Wien, Seminarraum 184/2 — Forschung, Lehre

Tricky Problems for Graphs of Bounded Treewidth. 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.
Do, 22. Jänner 2009 13:30 –14:30 Uhr — TU Wien, Seminarraum 184/2 — Forschung, Lehre

Stadt Wien unterstützt die neue Vienna PhD School of Informatics. 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.
Do, 22. Jänner 2009 — Forschung, Lehre, Presse

Motivations for Employee Computer Crime in the Organisational Context. Robert Willison. — Despite company fears of reputation risk, and under-reporting by organisations, the problems posed by employee computer crime are increasingly being acknowledged.
Fr, 16. Jänner 2009 15:00 Uhr — Secure Business Austria (SBA) — Forschung, Lehre

Visual Analysis of Airflow Phenomena Within the Human Nose. Stefan Zachow. — Our objective is to analyze and understand the physiology and patho-physiology of normal nasal breathing.
Fr, 16. Jänner 2009 10:15 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Service-orientierte Architekturen: Konzepte und Methoden. Prof. Dr. Gregor Engels. — 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.
Fr, 16. Jänner 2009 08:30 –13:00 Uhr — TU Wien, EI 2 Pichelmayer-Hörsaal — Forschung, Lehre

Understanding the Perpetration of Employee Computer Crime in the Organisational Context. Robert Willison. — While hackers and viruses fuel the IS security concerns for organisations, the problems posed by employee computer crime should not be underestimated.
Do, 15. Jänner 2009 10:00 Uhr — Secure Business Austria (SBA) — Forschung, Lehre

Bridging the Memory Gap: A Framework for Intelligent Speculative Compiler Optimization. Dipl.-Inform. Lars Alvincz. — Static program analyses have to over-approximate the run-time behavior of programs to follow the requirement of safety. This sacrifices significant optimization potential.
Di, 13. Jänner 2009 16:00 Uhr — TU Wien, FH Hörsaal 3 — Forschung, Lehre

Dezember 2008

PRIP-Preis 2008. Der PRIP-Preis wurde heuer zum neunten Mal vom Institut für Rechnergestützte Automation, Arbeitsbereich Pattern Recognition and Image Processing (PRIP) für hervorragende Leistungen von Studierenden der Bachelor- bzw. Masterstudien vergeben.
Fr, 19. Dezember 2008 — Lehre

PreisträgerInnen des epilogs vom 3. Dezember 2008. Beim epilog WS08 wurden Markus Triska, Melanie Fraunschiel und Thomas Flanitzer ausgezeichnet.
Fr, 19. Dezember 2008 — Lehre, Presse

Darum gehört die Stadt Dir: Ein Einblick in IT-Lösungen für den Betrieb von Bus- und Straßenbahnen. Dr. Volker Braun. — 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?
Mi, 17. Dezember 2008 15:00 Uhr — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Lehre, Presse

Computer Generated Vegetation. Jan Hovora. — The talk will be about the physiology of plants and how to implement branching, tropisms, hormons and their control in simplifyfied simulations.
Fr, 12. Dezember 2008 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

the electroacoustic project. The Electro Acoustic Project. — Im Zentrum steht der Klang als vibrierender Koerper, als Skulptur, als Ergebnis einer langen Verarbeitungskette. 14 Lautsprecher sind akustische Leinwand für bizarr-neue Klangtransformationen.
Sa, 6. Dezember 2008 20:00 Uhr — TU Wien, Boecklsaal — Lehre

StudentTechDay 2008. Eine "studentische" Entwicklerkonferenz
Sa, 6. Dezember 2008 09:00 –17:00 Uhr — Microsoft Innovation Center (M.I.C.) — Lehre

epilog im Wintersemester 2008/2009. Präsentation der Diplomarbeiten der Fakultät für Informatik
Do, 4. Dezember 2008 15:00 Uhr — TU Wien, FH Hörsaal 6 — Forschung, Lehre, Presse

What Is a Rule in Artificial Intelligence?. Prof. Robert Kowalski. — If-then rules, which are arguably the most common form of knowledge representation in Artificial Intelligence, are ambiguous.
Mi, 3. Dezember 2008 17:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre

November 2008

Invariant Generation by Algebraic Techniques for Software Verification. Laura Kovács. — 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.
Fr, 28. November 2008 16:00 Uhr — TU Wien, Bibliothek 185/1 — Forschung, Lehre

PRIP-Preis 2008. Die Preise werden einmal pro Studienjahr vom Arbeitsbereich für Mustererkennung und Bildverarbeitung (PRIP 183/2) an Studierende der TU Wien vergeben.
Di, 25. November 2008 16:00 –18:00 Uhr — TU Wien, Zemanek-Hörsaal — Lehre

Award of Excellence 2008 geht an M. Wimmer. Der Award des BMWF zeichnet österreichweit die 30 besten Dissertanten des Studienjahres 2007/08 aus und ist mit je 2.500 Euro dotiert.
Fr, 21. November 2008 — Forschung, Lehre, Presse

Erfolgreicher WWTF-Call für die Fakultät für Informatik. 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.
Mi, 12. November 2008 — Forschung, Presse

the electroacoustic project. The Electro Acoustic Project. — Upcoming concerts
So, 9. November 2008 20:00 Uhr — TU Wien, Prechtl-Saal — Lehre, Presse

Oktober 2008

Trends in eCommerce. Public Lecture in Business Informatics 2008/09
Mo, 20. Oktober 2008 – Mo, 26. Jänner 2009 17:00 –19:00 Uhr — TU Wien, EI 1 Petritsch-Hörsaal; TU Wien, Zemanek-Hörsaal — Forschung, Lehre

Uses and Misuses of Topology in Numerical Flow Visualization. Prof. Ronald Peikert. — Numerical flow visualization is gaining importance because of the continuing trend from experiments toward computational fluid dynamics.
Fr, 10. Oktober 2008 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Collaborative Software Development and Social Networks in Action. Prof. Daniela Damian. — A framework and experiences from studies of collaboration and project outcomes in global software teams.
Mi, 8. Oktober 2008 18:00 Uhr — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Lehre

Interactive Visual Exploration and Analysis of Climate Data. Prof. Dr. Helwig Hauser. — In this talk recent research work on how to support hypothesis generation in climate research through interactive visual exploration is presented.
Mi, 8. Oktober 2008 16:00 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Info-Veranstaltung zu den Bachelorstudien. Lehrende. — Wenn Sie im 2. oder 3. Semester ihres Informatik- oder Wirtschaftsinformatik Studiums sind und noch nicht wissen, welches das passende Bachelorstudium für Sie ist, dann kann Ihnen diese Veranstaltung bei der Entscheidung helfen.
Mi, 1. Oktober 2008 14:00 –17:00 Uhr — TU Wien, FH Hörsaal 1 — Lehre

prolog. Als Vorbereitung auf das Studium und als Ausgleich der unterschiedlichen Voraussetzungen der StudienanfängerInnen bietet die Fakultät für Informatik das Propädeutikum für Informatik, auch prolog genannt, an.
Mi, 1. Oktober – Di, 14. Oktober 2008 10:00 –18:00 Uhr — TU Wien, AudiMax — Lehre

September 2008

beginners' day 2008. Infoveranstaltung für alle Erstsemestrigen der Fakultät für Informatik.
Di, 30. September 2008 10:00 Uhr — TU Wien, AudiMax — Lehre

Virtual Machine Showdown: Stack Versus Registers. Dr. David Gregg. — 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.
Mo, 22. September 2008 16:00 Uhr — TU Wien, Bibliothek 185/1 — Forschung, Lehre

Towards Business Value Driven Management of Business Processes and Service-Oriented Architectures. Dr. Vladimir Tosic. — Challenges and some achieved results in business value driven management of business processes implemented with service-oriented architectures.
Mi, 10. September 2008 14:00 Uhr — TU Wien, Bibliothek 184/1 — Forschung, Lehre

Digital Bayon Project. Prof. Katsushi Ikeuchi. — 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.
Di, 9. September 2008 14:00 –16:00 Uhr — TU Wien, Seminarraum 183/2 — Forschung, Lehre

August 2008

Admina.at PC-Workshops – Exklusiv für Mädchen. Die von WIT veranstalteten und von Informatik-Studentinnen betreuten PC-Workshops für Mädchen waren auch diesen Sommer wieder ausgebucht.
Di, 26. August 2008 — Lehre, Presse

Utility-Oriented Cloud and Grid Computing: A Vision, Hype, and Reality. Prof. Dr. Rajkumar Buyya. — 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.
Mo, 18. August 2008 10:00 –12:00 Uhr — TU Wien, Bibliothek 184/1 — Forschung, Lehre

Juli 2008

16th Summer School on Image Processing. 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.
Mo, 7. Juli – Mi, 16. Juli 2008 12:00 Uhr — Forschung, Lehre

Juni 2008

ED-MEDIA 2008. World Conference on Educational Multimedia, Hypermedia & Telecommunications
Mo, 30. Juni – Fr, 4. Juli 2008 12:00 –12:00 Uhr — Forschung, Konferenz, Lehre

Georg Gottlob – ACM fellow. 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.
Fr, 20. Juni 2008 — Forschung, Lehre, Presse

Optimal Configuration of an In-Vehicle Embedded Middleware. Prof. Françoise Simonot-Lion. — Design of an Optimized Middleware
Di, 17. Juni 2008 09:30 Uhr — TU Wien, FH Hörsaal 4 — Forschung, Lehre

Privacy-friendly Authentication. Jan Camenisch. — The recent rise in phishing and identity theft attacks have made it widely acknowledged that Internet requires strong authentication mechanisms.
Di, 10. Juni 2008 10:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre

An Introduction to the WOMBAT Project. Marc Dacier. — A Worldwide Observatory of Malicious Behaviors and Attack Threats
Fr, 6. Juni 2008 11:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre

Mai 2008

Business TUnITe. Helmut Eichert. — Triff Top-Führungskräfte … in entspannter Atmosphäre! — Eine Veranstaltung der Fachschaft Wirtschaftsinformatik und des Studiendekans für Wirtschaftsinformatik der TU Wien.
Mi, 28. Mai 2008 18:30 Uhr — Lehre

4. TU-Forum: Überwachung[staat] ohne Kontrolle. Hannes Werthner, Gerald Futschek, Wolfram Proksch. — Die Technische Universität Wien stellt sich ihrer gesellschaftlichen Verantwortung und greift in der Reihe "TU-Forum" Themen mit technischem Hintergrund auf, die polarisieren.
Mo, 19. Mai 2008 18:00 Uhr — TU Wien, Prechtl-Saal — Forschung, Lehre, Presse

epilog im Sommerssemester 2008. Präsentation der Diplom- und Masterarbeiten der Fakultät für Informatik.
Do, 15. Mai 2008 15:00 Uhr — TU Wien, FH Hörsaal 5 — Forschung, Lehre, Presse

April 2008

Auszeichnung für erfolgreiche EU-Projekt Koordinatoren. Schahram Dustdar und Roman Obermaisser sind "Austrian Champions in European Research"
Fr, 18. April 2008 — Auszeichnung, Forschung, Presse

Academic Community Launch 2008. Microsoft Student Partners präsentieren die neuesten Technologien rund um Visual Studio 2008, SQL Server 2008 und .NET 3.5.
Di, 15. April 2008 17:00 –21:00 Uhr — TU Wien, EI 4 Reithoffer-Hörsaal — Lehre

Visual Analytics For Discovery, Exploration, and Decision Making. Prof. David S. Ebert. — 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.
Fr, 11. April 2008 10:30 Uhr — TU Wien, Seminarraum 186 — Forschung, Lehre

Siemens Dissertationsstipendium der Fakultät für Informatik. Internationale Forschungsaufenthalte und Überbrückungsstipendien für beruftstätige DissertantInnen in der Höhe von insgesamt 10.000 Euro zu vergeben.
Mi, 2. April 2008 — Forschung, Lehre, Presse

Full Professor (tenured) in Computer-Aided Verification. Announcement of an open position at the Faculty of Informatics, Vienna University of Technology
Mi, 2. April 2008 — Forschung, Lehre, Presse

Heap Reference Analysis. Prof. Dr. Uday Khedker. — Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein
Di, 1. April 2008 14:00 Uhr — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Lehre

März 2008

E-Learning Award 2007/08 der TU Wien. Die Lehrveranstaltung "Gesellschaftliche Spannungsfelder der Informatik" (Peter Purgathofer gemeinsam mit Wilfried Reinthaler) wurde mit dem E-Learning Award 2007/08 der TU Wien ausgezeichnet.
Di, 25. März 2008 — Lehre, Presse

Zwei Assistentinnen-Stellen speziell für Frauen ausgeschrieben. 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.
Mi, 19. März 2008 — Forschung, Lehre, Presse

Verifying Specifications with Proof Scores in CafeOBJ. Prof. Dr. Kokichi Futatsugi. — Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zum Vortrag ein
Mi, 12. März 2008 14:00 Uhr — TU Wien, EI 1 Petritsch-Hörsaal — Forschung, Lehre

Nachlese zum giTi-Tag 2008. Im Rahmen der FITwien Schnuppertage gabe es heuer bereits zum fünften Mal einen Informatikschwerpunkt, den so genannten giTi (girls IT information) Tag.
Fr, 7. März 2008 — Lehre, Presse

beginners' info im Sommersemester 2008. Informationsveranstaltung für alle StudienanfängerInnen im Sommerssemester 2008.
Mo, 3. März 2008 10:00 –12:00 Uhr — TU Wien, Treitl Informatikhörsaal — Lehre

Februar 2008

Testmethoden und Zuverlässigkeit von Schaltungen und Systemen. 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.
So, 24. Februar – Di, 26. Februar 2008 18:00 Uhr — Gartenhotel Altmannsdorf — Forschung, Lehre, Presse

giTi-Tag. Studieninformation und Berufsorientierung für Schülerinnen der 7. und 8. Klasse AHS bzw. 3., 4. und 5. Jahrgang BHS
Di, 5. Februar 2008 08:30 –11:30 Uhr — TU Wien, Zemanek-Hörsaal — Lehre

Jänner 2008

Research Challenges in Robotics. Mary-Anne Williams. — Mobile autonomous robots can perform complex tasks in unstructured and dynamic environments…
Mi, 23. Jänner 2008 16:00 Uhr — TU Wien, Seminarraum 184/3 — Forschung

Microsoft Developer Network Academic Alliance (MSDN AA). Ein Kooperationsabkommen der Fakultät für Informatik mit Microsoft ermöglicht für alle Studierenden und MitarbeiterInnen der Fakultät für Informatik einen kostenlosen Zugang zur MSDN AA.
Mo, 7. Jänner 2008 — Lehre

Dezember 2007

Adaptation in Mobile Learning. Prof. Dr. Kinshuk. — WIT-Kolloquium
Fr, 21. Dezember 2007 14:00 –15:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre

Automatic Verification of Combined Specifications. Prof. Dr. Ernst-Rüdiger Olderog. — Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt ein.
Do, 13. Dezember 2007 14:00 Uhr — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Lehre

OCG Förderpreis 2007 geht an eine Absolventin der Fakultät für Informatik. Maria Magdalena Ortiz de la Fuente vom Institut für Informationssysteme, Arbeitsbereich Knowledge Based Systems wurde mit dem OCG Förderpreis 2007 ausgezeichnet.
Mi, 12. Dezember 2007 — Forschung, Lehre

Das war WIT: Eine Rückschau auf 5 ereignisreiche Jahre!. Wissenschafterinnenkolleg Internettechnologien der Fakultät für Informatik der TU Wien lädt Sie herzlich zu seiner Abschlußveranstaltung ein.
Mo, 3. Dezember 2007 17:00 Uhr — TU Wien, Boecklsaal — Forschung, Lehre, Presse

November 2007

Fine-Grain Concurrency. Sir Tony Hoare. — Informatik-Kolloquium: Sir Tony Hoare, Erfinder des Quicksort-Algorithmus und Turing Award Preisträger zu Gast an der Fakultät für Informatik.
Di, 27. November 2007 17:00 –18:30 Uhr — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Lehre, Presse

epilog im Wintersemester 2007. Präsentation der Diplom- und Masterarbeiten der Fakultät für Informatik
Do, 22. November 2007 15:00 Uhr — TU Wien, FH Hörsaal 5 — Lehre, Presse

Dokumentarfilm „Weizenbaum. Rebel at Work“. Der Dokumentarfilm „Weizenbaum. Rebel at Work“ wird erstmals in Wien und in Anwesenheit der Filmemacher gezeigt. Im Festsaal des Technischen Museums Wien gibt es am 11. und am 12. November 2007 jeweils um 15:00 Uhr eine Sondervorstellung.
So, 11. November – Mo, 12. November 2007 15:00 Uhr — Technisches Museum Wien — Lehre

INiTS Award 2007 für zwei Absolventen der Informatik. 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.
Di, 6. November 2007 — Forschung, Lehre, Presse

Brauchen die neuen Medien eine neue Didaktik?. Univ.-Prof. Dr. Peter Baumgartner. — WIT-Kolloquium
Mo, 5. November 2007 17:00 –18:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre

Oktober 2007

Business TUnITe. Dipl.Ing. Erwin Gillich, Mag. Georg Hahn. — Triff Top-Führungskräfte... ...in entspannter Atmosphäre!
Mi, 24. Oktober 2007 18:30 Uhr — TU Wien, Boecklsaal — Lehre

WIT Kolloquium mit Brigitte Ederer und Verleihung des Siemens Dissertationsstipendiums. 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.
Mo, 15. Oktober 2007 17:00 Uhr — TU Wien, EI 7 — Forschung, Presse

Aktuelle Themen des E-Commerce. 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.
Mo, 15. Oktober 2007 – Mo, 28. Jänner 2008 12:00 –12:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre

beginners' day 2007. Infoveranstaltung für alle Erstsemestrigen der Fakultät für Informatik.
Mo, 1. Oktober 2007 10:00 Uhr — TU Wien, AudiMax — Lehre

September 2007

JTRES 2007. The 5th Workshop on Java Technologies for Real-Time and Embedded Systems
Mi, 26. September – Fr, 28. September 2007 12:00 Uhr — Forschung, Presse

ISMIR 2007 - 8th International Conference on Music Information Retrieval. 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.
So, 23. September – Do, 27. September 2007 12:00 Uhr — Forschung, Konferenz, Presse

Coalitional Games, Infeasibility Certificates, and the Complexity of the Core. Luigi Palopolia. — This talk introduces coalitional games and then focuses on the characterization of the complexity of the core in such games.
Fr, 21. September 2007 15:00 –16:00 Uhr — TU Wien, Seminarraum 184/3 — Forschung

Vereinfachung und Vereinheitlichung der Komposition für industrielle Komponentenmodelle. Prof. Ursula Scheben. — Es ist ein lange gehegter Traum, neue Software zu erstellen, indem man sie einfach aus bereits vorgefertigten, gut getesteten Komponenten zusammensetzt…
Fr, 21. September 2007 14:00 Uhr — TU Wien, EI 4 Reithoffer-Hörsaal — Forschung, Presse

Belief Change Based on Global Minimisation. James P. Delgrande. — A general framework for representing belief change is presented, based on notions of minimal change.
Fr, 21. September 2007 14:00 –15:00 Uhr — TU Wien, Seminarraum 184/3 — Forschung

From Information Retrieval to Digital Libraries to Computer Science Education. Prof. Ed Fox. — 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.
Fr, 21. September 2007 11:00 Uhr — TU Wien, Seminarraum 188/2 — Forschung, Presse

Zur Ausdrucksstärke verschiedener Logiken über ungeordneten Bäumen. Stephan Kepser. — In der Informatik und Linguistik wird unter Bäumen meist geordnete Bäume verstanden.
Do, 20. September 2007 15:00 –16:00 Uhr — TU Wien, Seminarraum 184/2 — Forschung

OCG: Woche der Informatik. Die Österreichische Computer Gesellschaft veranstaltet vom 19.-28. September 2007 die Woche der Informatik.
Mi, 19. September – Fr, 28. September 2007 16:00 –12:00 Uhr — Forschung, Presse

Conversation Patterns. Gregor Hohpe. — 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?
Fr, 14. September 2007 10:00 Uhr — TU Wien, Bibliothek 184/1 — Forschung, Lehre, Presse

prolog. Als Vorbereitung auf das Studium und als Ausgleich der unterschiedlichen Voraussetzungen der StudienanfängerInnen bietet die Fakultät für Informatik das Propädeutikum für Informatik, auch prolog genannt, an.
Fr, 14. September 2007 — Lehre

August 2007

CAIP 2007. The 12th International Conference on Computer Analysis of Images and Patterns
Mo, 27. August – Mi, 29. August 2007 09:00 Uhr — Forschung, Presse

Computer Vision for Cultural Heritage 2007. International Summer School
Mo, 20. August – Fr, 24. August 2007 09:00 Uhr — Forschung, Lehre, Presse

Full Professor (tenured) in Design and Assessment of Technology. Announcement of an open position at the Faculty of Informatics, Vienna University of Technology
Mi, 15. August 2007 — Forschung

big sister.first steps. Mentoring für erstsemestrige Studentinnen der Fakultät für Informatik
Di, 7. August 2007 — Lehre

Juni 2007

Google Stipendium für Dissertantinnen der Fakultät für Informatik. Martina Umlauft und Magdalena Ortiz wurden mit dem Anita Borg Memorial Scholarship von Google ausgezeichnet.
Mi, 27. Juni 2007 — Forschung, Presse

PostDoc Stelle für Frauen ausgeschrieben. 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.
Mi, 27. Juni 2007 — Forschung, Presse

Correct and Efficient Software Systems: Pie in the Sky or Viable Vision?. Prof. Sabine Glesner. — The construction of correct software has been an important goal since the commencements of computer science and has not lost importance ever since.
Mo, 25. Juni 2007 16:00 Uhr — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Presse, Vortrag

Ehrendoktorat der Universität Toulouse für H. Kopetz. Professor Hermann Kopetz vom Institut für Technische Informatik wurde am 19. Juni 2007 das Ehrendoktorat der Universitè Paul Sabatier (Toulouse III) verliehen.
Di, 19. Juni 2007 — Forschung, Presse

Evaluating SPARQL++ — Preliminary Results. Dr. Axel Polleres. — SPARQL is the upcoming query language for the Semantic Web, at the moment short before getting the standards recommendation from W3C.
Mo, 18. Juni 2007 10:00 –12:00 Uhr — TU Wien, Seminarraum 184/3 — Forschung, Lehre

The Rise of the Gamer: How Video Games Lost the Novice Players. Jesper Juul. — 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.
Fr, 15. Juni 2007 16:30 Uhr — TU Wien, Seminarraum 188/2 — Forschung, Lehre

epilog im Sommersemester 2007. Präsentation der Diplom- und Masterarbeiten der Fakultät für Informatik.
Mo, 11. Juni 2007 15:00 –21:00 Uhr — TU Wien, FH Hörsaal 5 — Lehre, Presse

What Is Information?. Prof. Dr. Wojciech Szpankowski. — Information permeates every corner of our lives and shapes our universe. Understanding and harnessing information holds the potential for significant advances.
Fr, 1. Juni 2007 11:00 –13:00 Uhr — TU Wien, Zeichensaal 3 — Forschung, Lehre, Presse

Mai 2007

T. Eiter korrespondierendes Mitglied der ÖAW. Prof. Thomas Eiter vom Institut für Informationssysteme, Arbeitsgruppe Knowledge Based Systems wurde zum korrespondierenden Mitglied der Österreichischen Akademie der Wissenschaften (ÖAW) gewählt.
Mi, 23. Mai 2007 — Forschung, Presse

Discovery Days. Dialog Schule und Forschung am Beispiel von Virtual Reality und Augmented Reality
Di, 22. Mai 2007 12:00 Uhr — VRVis (TechGate Vienna) — Lehre, Presse

Like Hollywood Cinema Without Independent Film?. Andreas Jahn-Sudmann. — Zur Ästhetik, Ökonomie und Kultur der Independent-Games
Mo, 21. Mai 2007 16:30 Uhr — TU Wien, Bibliothek 187/2 — Forschung, Lehre, Presse

Discrete Analytical Geometry: Basis and Applications. Prof. Eric Andres. — Vortrag im Rahmen des Informatik-Kolloquiums
Mo, 14. Mai 2007 17:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre, Presse, Vortrag

April 2007

talkin'. Plattform für Rethorik, Kommunikation und Präsentation
So, 8. April 2007 — Lehre

März 2007

Young Lions from TU Wien. The Electro Acoustic Project. — Studentenkonzert elektro-akustischer Musik
Fr, 23. März 2007 21:00 Uhr — Kunsthalle Wien, Project Space Karlsplatz — Lehre, Presse

Spatial Cognition: Agents Between Sensation and Reality. Prof. Christian Freksa. — Vortrag im Rahmen des Informatik-Kolloquiums
Di, 20. März 2007 16:30 –18:00 Uhr — TU Wien, Zemanek-Hörsaal — Forschung, Lehre, Presse, Vortrag

beginners' info im Sommersemester 2007. Informationsveranstaltung für alle StudienanfängerInnen im Sommerssemester 2007.
Mo, 5. März 2007 10:00 –12:00 Uhr — TU Wien, HS 8 Heinz Parkus-Hörsaal — Lehre

Jänner 2007

giTi-Tag. Information/Motivation zum Informatik Studium für Mädchen.
Mo, 29. Jänner 2007 12:00 Uhr — TU Wien, Zemanek-Hörsaal — Lehre

Business TUnITe. Austausch zwischen WirtschaftsvertreterInnen, Studierenden und VertreterInnen der Lehrenden der TU Wien.
Mi, 17. Jänner 2007 18:30 –20:30 Uhr — Secure Business Austria (SBA) — Lehre

Prämierung von FIT-IT Projekten. Zwei Projekt der Fakultät für Informatik wurden bei der Prämierung der besten FIT-IT-Projekteinreichungen des Jahres 2006 ausgezeichnet.
Mi, 17. Jänner 2007 — Forschung, Presse

Siemens Dissertationsstipendium der Fakultät für Informatik. Internationale Forschungsaufenthalte und Überbrückungsstipendien für beruftstätige DissertantInnen in der Höhe von insgesamt 10.000 Euro zu vergeben.
Mo, 1. Jänner 2007 — Forschung, Lehre, Presse

Dezember 2006

more@informatics. Nach dem beginners day und prolog ist das Programm more@informatics ein weiterer Schritt dazu, den Studierenden ein erfolgreiches Weiterkommen im Studium zu ermöglichen.
Fr, 1. Dezember 2006 — Lehre

November 2006

epilog im Wintersemester 2006/2007. Präsentation der Diplom- und Masterarbeiten der Fakultät für Informatik.
Mi, 8. November 2006 15:00 –18:00 Uhr — TU Wien, Prechtl-Saal — Lehre, Presse

Oktober 2006

European Masters Program in Computational Logic. International Master Program

August 2006

Internationale Auszeichnung. M. Jazayeri zum IEEE Fellow gewählt.
Di, 1. August 2006 — Auszeichnung, Forschung, Presse

Februar 2006

PRIP-Preis 2006. Computer hilft bei der Analyse von Gemälden.
Mi, 1. Februar 2006 — Auszeichnung, Lehre, Presse