Informatics, TU Vienna

Archived News and Events

This page presents an overview of all previous news, dates, and events of the Faculty of Informatics at the Vienna University of Technology.

September 2017

20th International Conference on Discrete Geometry for Computer Imagery (DGCI 2017). The Pattern Recognition and Image Processing Group (PRIP) hosts the International Conference on Discrete Geometry for Computer Imagery in 2017.
Tue, September 19 – Thu, September 21, 2017 — TU Wien, EI 8 Pötzl-Hörsaal — Forschung, Konferenz

I LIKE Data Science? I-KNOW 2017. The Know-Center (COMET Competence Center for Data-driven Business & Big Data Analytics) is organizing the first Data Science Challenge of the year.
Mon, September 11, 2017 — Messe Congress Graz — Veranstaltung

ALGO 2017 Congress on Algorithms. The Algorithms and Complexity Group of the Faculty of Informatics is hosting an international congress combining a number of events and a summer school in Vienna.
Mon, September 4 – Fri, September 8, 2017 — TU Wien, Freihaus — Kongress

Parameterized Complexity Summer School (PCSS). Spend your summer at the 3rd Parameterized Complexity Summer School (PCSS) held in Vienna, Austria, from September 1 – 3. The school is pre-event of ALGO 2017.
Fri, September 1 – Sun, September 3, 2017 — TU Wien, Freihaus — Sommerschule

August 2017

Digital Transformation: Dealing With Conflict & Cooperation. “We have to ask ourselves: How does the society we want to live in look like and what artefacts do we need for making it real?”, Hannes Werthner, Dean of the Faculty of Informatics said during the European Forum Alpbach 2017.
Wed, August 23, 2017 — Kongress

Data-Driven Resiliency Solutions for Integrated Circuits and Systems. Guest lecture by Krishnendu Chakrabarty (Duke University, USA)
Thu, August 10, 2017 10:00 –12:00 — TU Wien, Informatikhörsaal — Vortrag

July 2017

Real-world Challenges in JavaScript Analysis. Dr. Alexander Jordan. — While JavaScript has become the most popular programming language today, tools that can automatically alert developers to unwanted behavior or security vulnerabilities are still lacking.
Wed, July 12, 2017 11:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

LAIVe Summer School 2017. Master and doctoral students in Computer Science and Mathematics with a strong interest in Logic are invited to apply.
Mon, July 3 – Wed, July 5, 2017 — TU Wien — Sommerschule

June 2017

The life of an entrepreneur or the thin line between genius & madness. Selma Prodanovic. — i²c Founder & Investor Talk #37: Selma Prodanovic, Founder & CEO of 1millionstartups.com and Brainswork Group, Co- Founder & Vice President of Austrian Angel Investors Association
Wed, June 21, 2017 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

Vienna Gödel Lecture 2017. Ricardo Baeza-Yates. — Ricardo Baeza-Yates (former Yahoo Labs Vice-president) will talk about the "Bias in the Web"
Thu, June 8, 2017 17:30 –19:00 — TU Wien, EI 7 — Veranstaltung

Compressive Sensing of Large-scale Social Networks. Hamidreza Mahyar. — Talk by Hamidreza Mahyar, research assistant at the Cyber-Physical Systems Group (CPS).
Thu, June 1, 2017 14:00 –14:45 — E389 Seminarraum 1 — Vortrag

May 2017

Minefield of experience: A mixture of success and failure from seven company foundations. Michael Eisler. — i²c Founder & Investor Talk #36: Michael Eisler, Serial Entrepreneur, Co-Founder & CEO at startup300
Wed, May 31, 2017 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

The poetics and grammar of innovation: Humans and non-humans in process and meaning. Prof. Mark Coeckelbergh. — Talk by Prof. Mark Coeckelbergh from the University of Vienna.
Tue, May 30, 2017 13:00 –14:30 — PLACE Library — Vortrag

Introduction to DEEP LEARNING. Philipp Grohs, Michael Wand. — Basic Concepts in Machine Learning, Introduction to (Convolutional) Neural Networks, Applications, Towards Mathematical Understanding of Deep Learning
Mon, May 29, 2017 09:00 –17:30 — TU Wien, Zeichensaal 3 — Forschung, Vortrag

From One-Man-Show to One-Man-Show (to One-Man-Show). Niko Alm. — i²c Founder & Investor Talk #33: Niko Alm, Founder of Super-Fi, General Counsel of VICE CEE, Nano Business Angel
Wed, May 17, 2017 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

Modelling the Afghan conflict from Wikileaks data. Dr. Guido Sanguinetti. — Guido Sanguinetti, a world-renown expert in Machine Learning and Statistical Modelling, is going to present a statistical model of conflict dynamics and how they have validated using the WikiLeaks Afghan War Diary.
Tue, May 16, 2017 15:30 — TU Wien, Zemanek — Forschung, Vortrag

How I grew my side project "fastlane" from 0 to tens of thousands users. Felix Krause. — i²c Founder & Investor Talk #35: Felix Krause, Creator of fastlane, iOS developer at Google
Wed, May 10, 2017 17:30 –19:30 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Vortrag

Two-Level Modelling Considered Harmful. Thomas Kühne. — Lecture by guest professor Thomas Kühne.
Wed, May 10, 2017 14:00, c.t. — TU Wien, FH Hörsaal 5 — Vortrag

Dirk Bartz Prize for Visual Computing in Medicine 2017 - EUROGRAPHICS 2017. Visualization team wins 'Best Overall Concept Award' at the "BootCamp for Sciencepreneurs"
Mon, May 8, 2017 — Auszeichnung, Forschung

Georg Gottlob honoured with Lovelace Medal. Gottlob, Professor of Computer Science at the Faculty of Informatics, been selected as the winner of the top award in computing in the UK.
Thu, May 4, 2017 — Auszeichnung

A distributed algorithm for Vertex Cover based on the Local-Ratio technique. Guy Even. — I will start with algorithms for approximating the minimum Vertex Cover of a graph.
Wed, May 3, 2017 15:30 — TU Wien, EI 2 Pichelmayer-Hörsaal — Forschung, Vortrag

Indoor Geographic Information Systems: Challenges and Opportunities. Prof. Moustafa Youssef. — Traditional Geographic Information Systems (GIS) focus on capturing and analyzing outdoor geographical data.
Tue, May 2, 2017 15:00 –17:00 — TU Wien, Zemanek — Forschung, Vortrag

CfA: Diploma Supplement on Innovation. The Innovation Incubation Center (i²c) opens the call for the Diploma Supplement on Innovation

April 2017

Can you trust what you see? The magic of visual perception. Oge Marques. — Vision is our most developed sense and one upon which we rely to make many decisions, conscious or otherwise.
Thu, April 27, 2017 16:00, c.t. — TU Wien, FH Hörsaal 5 — Forschung, Vortrag

The Silicon-Valley-Mindset. Mario Herger. — i²c Founder & Investor Talk #34: Mario Herger, Founder and CEO at Enterprise Garage Consultancy
Wed, April 26, 2017 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

Green Software Laboratory: Towards an Engineering Discipline for Green Software. Prof. Dr. João Saraiva. — We are developing techniques and tools to support programmers in analyzing, optimizing and, thus, developing greener software
Wed, April 26, 2017 14:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Symposium "Digital Transformation". Prof. Eric T. Meyer, Prof. Jan van Dijk, Dr.-Ing. Sebastian Schlund, Prof. Christian Swertz, Prof. Gerhard Hanappi. — The Centre for Informatics and Society (CIS) invites you to a broad discussion about the status quo of digital transformation
Mon, April 24, 2017 09:30 –18:30 — TU Wien, Konferenzsaal TUthesky — Konferenz, Vortrag

Consistent biclustering for feature selection. Assistant Professor Antonio Mucherino. — The selection of features that describe samples in a given set of data is a typical problem in data mining.
Thu, April 20, 2017 14:00 — TU Wien, Seminarraum 384 (CD0404) — Forschung, Vortrag

Step by Step in London and Berlin. Understanding transit maps by systematically exploring design rules
Mon, April 10, 2017 11:00 –12:00, s.t. — TU Wien, EI 11 Geodäsie-Hörsaal — Vortrag

Psychologically-driven Personalization. Guest talk by Dr. Marko Tkalčič (Free University of Bozen-Bolzano, Italy)
Mon, April 10, 2017 10:00 –11:00 — TU Wien, Zemanek — Vortrag

March 2017

At the Core of Computing: Operational (Re-)Construction. Lecture by guest professor Christiane Floyd.
Thu, March 30, 2017 14:00, c.t. — Vortrag

Biomolecular & Artistic Structure Research. Dr. Tanja Gesell. — What is a structure?
Fri, March 24, 2017 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

How to build a developer tool company. Talk by Moritz Plassnig about building a successful start-up
Wed, March 22, 2017 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

Multi-Layer Memory Resiliency. Prof. Nikil Dutt. — This talk presents the concept of variability-aware memory management for nanoscale computing systems.
Wed, March 22, 2017 13:30 — TU Wien, Seminarraum 351 (CA0138) — Forschung, Vortrag

Endowed professorship in Data Intelligence to be established. Deutsche Telekom AG funds the new full professorship in “Data Intelligence” starting from October 1, 2017 at the Faculty of Informatics
Thu, March 16, 2017 — Forschung, Stiftungsprofessur

More female students in Computer Science. Who cares?. Panel discussion with renowned scientists about diversity in STEM Studies.
Tue, March 14, 2017 17:30 –19:00 — TU Wien, Kuppelsaal — Veranstaltung

Women Techmakers Vienna 2017 - Telling our Story. Our target group is people working or interested in the STEM fields (science, technology, engineering, mathematics), both women and men.
Sat, March 11, 2017 09:30 –18:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Konferenz, Vortrag

Learning‐Based System‐Level Power and Performance Prediction. Guest talk by Prof. Dr. Andreas Gerstlauer, University of Texas, Austin
Fri, March 10, 2017 11:00 –12:00 — Seminar Room 121 (CA0322) — Vortrag

Robots and the Dynamics of Emotions in Teams. Malte Jung, Solace Shen. — We would like to invite you to a talk by Dr. Malte Jung and Dr. Solace Shen from the Cornell University, US. They are renowned HCI researchers, focussing on human robot interaction. Please find more details regarding them below.
Thu, March 9, 2017 11:30 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

International breeze for the spring semester. Vienna PhD School of Informatics is hosting renowned visiting professors
Thu, March 9, 2017 — Course, Forschung, Vortrag

Evolutionary Circuit Design and Approximation. Dr. Lukás Sekanina. — In this talk, I will survey the recent development in the area of evolutionary circuit design.
Fri, March 3, 2017 11:00 — TU Wien, Seminarraum 101A — Forschung, Vortrag

Language and Model Engineering. Prof. Dr. Bernhard Rumpe. — Discussing useful language design principles that allow tailored solutions for modeling, designing and analyzing software systems already in early stages.
Thu, March 2, 2017 17:00 — TU Wien, Zemanek — Forschung, Vortrag

February 2017

The SiLago Method: Next Generation VLSI Architecture and Design Methods. Guest talk by Prof. Dr. Ahmed Hemani, Dept. of Electronics and Embedded Systems, School of ICT, KTH, Kista, Sweden
Mon, February 27, 2017 14:00 –15:00 — Seminarraum 384 (CD0404) — Vortrag

Networking Friday - Empowering Innovation @TUW. The Innovation Incubation Center (i²c) of TU Wien cordially invites you to its annual flagship event – the i²c Networking Friday.
Fri, February 24, 2017 09:00 — Forschung, Konferenz, Vortrag

"It's Time for Secure Languages". Dr. Cristina Cifuentes. — Empowering developers with the concept of "security for the masses" by making available languages that do not necessarily require an expert in order to determine the code's vulnerability.
Thu, February 23, 2017 10:30 — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

i²c StartAcademy. Call for applications
Tue, February 21 – Thu, February 23, 2017 — Course, Lehre

Dynamic Adaptive Streaming over HTTP. Assoc.Prof. Christian Timmerer. — Overview, State-of-the-Art, and Future Roadmap
Thu, February 9, 2017 13:30 — TU Wien, Seminarraum 187/2 — Forschung, Vortrag

January 2017

Visual Computing Trends Symposium 2017. The symposium will give you an overview of future developments in Visual Computing by top-level invited experts.
Thu, January 26, 2017 08:30 –17:30 — Tech Gate Vienna — Forschung, Konferenz, Veranstaltung

Exploratory Search in Time-Oriented Data. Dr.-Ing. Jürgen Bernard. — In his thesis, Jürgen Bernard addressed analytical challenges related to the increasing amounts of time-oriented data.
Wed, January 25, 2017 17:15 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Statistical Learning and the Analysis of Stochastic Models. Prof. Luca Bortolussi. — In this seminar I will present recent work on the use of statistical learning tools for the analysis of stochastic dynamic model of complex systems.
Thu, January 19, 2017 14:00 — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

Monitoring Spatio-Temporal Properties. Prof. Luca Bortolussi. — Controlling and designing spatio-temporal behaviours requires proper formal tools to describe such properties, and to monitor and verify whether, and how robustly, they are satisfied by a system.
Tue, January 17, 2017 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Improving the Quality Assurance of Secure Software through Combinatorial Methods. Dr. Dimitris E. Simos. — The recent revelations of the NSA’s BULLRUN and PRISM projects, highlight the great need to ensure an attack-free environment of software implementations.
Tue, January 17, 2017 15:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Responsible Research and Innovation in EU projects: ICT for societal challenges. Dr. Barbara Grimpe. — Realising the principle of 'stakeholder engagement' in practice
Tue, January 10, 2017 13:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

December 2016

Why Computer Science matters. Watch the whole panel discussion on Youtube!
Fri, December 23, 2016 — Veranstaltung, Video

First meeting of the International Advisory Board. The Faculty of Informatics invited international experts to advise in strategic matters.
Thu, December 15, 2016 — Forschung, Workshop

Panel discussion: Why Computer Science matters. A Janus-faced role in the 21st century
Tue, December 13, 2016 18:00 –19:30 — TU Wien, FH Hörsaal 8 — Veranstaltung

Summary event of CDL-Flex. Christian Doppler Laboratory gives an overview of main research results in a festive context
Tue, December 13, 2016 15:00 –18:00 — TU Wien, Zemanek — Forschung, Veranstaltung

Geraldine Fitzpatrick selected as ACM Distinguished Member. Prestigious distinction for the Head of the Institute for Design and Assessment of Technology
Fri, December 2, 2016 — Auszeichnung, Forschung

November 2016

The Requirements Problem in Software Engineering. Em. Univ. Prof. PhD John Mylopoulos. — We present several formulations of the requirements problem to account for changing requirements.
Tue, November 22, 2016 11:00 –12:00 — TU Wien, Seminarraum 354 (CF0153) — Forschung, Vortrag

Envisioning the Visible Molecular Cell. Prof. Arthur J. Olsen. — Biology has become accessible to an understanding of processes that span from atom to organism.
Fri, November 18, 2016 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Third Symposium on Geometry and Computational Design. Lectures by leading researchers on recent developments in geometry, computer graphics, computational design and architectural engineering
Fri, November 18, 2016 09:30 –18:30 — TU Wien, Kuppelsaal — Forschung, Veranstaltung

Privacy Enhancing Technologies. Bill Binney. — On invitation of the course "Privacy Enhancing Technologies" Bill Binney will hold a "Teach-In"
Thu, November 10, 2016 16:00 –18:00 — TU Wien, AudiMax — Lehre, Veranstaltung, Vortrag

Approximation of MIN CSP. Victor Dalmau. — An instance of the constraint satisfaction problem (CSP) is given by a family of constraints on overlapping sets of variables.
Mon, November 7, 2016 11:00 — TU Wien, Seminarraum Gödel — Forschung, Vortrag

October 2016

Executable UML. Ed Seidewitz. — The Unified Modeling Language (UML) is, of course, a modeling language.
Tue, October 25, 2016 18:00 — TU Wien, HS 8 Heinz Parkus-Hörsaal — Forschung, Vortrag

Emerging Topics for Visualization Research. Prof. Kwan-Liu Ma. — Visualization is a powerful exploration and storytelling tool for large complex, multidimensional data.
Mon, October 17, 2016 16:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

From Visual Exploration to Storytelling and Back Again. Marc Streit. — Introducing CLUE (Capture, Label, Understand, Explain), a model that tightly integrates data exploration and presentation of discoveries.
Fri, October 7, 2016 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

September 2016

Hacking China, Hacking Innovation. Silvia Lindtner. — In 2014, a series of stories appeared in international media outlets, stipulating that the manufacturing hub of Shenzhen in the South of China was transforming into a rising “Silicon Valley of Hardware” and a "Hollywood for Makers."
Mon, September 26, 2016 11:30 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Universities and Computer Science in the European Crisis of Refugees. Viewpoint article and video in the Communications of the ACM
Fri, September 23, 2016 — News, Presse

The Place of Human Intention and Intelligence in Computing in Mental Health. Dr. Maria Angela Ferrario, Dr. Will Simm. — Lessons learned from several years of working in agile research partnerships with public organisations, the third sector, and hard-to-reach-groups.
Fri, September 23, 2016 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Economics and Computation. Prof. Jörg Rothe. — Five Challenges in Algorithmic Game Theory, Computational Social Choice, and Fair Division
Tue, September 20, 2016 11:00, s.t. — TU Wien, EI 1 Petritsch-Hörsaal — Forschung, Vortrag

ESOCC 2016. 5th European Conference on Service-Oriented and Cloud Computing
Mon, September 5 – Wed, September 7, 2016 — TU Wien, Neues EI — Forschung, Konferenz

August 2016

Smart City Public Lectures. Highly distinguished international experts discuss the hotly debated topic of Smart City and present recent discourses to a wider public.
Tue, August 23 – Sat, August 27, 2016 — Forschung, Vortrag

July 2016

Touchy Feely Tech. Prof. Katherine Isbister. — Coding for the Social and Emotional Body
Thu, July 28, 2016 13:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

AnyScale Apps for Scalable Computation. Dejice Jacob. — A novel paradigm for adaptive scalable computation
Wed, July 20, 2016 14:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Predicting Worst-Case Behaviour of Programs by Means of Attribute Functions. Prof. Jerzy Nawrocki. — Examples concerning implementation selection for dynamic storage allocation will be presented
Thu, July 7, 2016 10:00, c.t. — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Vortrag

High-Performance Computing Libraries as Domain Specific Language. Prof. Dr. Franz Franchetti. — Presenting a new take on a tried-and-true concept
Mon, July 4, 2016 16:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

STAF 2016 - Software Technologies: Applications and Foundations. TU Wien, Vienna, Austria
Mon, July 4 – Fri, July 8, 2016 — Konferenz

VoroCrust: Simultaneous Surface reconstruction and Volume Meshing with Voronoi Cells. Scott A. Mitchell. — The first algorithm for simultaneous surface reconstruction and volumetric Voronoi meshing
Fri, July 1, 2016 10:30 — TU Wien, Seminarraum 186 — Forschung, Vortrag

June 2016

Model checking and system design as a machine learning problem.. Dr. Guido Sanguinetti. — Constructing an efficient statistical learning approach
Thu, June 30, 2016 14:00 — TU Wien, Informatikhörsaal — Forschung, Vortrag

Cytosplore - Interactive Immune Cell Phenotyping for Large Singe-Cell Datasets. Dr. Thomas Höllt. — Implementing an interactive workflow to analyze mass cytometry data in an integrated system
Wed, June 29, 2016 10:00 — TU Wien, Seminarraum 186 — Forschung, Vortrag

VieVisDays2016. Vienna Symposium on Visualization
Tue, June 28 – Wed, June 29, 2016 10:00 –12:30 — Forschung, Konferenz

From medical images to clinical care - the long and winding road. Prof. Marcel Breeuwer. — Discussing the relevance of using medical image analysis and visualization in health care
Fri, June 24, 2016 10:30 — TU Wien, Seminarraum 186 — Forschung, Vortrag

Semi-automated Service Integration in Virtual Organizations. Prof. Hamideh Afsarmanesh. — Generating formal machine readable specifications for business processes, aimed at providing unambiguous definitions as needed for developing their equivalent software services.
Tue, June 14, 2016 15:30 — TU Wien, Seminarraum von Neumann — Forschung, Vortrag

Coordinated Composition of Components and Services. Prof. Farhad Arbab. — Reo is an exogenus coordination language based on an interaction-centric model of concurrency where protocols manifest as connectors.
Tue, June 14, 2016 15:30 — TU Wien, Seminarraum von Neumann — Forschung, Vortrag

CDN-on-Demand: An Affordable DDoS Defense via Untrusted Clouds. Prof. Amir Herzberg. — CDN-on-Demand is a software-based defense that administrators of small to medium websites install to resist powerful DDoS attacks, with a fraction of the cost of comparable commercial CDN services.
Mon, June 13, 2016 16:00 –17:30 — TU Wien, HS 17 Friedrich Hartmann — Forschung, Vortrag

Start Local, Go Global. Stefan Ebner. — Success Factors for Expanding Your Business Internationally
Wed, June 8, 2016 19:00 — TU Wien, EI 7 — Forschung, Vortrag

Model Theory in Computer Science. Prof. Johann A. Makowsky. — Recurrent themes and some lessons learned
Tue, June 7, 2016 14:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

The Haptic Bracelets. Dr. Simon Holland. — From Music Interaction to Neurological Gait
Tue, June 7, 2016 12:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Vote Counting as Mathematical Proof. Assoc. Prof. Dirk Pattinson. — Overview of the current state of electronic voting as used for legally binding elections throughout the world
Mon, June 6, 2016 14:00 — TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Vortrag

Visual Behavior Analytics for Sense Making. Prof. Yingcai Wu. — Discussing the challenges of the research on visual behavior analytics
Fri, June 3, 2016 14:00 — TU Wien, Seminarraum 186 — Forschung, Vortrag

Introducing Proscene-3. Prof. Jean Pierre Charalambos Hernandez. — A Feature-Rich Framework for Interactive Environments
Fri, June 3, 2016 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Caring robots - more dangerous than killer robots?. Dr. Blay Whitby. — It might seem, at first glance, that military robotics raises many more ethical worries than does the use of robots in caring roles. However, this superficial impression deserves revision for a number of reasons.
Thu, June 2, 2016 16:30 –18:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Disrupting Healthcare. Bianca Gfrei. — How to Transform your Problem into a Business
Wed, June 1, 2016 19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Do You Want a Robot Lover?. Dr. Blay Whitby. — The Ethics of Caring Technologies
Wed, June 1, 2016 14:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

May 2016

A Mathematical View of Computer Systems – Q&A. Dr. Leslie Lamport. — Leslie Lamport will answer questions regarding his Heidelberg Laureate Forum lecture
Tue, May 31, 2016 18:00 –19:00 — TU Wien, Informatikhörsaal — Forschung, Vortrag

Digital Image Forensics and its Implications for Multivariate Data Analysis. Victor Schetinger. — The field of image forensics aims to restore trust in digital images, by providing means to analyze images and uncover forgery.
Wed, May 25, 2016 14:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

On the Evaluation of Unsupervised Outlier Detection. Privatdozent Dr. Arthur Zimek. — Measures, Datasets, and an Empirical Study
Wed, May 18, 2016 16:00 — GM 2 Radinger-Hörsaal — Forschung, Vortrag

Perceptually Motivated 3D Visualization of Medical Image Data. Prof. Bernhard Preim. — Overview of perceptually motivated techniques for the visualization of medical image data.
Fri, May 13, 2016 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Let’s Encrypt and Mozilla Security. J.C. Jones, Richard Barnes. — This talk is part of the "Cyber Security Lecture Series".
Mon, May 9, 2016 16:00 –18:30 — TU Wien, HS 17 Friedrich Hartmann — Forschung, Vortrag

Search-based Software Engineering. Prof. Marouane Kessentini. — Foundations, Challenges and Recent Advances
Tue, May 3, 2016 15:00 –16:00 — TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Vortrag

April 2016

Innovation in the Corporate and the Startup World - Framework, Touchpoints & Conflicts. Marie-Helene Ametsreiter. — We are in the middle of the 3rd industrial revolution. The digitalization.
Wed, April 27, 2016 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

From Rags to Riches: International Experiences from a Self-Made Multimillionaire Entrepreneur. Chatri Sityodtong. — Insights into manifold, international experiences as an entrepreneur
Wed, April 20, 2016 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Compiler Related Research Projects at Eötvös Loránd University. Dániel Leskó. — Introduction into several industry driven research projects.
Wed, April 20, 2016 14:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Functional Reactive Programming for Real-Time and Cyber-Physical Systems. Prof. Albert M.K. Cheng. — Response Time Analysis, Scheduling, and Verification
Fri, April 15, 2016 14:00, c.t. — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Vortrag

Formal Methods for Dynamical Systems. Prof. Calin Belta. — In control theory, complex models of physical processes, such as systems of differential equations, are usually checked against simple specifications, such as stability and set invariance.
Fri, April 15, 2016 10:00 — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

Learnings from 20+ Startups. Stefan Kalteis. — Response Time Analysis, Scheduling, and Verification
Wed, April 13, 2016 17:00 –19:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Intrusion detection systems for Smart Grid: model-based anomaly detection. Dr. Anna Magdalena Kosek. — The shift from centralized large production to distributed energy production has several consequences on the current power system operation.
Mon, April 11, 2016 16:30 –18:00 — TU Wien, HS 17 Friedrich Hartmann — Forschung, Vortrag

Failure as Part of Entrepreneurship and How to Learn from it. Damian Izdebski. — "As an entrepreneur you have to make decisions - hundreds of decisions, big and small, every day. So at the end of the day, you have to take responsibility for that.“
Wed, April 6, 2016 17:30 –19:30 — TU Wien, EI 7 — Forschung, Vortrag

Dr. Robert Tobler 1968 - 2016. Obituary
Wed, April 6, 2016 — News

Cyber-physical Systems: The World is Going Smart. From computer chips triggering an airbag to smart cities: “cyber-physical systems” are changing our world. During CPS-week (April 11 -14. 2016), the international scientific community comes together in Vienna.
Fri, April 1, 2016 — Konferenz

March 2016

Innovation through disruption and focus. Ali Mahlodji. — He tells how he launched an international success story after dropping out of school and taking more than 40 different jobs in succession.
Wed, March 16, 2016 18:00 –20:00 — TU Wien, EI 7 — Forschung, Vortrag

Nachruf: Helmut Veith. Prof. Veith died tragically on March 12, 2016. He fell into a coma due to unforeseen complications following routine surgery; he died without regaining consciousness. — Die TU Wien und die Fakultät für Informatik trauern um Univ.Prof. Dipl.-Ing. Dr.techn. Helmut Veith, der am 12. März 2016 nach kurzer schwerer Krankheit im 46. Lebensjahr verstorben ist.

LogicLounge with Cliff B. Jones. Prof. Cliff B. Jones. — Formal Methods and the IBM Vienna Lab
Mon, March 7, 2016 17:30 –18:30 — TU Wien, Boecklsaal — Veranstaltung

Hybrid Information Flow Analysis for Programs with Arrays. Dr. Gergö Barany. — Using a subset of C as the target language, we extend previous work on hybrid information flow analysis that handled pointers to scalars.
Tue, March 1, 2016 14:00 –15:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

February 2016

Private Function Evaluation - On the Gap Between Theory and Practice. Assoc. Prof. Stefan Rass. — Demonstrating the crucial relevance of (logical) side-channel attacks for private function evaluation.
Wed, February 24, 2016 16:30 –18:00 — TU Wien, FH Hörsaal 5 — Forschung, Vortrag

Networking Friday – Entrepreneurship & Innovation @TU Wien. The annual i²c Networking Friday concludes the 3 day commercialisation bootcamp for sciencepreneurs of TU Wien.
Fri, February 19, 2016 09:00 –17:00 — TU Wien, Kuppelsaal — Forschung, Vortrag

StartAcademy February 16-19, 2016 - Call for Applications. Submission Deadline: November 22, 2015
Tue, February 16 – Fri, February 19, 2016 — Course, Lehre, Workshop

Hidden GEMs: Automated Discovery of Access Control Vulnerabilities in Graphical User Interfaces. Prof. Engin Kirda. — Graphical user interfaces (GUIs) are the predominant means by which users interact with modern programs.
Fri, February 5, 2016 11:00 — SBA Research (Secure Business Austria) — Forschung, Vortrag

Data-driven and model-based quantitative verification and correct-by-design synthesis of CPS. Prof. Alessandro Abate. — Discussion about a new and formal, measurement-driven and model-based automated verification and synthesis technique.
Fri, February 5, 2016 10:30 — Seminarraum Technische Informatik — Forschung, Vortrag

Semesterferien Februar 2016. Workshops für Kinder
Mon, February 1 – Fri, February 5, 2016 — TU Wien, Fakultät für Informatik — Course

January 2016

Big Data Graph Algorithms. Dr. Christian Schulz. — The talk covers recent work on big data graph algorithms.
Thu, January 28, 2016 13:00 — TU Wien, EI 2 Pichelmayer-Hörsaal — Vortrag

E-commerce, Changed Markets and Innovation. Mag. Werner Wutscher. — The world constantly changes along with digitalization similarly to the way we communicate with each other.
Wed, January 20, 2016 18:00 –19:30 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Information and Telecommunications Technologies for Active and Healthy Ageing. Assoc.Prof. Maurizio Marchese. — Statistical projections of various institutions show that the future costs for public institutions will increase as a consequence of the growth of the global older adult population.
Mon, January 18, 2016 11:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Interactive Visual Analysis of Biomolecular Simulations. Dr. Michael Krone. — Molecular dynamics simulations allow scientists to run virtual experiments that can even reproduce the interactions in molecular systems with previously unknown behavior.
Fri, January 15, 2016 10:30 — TU Wien, Seminarraum 186 — Forschung, Vortrag

December 2015

The Tensor Contraction Engine. Prof. Dr. Gerald Baumgartner. — A Domain-Specific Approach to Synthesizing High-Performance Codes for Quantum Chemistry
Thu, December 17, 2015 10:30, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Comprehending Monadic Queries. Prof. Jeremy Gibbons. — How generalisations of the comprehension notation can be used to provide an explanation and a reasonable implementation for relational joins.
Mon, December 14, 2015 16:00 — TU Wien, Zemanek — Forschung, Vortrag

Visual structures in InfoVis. Kresimir Matkovic. — Visualizing 1D, 2D, 3D, and nD Data
Mon, December 14, 2015 15:00, s.t. — TU Wien, Seminarraum von Neumann — Vortrag

Automating invariant and progress proofs for distributed systems. Prof. Sayan Mitra. — This talk will discuss an approach for automating correctness proofs of distributed systems using small model properties and automatic theorem provers.
Thu, December 10, 2015 17:30 –19:00 — TU Wien, Zemanek — Forschung, Vortrag

Visualization of protein complexes: from protein interactions to cellular processes. Assoc. Prof. Jan Palecek. — A review of state-of-the-art experimental methods for protein/complex analysis and their output formats, including animations of molecular machines.
Fri, December 4, 2015 10:30 –12:00, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Research Cooperation and Researcher/Student Exchange Program. Prof. Henri Angelino. — National Research Instituts of Informatics (NII) Tokyo, Japan
Thu, December 3, 2015 15:30 –16:00 — TU Wien, FH Hörsaal 6 — Veranstaltung

November 2015

Symposium on Geometry and Computational Design. Leading researchers will present recent developments in geometry, computer graphics, computational design and architectural engineering.
Mon, November 30, 2015 09:30 –18:30 — TU Wien, Kuppelsaal — Veranstaltung

Schahram Dustdar elevated to IEEE Fellow. Prestigious distinction for Head of Distributed Systems Group for his research in Internet Technologies
Fri, November 27, 2015 — Auszeichnung, Forschung

Raising Capital Through the Lifecycle of a Company. Ivan Nikkhoo. — Workshop for TU Scientists by Ivan Nikkhoo
Thu, November 26, 2015 15:00 –19:00 — TU Wien, Zemanek — Workshop

Creating A Sustainable Technology Ecosystem: Let Entrepreneurship Flourish. Ivan Nikkhoo. — Ivan Nikkhoo will be discussing what it takes to create a sustainable digital ecosystem.
Wed, November 25, 2015 18:00 –19:30 — TU Wien, EI 8 Pötzl-Hörsaal — Forschung, Vortrag

Cyber-Security in Critical Infrastructure Protection using Experimental Facilities. Dr Yannis Soupionis. — A novel approach for simulating and emulating parts of critical interconnected infrastructures is presented, which is used as a testbed for policy supporting and research purposes.
Wed, November 25, 2015 17:00 –18:30 — TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Vortrag

Things of Practice. Prof. Ron Wakkary. — Research on everyday creativity, design artifacts for research, and critical and speculative reasoning in design that leads to inquiries on new types of interaction design artifacts, materials, conceptual understandings, and methods.
Fri, November 20, 2015 14:30 — TU Wien, Institut für Gestaltungs- und Wirkungsforschung — Forschung, Vortrag

Digital Humanities: Towards Learning from eScience. Prof. Frank Leymann, Johanna Barzen. — When taking a closer look at natural sciences and engineering the use of concepts, methods and technologies of computer science is in an advanced stage.
Thu, November 19, 2015 16:00 — TU Wien, Zemanek — Forschung, Vortrag

Context Specifications in Formal Grammars. PhD Mikhail Barash. — An attempt to implement N. Chomsky’s idea (1959) of a phrase-structure rule applicable in a context and an introduction of an extension of context-free grammars.
Thu, November 12, 2015 13:00 –14:00 — Seminar room DA03E10 — Forschung, Vortrag

Information theory of algorithms: How precisely should we compute?. Prof. Dr. Joachim M. Buhmann. — An information theoretic framework for algorithm analysis.
Thu, November 5, 2015 14:00 — Seminar room 186 — Vortrag

The museum as a living lab. Prof. Tsvi Kuflik. — A case study for using mobile technology for inferring social aspects in the museum.
Wed, November 4, 2015 17:00 — TU Wien, Zemanek — Vortrag

Exploring Research Dynamics with Rexplore. Prof. Enrico Motta, Dr. Francesco Osborne. — Rexplore is a platform that integrates innovative techniques in large-scale data mining, semantic technologies and visual analytics, to provide a leading-edge solution for exploring and making sense of scholarly data.
Tue, November 3, 2015 14:30 –15:30 — TU Wien, Zemanek — Forschung, Vortrag

October 2015

A New Foundation for Computing Science. Prof. Dines Bjorner. — This talk is organized by the Vienna PhD School of Informatics.
Thu, October 29, 2015 14:00 — TU Wien, HS 1 — Forschung, Vortrag

Seven Deadly Sins against privacy and personal data protection in the (European) smart grids roll-out. Dr. Niels van Dijk, LL.M. Dariusz Kloza. — Cyber Security Lecture Series
Wed, October 21, 2015 16:30 — TU Wien, FH Hörsaal 8 — Vortrag

General, nested, and constrained Wiberg minimization. Dennis Strelow. — Ultra-wide baseline matching
Thu, October 15, 2015 15:00 — TU Wien, HS 18 Czuber Hörsaal — Vortrag

Austrian Computer Science Day 2015. The Austrian Computer Science Day (ACSD) is a yearly assembly which aims to bring together computer scientists across Austria.
Thu, October 15, 2015 09:00 –18:00 — TU Wien, Kuppelsaal — Auszeichnung, Veranstaltung, Vortrag

Preparing Next Generation of Software Engineers for Future Societal Challenges and Opportunities. Prof. Gordana Dodig-Crnkovic. — As a global community we are facing number of existential challenges.
Wed, October 14, 2015 11:30, s.t. — TU Wien, Institut für Gestaltungs- und Wirkungsforschung — Forschung, Vortrag

A Taxonomy of Computation and Information Architecture. Prof. Gordana Dodig-Crnkovic. — Nowadays computation is typically understood through the Turing machine model, in the fields of computability, computational complexity and even as a basis for present-day computer hardware and software architectures.
Tue, October 13, 2015 16:15 — OCG, Heinz Zemanek-Saal — Forschung, Vortrag

A Theory of Programs. Bertrand Meyer. — Describing programs, programming languages and programming in a simple mathematical framework.
Mon, October 12, 2015 10:00 –11:00 — HS 1

11th European Computer Science Summit (ECSS 2015) in Vienna. Informatics in the future – in the year 2025
Mon, October 12 – Wed, October 14, 2015 — TU Wien — Konferenz

September 2015

Incremental Computation with Adapton. Prof. Dr. Jeffrey S. Foster. — A computation is incremental if repeating it with a changed input is faster than from-scratch recomputation.
Thu, September 24, 2015 11:00, s.t.

Researchers create personal mobility assistant for road users. Successful results of EU project SIMPLI-CITY
Wed, September 23, 2015 — Forschung

RV 2015. 15th International Conference on Runtime Verification
Tue, September 22 – Fri, September 25, 2015 — Prechtlsaal, TU Wien main building — Konferenz

RecSys2015. 9th ACM Conference on Recommender Systems
Wed, September 16 – Sun, September 20, 2015 — TU Wien, Freihaus — Konferenz

CPS Week 2016 - Call for Papers. The conferences and workshops of the CPS Week in April 2016 will bring more than 700 international visitors to Vienna. Submit your papers until Oct. 23, 2015.
Wed, September 2 – Fri, October 23, 2015 — Hofburg Vienna — Konferenz

August 2015

Euro-Par 2015. The prime European conference on all aspects of parallel and distributed processing.
Mon, August 24 – Fri, August 28, 2015 — TU Wien — Konferenz

Abstract Interpretation as Automated Deduction and Efficient Model Based Diagnosis with Maximum Satisfiability. Caterina Urban, Alexey Ignatiev. — The FORSYTE group of the Institute of Information Systems would like to invite you to these two talks.
Fri, August 14, 2015 09:30 –11:00 — Hörsaal SEM 104 — Vortrag

Helmut Veith receives CAV Award. Formal Methods professor is one of the recipients of prestigious annual award
Thu, August 6, 2015

New Algorithms and Lower Bounds in Distributed Computing. Stephan Holzer. — We study several classical graph-problems such as computing all pairs shortest paths, as well as the related problems of computing the diameter, center and girth of a network in a distributed setting.
Tue, August 4, 2015 16:00 — Menger room

July 2015

Dynamic Programming for Lazy Bastards. Peter Stadler. — Dynamic Programming (DP) Algorithms are very common in bioinformatics.
Wed, July 8, 2015 16:00, c.t. — TU Wien, EI 2 Pichelmayer-Hörsaal — Forschung, Vortrag

June 2015

Can Modalities Save Naive Set Theory?. Prof. Dana S. Scott. — In October of 2009 at Stanford University, the late Grigori “Grisha” Mints asked the senior author whether a naive set theory could be consistent in modal logic.
Mon, June 29, 2015 18:00, c.t. — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

Interactive Visualization Techniques for Molecular Structures. Dr. Timo Ropinski. — Within this talk I will cover our recent work in the area of molecular visualization.
Fri, June 26, 2015 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Interactive Music Forms – Will Audiences Interact. Tracy Redhead. — LUNCHTIME DOUBLE FEATURE PART 2
Mon, June 22, 2015 13:00 — TU Wien, Bibliothek 187/2 — Vortrag

Virtual business role-play: leveraging familiar environments to prime stakeholder memory during process elicitation. Dr. Ross Brown. — LUNCHTIME DOUBLE FEATURE PART 1
Thu, June 18, 2015 11:00 — TU Wien, Bibliothek 187/2 — Vortrag

IT as Business Enabler at Eurotours. How Eurotours uses IT as a strategic asset to stay ahead in the World of Travel
Wed, June 10, 2015 17:00, s.t. — TU Wien, Zemanek — Vortrag

From Pointers to List Containers. Prof. Tomáš Vojnar. — Part of the lecture series „Current Trends in Computer Science“.
Wed, June 10, 2015 16:00 — TU Wien, EI 2 Pichelmayer-Hörsaal — Vortrag

Leveraging Computational Social Science to address Grand Societal Challenges. Prof. Noshir Contractor. — Vortrag aus der PhD school Series "Current Trends in Computer Science"
Tue, June 9, 2015 17:00 — TU Wien, EI 2 Pichelmayer-Hörsaal — Vortrag

Symposium on New Frontiers in Knowledge Compilation. This symposium is supported by VCLA and the Wolfgang Pauli Institute.
Mon, June 8, 2015 — Konferenz

Attribute-Based Access Control Models and Beyond. Prof. Ravi Sandhu. — This talk will provide a perspective on attribute-based access control (ABAC).
Wed, June 3, 2015 16:30 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Business Informatics Day 2015. Ulrich Frank. — Monday, 1st June 2015
Mon, June 1, 2015 16:00 — TU Wien, Zemanek — Forschung, Vortrag

Image processing applications in small and big scales. László G. Nyúl. — Vortrag aus der PhD school Series "Current Trends in Computer Science"
Mon, June 1, 2015 14:00 — TU Wien, EI 3 Sahulka-Hörsaal — Vortrag

Tablets in space: How spatially-aware interaction with mobile devices can improve cognition and collaboration. Hans-Christian Jetter. — I will talk about our new technology HuddleLamp that tracks the positions of multiple uninstrumented, off-the-shelf mobile devices in a room or on a desk.
Mon, June 1, 2015 13:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

May 2015

Verification and Performance Evaluation of Specialized Polyhedral Parallel Code. Dr. Markus Schordan. — It is critical to develop methods and tools to automatically assert the correctness of programs generated by modern optimizing compilers that involve parallelization and loop transformations.
Fri, May 22, 2015 15:00, s.t. — TU Wien, Seminarraum Argentinierstrasse — Forschung, Vortrag

Reliability Engineering. Clemens Fruhwirth. — Google TechTalk @ TU Wien, Kooperationsveranstaltung der Fakultät für Informatik mit Google
Thu, May 21, 2015 15:30 –17:30 — TU Wien, EI 3 Sahulka-Hörsaal — Vortrag

Battle Field Flea Market - Learnings from a Detour to Success. Katharina Klausberger. — Katharina Klausberger, her Co-founder and a small, but extremely motivated team worked on another startup idea when they decided to give the byproduct, Shpock, a try.
Wed, May 20, 2015 17:00 — TU Wien, Zemanek — Forschung, Vortrag

On Smart Factories. Dr. Sabine Herlitschka. — The talk will present Infineon's view on smart factories and the necessary ingredients thereof.
Mon, May 18, 2015 16:00 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

Formal Software Synthesis of Computational Kernels. Prof. Dr. Franz Franchetti. — In this talk we address the question of how to automatically map computational kernels across a wide range of computing platforms to highly efficient code, and prove the correctness of the synthesized code.
Mon, May 18, 2015 14:30 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Angel-Startup-Relationship: From The Angel’s Perspective. Dr. Johann 'Hansi' Hansmann. — In this talk, Dr. Johann Hansmann, will give general insights on an angel job profile.
Wed, May 13, 2015 17:00 — TU Wien, Zemanek — Vortrag

E-Assessment for Open Design Tasks in Software Engineering. Michael Goedicke. — Assessing exercises, which involve complex artefacts like program code or formal models is a major challenge in e-learning. In order to support a self-paced learning process in addition to usual summative exercises a special focus has to be on formative assessments. This kind of assessment has to generate useful feedback to errors or glitches in a given solution.
Wed, May 13, 2015 16:00 — TU Wien, EI 2 Pichelmayer-Hörsaal — Forschung, Vortrag

Search for the Science of Computing: Competing Viewpoints. Matti Tedre. — Vortrag aus der PhD school Series "Current Trends in Computer Science"
Tue, May 12, 2015 16:00 — TU Wien, HS 8 Heinz Parkus-Hörsaal — Vortrag

A Multi-Agent Based Approach to Enable Cyber Physical Production Systems. Prof. Dr.-Ing. Birgit Vogel-Heuser. — In order to be prepared for future challenges facing industrial production domain, Cyber-Physical Production Systems (CPPS) consisting of intelligent entities which collaborate and exchange information globally are being proclaimed recently as the 4th industrial revolution.
Thu, May 7, 2015 16:00 — TU Wien, Zemanek — Vortrag

April 2015

Traveling Guide Maps Visualization through Constrained Optimization. Hsiang-Yun Wu. — This talk presents several optimization approaches to customizing and designing the traveling guide maps.
Thu, April 30, 2015 09:30 — TU Wien, Seminarraum 186 — Vortrag

Parametric and Non-parametric Statistics for Code Performance Analysis and Comparison. Prof. Dr. Touati Sid. — When observing program performances in practice, one could be faced to non-negligible variations, even if program input is fixed.
Mon, April 27, 2015 15:00, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

Graph Decomposition for Large-Scale Dynamical System Analysis. Dr. James Anderson. — In this talk I will consider the problem of stability verification of large-scale dynamical systems using techniques from convex optimization and algebraic graph theory.
Fri, April 24, 2015 11:30 –13:00, s.t. — TU Wien, Seminarraum Gödel — Vortrag

Hurdle Race of Runtastic DOs, DON´Ts, do-overs & obstacles. Florian Gschwandtner. — This lecture is part of the "Public Lecture Series on Innovation Cases" and organized by the Informatics Innovation Center and Faculty of Informatics.
Wed, April 22, 2015 18:00 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

Research at the Virtual Environments and Imaging Technologies Laboratory. Dr. Cecília Sik Lányi. — Activities in the Laboratory; Photometry and Colorimetry of Light Emitting Diodes; Psychophysical Visual Investigations; Virtual Reality and Multimedia
Mon, April 20, 2015 14:00 — TU Wien, Bibliothek 187/2 — Vortrag

Network Science: From structure to control. Albert-László Barabási. — Systems as diverse as the world wide web, Internet or the cell are described by highly interconnected networks with amazingly complex topology.
Mon, April 13, 2015 17:30 — TU Wien, FH Hörsaal 5 — Forschung, Vortrag

Real-time Model Predictive Control for the Optimal Charging of a Lithium-ion Battery. Davide M. Raimondo. — This talk is organized by the Vienna PhD School of Informatics and part of the lecture series „Current Trends in Computer Science“.
Mon, April 13, 2015 14:00 –15:30 — TU Wien, EI 9 Hlawka-Hörsaal — Vortrag

Usable Security and Privacy in Mobile and Wearable Computing. Katharina Krombholz. — In general, the security of an information system is determined by the security capabilities of the weakest link in the chain.
Mon, April 13, 2015 13:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

March 2015

From the Vision of a Novel Innovation Process to the Mission of HYVE – Insights of a leading Innovation Agency. Dr. Johann Füller. — In the year 2000 HYVE set off with the vision of a novel innovation process which connects users, customers, vendors and developers via internet and thereby enables the collaborative development of customer-centric and trailblazing innovations.
Wed, March 25, 2015 16:30 — TU Wien, Zemanek — Vortrag

Embedding novel and surprising elements in touch-screen games for children with autism: Designing experiences “worth communicating about”. Alyssa Alcorn. — Young children with autism spectrum conditions (ASC) are a distinct group with respect to HCI, both because of the nature of ASC, and because many ASC-specific technologies need to address foundational social skills that typically developing children acquire without specific instruction.
Wed, March 25, 2015 13:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

A new approach to intrusion detection and prevention. Robert W. Griffin. — Reactive security controls, such as traditional intrusion protection and prevention technologies, are no longer able to defend your organization against the polymorphic and complex attacks we face today.
Tue, March 17, 2015 16:30 –18:00 — TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Vortrag

From Founder to Advisor. Thomas Peruzzi. — How managed Advisory Boards can drive Business Success
Wed, March 11, 2015 17:00 –18:30 — TU Wien, Zemanek — Veranstaltung

New series of social events for doctoral students. Meet & Greet for all doctoral students of the Faculty of Informatics
Tue, March 10, 2015 10:00 –11:30, s.t. — TU Wien, Zemanek — Veranstaltung

February 2015

Software Defenses Inspired by Biodiversity. Prof. Dr. Michael Franz. — Today’s software monoculture creates asymmetric threats. An attacker needs to find only one way in, while defenders need to guard a lot of ground.
Fri, February 20, 2015 11:00, s.t. — TU Wien, Bibliothek 185/1 — Vortrag

i²c StartAcademy Network Friday. The i²c StartAcademy NetworkFriday offers a networking event with four highly valuable program points.
Fri, February 20, 2015 10:30 –15:00 — TU Wien, Prechtl-Saal — Workshop

January 2015

Parametric Strategy Iteration. Helmut Seidl. — Program behavior may depend on parameters, which are either configured before compilation time, or provided at runtime, e.g., by sensors or other input devices.
Tue, January 27, 2015 17:30 — TU Wien, EI 4 Reithoffer-Hörsaal — Forschung, Vortrag

Protecting the Critical National Infrastructure from Cyber Attack: Requirements & Research Questions?. Dr. Kevin Jones. — Securing the Critical National Infrastructure (CNI) from Cyber Attack is the focus of significant global research amongst a background of increased attack vectors and growing interest from governments worldwide.
Tue, January 27, 2015 16:30 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Modelling Language Evolution. Hans Vangheluwe. — In model-driven engineering, evolution is inevitable over the course of the complete life cycle of complex software-intensive systems and more importantly of entire product families.
Mon, January 19, 2015 17:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

Current and Future Trends in HCI. Panel discussion with Liam Bannon and Volker Wulf about ‘Current and Future Trends in HCI’. Both are distinguished figures within the field. The discussion will be lead by Geraldine Fitzpatrick, head of the Institute for Design & Assessment of Technology.
Mon, January 19, 2015 13:00 — TU Wien, Bibliothek 187/2 — Vortrag

The Future of High Performance Computing. Randy Bryant. — Computer technology has become pervasive in all aspects of our society in part because computers keep getting more powerful, both in how fast they run and in how much data they can store and process.
Thu, January 15, 2015 17:30 — TU Wien, Konferenzsaal TUthesky — Forschung, Vortrag

December 2014

Fetal MRI: Fast volumetric super-resolution reconstruction of organs from moving subjects. Bernhard Kainz. — Magnetic Resonance Imaging (MRI) is a primary tool for clinical investigation of the brain and fetal organs.
Fri, December 19, 2014 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Perceptual Display: Towards Reducing Gaps Between Real World and Displayed Scenes. Karol Myszkowski. — The human visual system (HVS) has its own limitations (e.g., the quality of eye optics, the luminance range that can be simultaneously perceived, and so on), which to certain extent reduce the requirements imposed on display devices.
Fri, December 12, 2014 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

i²c StartAcademy. The Informatics Innovation Center offers a new service for members of all faculties of TU Vienna:
Tue, December 9, 2014 — Course, Lehre, Workshop

UML as a programming language. Ed Seidewitz. — The Unified Modeling Language (UML) is, of course, a modeling language.
Wed, December 3, 2014 16:00 — TU Wien, Zemanek — Forschung, Vortrag

November 2014

Algorithmic Verification of Stability of Hybrid Systems. Pavithra Prabhakar. — Hybrid systems refer to systems exhibiting mixed discrete-continuous behaviors and arise as a natural byproduct of the interaction of a network of embedded processors with physical systems.
Thu, November 27, 2014 17:00 –18:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

Parameterized Verification: Theory and Practice. Lenore D. Zuck. — The talk will provide with a background on automatic generation of invariants and other constructs used in verification parameterized systems (for safety proofs, this method is sometimes referred to as "Invisible Invariants").
Thu, November 27, 2014 15:30 –17:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

Practical use of ICT in Governance: Development of the Smart Cities in Societal Perspective. Uroš Pinterič. — Smart cities seem to be one of the modern administrative / development concepts, trying to combine urban areas’ development with a higher level of citizens’ participation.
Thu, November 20, 2014 15:30 — TU Wien, Zemanek — Forschung, Vortrag

October 2014

Understanding Understanding Source Code with Functional Magnetic Resonance Imaging. Dr. Janet Siegmund. — Program comprehension is an important cognitive process that inherently eludes direct measurement.
Wed, October 29, 2014 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Point Morphology. Stéphane Calderon. — We introduce a complete morphological analysis framework for 3D point clouds.
Fri, October 10, 2014 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Combination of Static Analysis and Model Checking Techniques for Scalable Verification. Dr. Markus Schordan. — We present an approach for the combination of techniques from model checking and static analysis for the verification of reactive systems.
Fri, October 3, 2014 14:00, c.t. — TU Wien, Seminarraum Argentinierstrasse — Forschung, Vortrag

September 2014

Diploma Supplement on Innovation: Call for Applications. The Faculty of Informatics at the Vienna University of Technology invites national and international applicants to its Informatics Innovation Center (i²c). Application deadline for courses starting in March 2015 is November 24, 2014. The info event on the dipoma supplement takes place on November 5, 2014.
Tue, September 30, 2014 — Lehre, News

Realistic physically-based simulations and real-time computer graphics: a narrowing gap. Bart Postma. — Computational Science and Visualization have been the focus of my studies and research for the last several years.
Fri, September 26, 2014 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Perspectives on Software Visualization. Dr. Fabian Beck. — Software visualization addresses the visual representation of software systems, their dynamic execution, and their development process.
Mon, September 8, 2014 16:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

LogiCS — Doctoral College on Logical Methods in Computer Science. Funded Doctoral Positions in Computer Science — next application period started.
Tue, September 2, 2014 — News

August 2014

Scratch & Snap! Easy programming for the young generation. The Faculty of Informatics hosts the third conference on Constructionism and Creativity in August 2014. Keynote speakers are well-known scientists and developers such as Mitchel Resnick, inventor of the programming environment “Scratch”, Brian Harvey, inventor of “SNAP!” and Wolfgang Slany, who won the Austrian Innovation Award for the mobile programming tool “Catrobat”.
Tue, August 19 – Sat, August 23, 2014 — TU Wien, Campus EI (Elektrotechnik) — Forschung, Konferenz

July 2014

Scalable Surface-Based Stereo Matching. Prof. Daniel Scharstein. — Stereo matching — establishing correspondences between images taken from nearby viewpoints — is one of the oldest problems in computer vision.
Mon, July 7, 2014 11:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Enclosing Hybrid Behavior up to and Beyond a Zeno Point. Professor Walid Taha. — Even simple hybrid systems like the classic bouncing ball can exhibit Zeno behaviors.
Mon, July 7, 2014 10:00, s.t. — TU Wien, Vortragsraum der Bibliothek — Forschung, Vortrag

June 2014

Three Research Perspectives on Business Process Management. Prof. Dr. Jan Mendling. — Business process management is an area of research that integrates computer science, information systems research, operations management and management science.
Tue, June 17, 2014 17:00 –19:00 — TU Wien, Seminarraum Gödel — Forschung, Vortrag

Web Engineering Research: Is there an elephant in the room?. Prof. Dr. Moira C. Norrie. — Vast numbers of web sites are now developed using WordPress and yet there has been little research addressing the challenges faced by WordPress developers.
Wed, June 11, 2014 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Austrian Computer Science Day 2014. Annually this event aims to strengthen the networking between computer scientists nationwide and to provide a communication platform for highlighting the excellence of Austrian computer science.
Fri, June 6, 2014 — Aula of Graz University of Technology — Forschung, Konferenz

Local ecosystem, coordinating actions, push changes onto public administration. Paolo Lombardi, Matteo Cevese. — Case of Trentino.
Thu, June 5, 2014 17:00 –19:00, s.t. — TU Wien, Prechtl-Saal — Lehre, Vortrag

Performance Analysis. Associate Professor Mohsin Iftikhar. — Analyzing hybrid scheduling-cum polling mechanisms multiple classes of self-similar and long-range dependent traffic input.
Thu, June 5, 2014 16:00 — TU Wien, Bibliothek 182/1 — Vortrag

On the Foundations of Systems. Prof. Rainer E. Zimmermann. — The talk deals with the problem of foundations.
Thu, June 5, 2014 12:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Vienna Gödel Lecture 2014: Erik Demaine. Prof. Erik Demaine. — The "Vienna Gödel Lecture of the Faculty of Informatics 2014" will be held on June 4th, 2014 by Erik Demaine from the Massachusetts Institute of Technology. He became with 20 years the youngest professor of computer science.
Wed, June 4, 2014 17:30 –19:30, s.t. — TU Wien, EI 7 — Forschung, Vortrag

Bring me to the money!. Daniel Horak. — Or: How do I finance my startup?
Wed, June 4, 2014 17:00 –19:00, s.t. — TU Wien, Zemanek — Lehre, Vortrag

Using searchCrystal to Visualize Set Data. Assistant Professor Anselm Spoerri. — This talk will address how set data can be visualized using searchCrystal, which is a toolset of coordinated visualizations that can be used to compare, remix and share set data.
Tue, June 3, 2014 15:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

May 2014

Algorithmic knowledge discovery with lattices of closed descriptions. Sergei O. Kuznetsov. — Lattices of closed descriptions started in early 1970s as Galois lattices (treillis de Galois) for describing classes of objects given by binary object-attribute data tables.
Mon, May 26, 2014 16:00, c.t. — TU Wien, Seminarraum Gödel — Forschung, Vortrag

Optimal Streamlines and Streamsurfaces for 3D Flow Visualization. Prof. Dr. Holger Theisel. — Streamlines and Streamsurfaces are standard tools for the visual analysis of flow data.
Fri, May 23, 2014 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Building Applications for the Cloud: The Wrong, the Right, the Solid Way. Prof. Frank Leymann. — Since the advent of Cloud Computing Technology the question of how to use the cloud for moving existing applications to the cloud or how to build new applications for the cloud gets more and more pressing.
Thu, May 22, 2014 15:30 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

From lab to market – will it work?. Philipp Liegl. — Lessons learned from founding a spin-off at TU Vienna
Wed, May 21, 2014 17:00 –19:00, s.t. — TU Wien, Zemanek — Lehre, Vortrag

Active Fault Diagnosis for Uncertain Systems. Davide M. Raimondo. — Component malfunctions and other faults pose a significant threat to the safety and efficiency of complex systems, such as aircrafts, power systems, and chemical plants.
Mon, May 19, 2014 16:30 — TU Wien, EI 2 Pichelmayer-Hörsaal — Forschung, Vortrag

A new Approach to Intrusion Detection and Prevention. Robert W. Griffin. — Reactive security controls, such as traditional intrusion protection and prevention technologies, are no longer able to defend your organization against the polymorphic and complex attacks we face today.
Mon, May 19, 2014 16:30, s.t. — TU Wien, HS 17 Friedrich Hartmann — Forschung, Vortrag

Lecture by Ivan Sutherland (Turing Award 1988). Ivan E. Sutherland. — The Turing Award is recognized as the "highest distinction in Computer science" and "Nobel Prize of computing". The award is named after Alan Turing, mathematician and reader in mathematics at the University of Manchester.
Fri, May 16, 2014 16:00 –18:00 — TU Wien, Informatikhörsaal — Forschung, Vortrag

Seamless Computations for Interactive Data Analysis. Cagatay Turkay. — The vision of integrating the best of automated computation and capabilities of the human has been a highly praised goal in visualization research and parallels the emergence of visual analytics as a field on its own.
Fri, May 16, 2014 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

There and Back Again. Privatdozent Dr. Arthur Zimek. — Outlier Detection between Statistical Reasoning and Efficient Database Methods.
Thu, May 15, 2014 17:00 — TU Wien, Hörsaal 6 — Forschung, Vortrag

The BLUR Project at Berkeley. Prof. Brian A. Barsky. — Algorithms for Computer Generated Imagery, Computational Photography, and Aiding Human Vision.
Thu, May 15, 2014 15:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

Startup, startdown - Life and Learnings. Bernhard Schandl. — Building a startup in the ICT sector is challenging, but it is also great fun.
Wed, May 7, 2014 17:00 –19:00, s.t. — TU Wien, Zemanek — Lehre, Vortrag

Modeling and Solving the Patient Admission Scheduling Problem. Prof. Andrea Schaerf. — The Patient Admission Scheduling problem consists in scheduling patients within a planning horizon into hospital rooms in such a way to maximize medical treatment effectiveness, management efficiency, and patient's comfort.
Tue, May 6, 2014 17:30 — TU Wien, EI 2 Pichelmayer-Hörsaal — Forschung, Vortrag

April 2014

Cyber-secure control and monitoring in power systems. Prof. Dr. Henrik Sandberg. — Power networks are examples of large-scale critical infrastructures where secure operation is an absolute necessity.
Wed, April 30, 2014 16:30 — Seminarraum 1/3 OPG — Vortrag

User Mobility Patterns. Prof. Peter Scheuermann. — A Gold Mine for Intrusion Detection of Mobile Devices.
Wed, April 30, 2014 14:30 — TU Wien, EI 2 Pichelmayer-Hörsaal — Forschung, Vortrag

Special Lecture on Planetary Science. Leading scientists in the field of planetary science will give special lectures on their research work. They will explain how imagery from orbiters and rovers are processed and used for scientific analysis.
Wed, April 30, 2014 13:30 –15:00 — VRVis (TechGate Vienna) — Forschung, Vortrag

From Founder to Business Angel & Social Investor. Michael Altrichter. — Living the entrepreneurial dream?
Tue, April 29, 2014 17:00 –19:00, s.t. — TU Wien, Zemanek — Lehre, Vortrag

From Neanderthals to Ambient Assisted Learning. Javier Jaén. — Javier Jaén will discuss in this seminar how technology has changed and will change education.
Mon, April 28, 2014 12:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

"Mine Your Own Business": Evidence-Based BPM using Process Mining. Prof.dr.ir. Wil van der Aalst. — Turning Event Data Into Valuable Insights on Performance and Compliance.
Fri, April 11, 2014 11:00 –12:30, s.t. — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

The ML-signal, as a pre-aliasing benchmark signal. Viktor Vad. — In the field of volume visualization the data is usually given as discrete samples.
Fri, April 11, 2014 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Vienna PhD School of Informatics: Call for Applications. The Faculty of Informatics at the Vienna University of Technology invites students from all countries to apply for its Vienna PhD School of Informatics.
Fri, April 11, 2014 — News

March 2014

Formal Concept Analysis - a mathematical theory of qualitative data. Prof. Bernhard Ganter. — Formal Concept Analysis is a field of applied mathematics based on a mathematization of "concept" and "concept hierarchy".
Thu, March 27, 2014 16:00 — TU Wien, Seminarraum Gödel — Forschung, Vortrag

Top 10 successful Start-Up mistakes. Martin Povazay. — Always looking for new hints and clues which boost up your start-up?
Wed, March 19, 2014 17:00 –19:00 — TU Wien, Zemanek — Lehre, Vortrag

Smart Grid Information Security and Privacy. Prof. Dr.-Ing. Frank Pallas. — Between Green Fields and Regulatory Necessities/Inevitabilities.
Wed, March 19, 2014 16:30 — TU Wien, Informatikhörsaal — Forschung, Vortrag

Give&Take. Associate Professor Lone Malmborg. — Designing a reciprocal exchange service for a good and engaged senior life.
Mon, March 17, 2014 13:15 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

February 2014

Open positions: 2 Assistant Professors (Tenure Track). The Faculty of Informatics at the Vienna University of Technology, Austria, invites applications for 2 Assistant Professor positions (tenure track) in the Faculty’s main research areas: Computational Intelligence, Computer Engineering, Distributed and Parallel Systems, Media Informatics and Visual Computing, as well as Business Informatics.

Open position: PROFESSORSHIP of FORMAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE. The Vienna University of Technology intends to appoint a Professor of Formal Foundations of Artificial Intelligence at the Faculty of Informatics for a 5 year term.

January 2014

The Insieme Compiler and Runtime Infrastructure. Dipl.-Ing. Herbert Jordan. — Developing applications for contemporary heterogeneous architectures is a labor intensive task, in particular when aiming for high performance.
Tue, January 28, 2014 17:00, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

The Multicompiler: Software Defenses Using Compiler Techniques. Prof. Dr. Michael Franz. — We have been investigating compiler-generated software diversity as a defense mechanism against cyber attacks. This approach is in many ways similar to biodiversity in nature.
Fri, January 24, 2014 14:00, c.t. — TU Wien, FH Hörsaal 7 — Forschung, Vortrag

Open Power and Power8. Dr. Michael Gschwind. — In this talk I will be describing a major new industry collaboration initiative for joint innovation around the Power architecture with the formation of the Open Power consortium, and provide a preview of Power8, the first processor to be released in support of this initiative and the new Open Power ABI.
Thu, January 23, 2014 14:00, c.t. — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Vortrag

HiPEAC 2014 - Premier Conference on High-Performance and Embedded Architectures and Compilers. The HiPEAC conference aims to become the premier forum for experts in computer architecture, programming models, compilers and operating systems for embedded and general-purpose systems.
Mon, January 20 – Wed, January 22, 2014 — Vienna Marriott Hotel — Forschung, Konferenz

Design of Active Inputs for Fault Diagnosis. Assistant Professor Davide M. Raimondo. — High-performance systems such as chemical plants and aerospace systems are becoming increasingly complex.
Fri, January 17, 2014 10:00 — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

The future of digital signatures. Prof. Johannes Buchmann. — In this talk I explain that digital signatures are the most important cryptographic primitive for current and future IT security solutions.
Thu, January 16, 2014 16:30 — TU Wien, Informatikhörsaal — Forschung, Vortrag

Test automation - How far shall we go?. Univ.Prof. DI Dr. Franz Wotawa. — In my talk I will first discuss the importance and necessity of testing for verification and validation of software and systems.
Thu, January 9, 2014 17:00 — TU Wien, Zemanek — Forschung, Vortrag

December 2013

Syntactic pattern recognition in medical applications. Bartosz Zielinski. — At the beginning of my presentation, I will shortly present the Faculty of Mathematics and Computer Science of the Jagiellonian University in Cracow (Poland).
Thu, December 19, 2013 14:00, c.t. — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

HCI Laboratory at Masaryk University and its Current Research Topics. Barbora Kozlíková. — This talk aims to present current areas of interest of the Human Computer Interaction Laboratory at the Faculty of Informatics, Masaryk University, Brno.
Fri, December 13, 2013 10:30, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

Security challenges and proposals for the Critical Information Infrastructures (CIIs) of Commercial Ports. Prof. Nineta Polemi. — Seaports contain Critical Information Infrastructures (CIIs) - a combination of ICT and industrial control systems - that require protection from attacks, in order to ensure their effective and efficient operation.
Thu, December 12, 2013 16:30 — TU Wien, HS 8 Heinz Parkus-Hörsaal — Forschung, Vortrag

Seeing, Scatterplots, and Shakespeare: Adventures in Data Visualization. Michael Gleicher. — Tools for understanding data require ideas from perception, art, mathematics, as well as the domains that provide the data.
Wed, December 11, 2013 16:00, s.t. — TU Wien, Seminarraum 186 — Forschung, Vortrag

From Active to Reactive Objects. Prof. Dr. Mira Mezini. — Objects in the sense of object-oriented languages are often characterized as active data that accept request-messages and autonomously answer them following an individual plan prescribed (mostly) by their type.
Thu, December 5, 2013 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Designing and optimising reaction fluxes and gene expression data in biological models. Claudio Angione. — Metabolic engineering is a promising biotechnology approach with increasing demand of mathematical models for accurate design purposes. The goal is to overproduce metabolites of interest through genetic or metabolic intervention, as well as to identify non-native synthetic pathways.
Mon, December 2, 2013 11:00 — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

November 2013

Philosophy of Science. Hon.Prof. Dr.phil. Christiane Floyd. — A Course for PhD students in Informatics
Mon, November 25, 2013 12:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Reasoning on UML Class Diagrams - Correctness, Simplification, and Analysis. Mira Balaban. — Models have a central role in the emerging Model Driven Engineering (MDE) approach, whose major theme is the development of software via repeated model transformations.
Tue, November 19, 2013 18:00 — TU Wien, Zemanek — Forschung, Vortrag

User Intentions in Visual Information Retrieval & Multimedia Information Systems. Dr. Mathias Lux. — How to build better multimedia information systems?
Thu, November 14, 2013 15:00 –16:30 — TU Wien, Zemanek — Forschung, Vortrag

From attack trees to attack navigators. Prof. Wolter Pieters. — Information security risk in socio-technical systems.
Thu, November 7, 2013 16:30 — TU Wien, HS 18 Czuber Hörsaal — Forschung, Vortrag

Open position: FULL PROFESSOR (TENURED) of ALGORITHMS AND DATA STRUCTURES. The Vienna University of Technology invites applications for a Full Professor position (tenured) at the Faculty of Informatics.

October 2013

Socially-Aware Interfaces for Supporting Co-located Interactions. Gianluca Schiavo. — One of the important challenges in ubiquitous computing is to improve the technology’s access to information available in the social context.
Thu, October 31, 2013 12:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Your chance for studying in the Southeast Asian megacity Singapore. Scholarships opportunities for qualified students to pursue research at the University of Illinois research center, the Advanced Digital Sciences Center (ADSC) and other science and engineering institutions (SERC RIs) of The Agency for Science, Technology and Research (A*STAR) in Singapore.
Fri, October 25, 2013 — Lehre

Finding Security Bugs in Java Programs using Datalog. Prof. Dr. Bernhard Scholz. — Recently, various zero-day exploits emerged for Java(TM) making computers that run Java(TM) potentially vulnerable.
Mon, October 14, 2013 14:00, c.t. — TU Wien, Seminarraum Argentinierstrasse — Forschung, Vortrag

Home-based Self-care. Nervo Verdezoto. — Understanding and Designing Pervasive Healthcare Technology to Support Care Management Work at Home.
Mon, October 14, 2013 12:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Targeted Cyber Attacks: Examples and Challenges Ahead. Prof. Levente Buttyán. — Stuxnet was the first targeted malware that received worldwide attention for causing physical damage in an industrial infrastructure seemingly isolated from the online world.
Thu, October 10, 2013 16:30 — TU Wien, HS 18 Czuber Hörsaal — Forschung, Vortrag

Diploma Supplement on Innovation: Call for Applications. The Faculty of Informatics at the Vienna University of Technology invites national and international applicants to its Informatics Innovation Center (i²c). Application deadline for courses starting in March 2014 is November 22, 2013. The info event on the dipoma supplement takes place on November 11, 2013.
Thu, October 10, 2013 — Lehre, News

WCET Analysis of Parallel Real-Time Programs. Prof. Dr. Christine Rochange. — In the next years, real-time embedded systems will be built on multicore platforms which provide better energy efficiency than current single-core architectures.
Fri, October 4, 2013 10:00, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

OCR-Free Transcript Alignment. Tal Hassner. — Tal Hassner Department of Mathematics and Computer Science, The Open University of Israel
Wed, October 2, 2013 15:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Digital Libraries and Development. Hussein Suleman. — Digital Libraries as a discipline deals with management, curation, acquisition, discovery and preservation of digital information.
Tue, October 1, 2013 11:30 — Raum HD0115 — Forschung, Vortrag

September 2013

Design of interactive visualizations for supporting complex cognitive activities. Dr. Kamran Sedig. — In this talk I will discuss design of interactive visualization tools that support the performance of complex cognitive activities, such as analytical reasoning, sense making, decision making, and problem solving.
Wed, September 4, 2013 11:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Advances in the Visualization of Multiple, Heterogeneous Data Sources. Dr. Hans-Jörg Schulz. — As the open data movement grows, more and more data sources become freely accessible online.
Tue, September 3, 2013 11:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

Making Geo-Replicated Systems Fast when Possible, Consistent if Necessary. Associate Professor Rodrigo Rodrigues. — Online services distribute and replicate state across geographically diverse data centers and direct user requests to the closest or least loaded site.
Mon, September 2, 2013 10:00 — TU Wien, Seminarraum Gödel — Forschung, Vortrag

August 2013

Interactive Multiresolution and Multiscale Visualization of Large Volume Data. Dr. Susanne K. Suter. — Interactive visualization and analysis of large and complex volume data is an ongoing challenge.
Fri, August 9, 2013 10:30 — TU Wien, Seminarraum 186 — Forschung, Vortrag

Blue Gene/Q: Design for Sustained Multi-Petaflop Computing. Dr. Gschwind Michael. — The Blue Gene/Q system represents the third generation of optimized high-performance computing Blue Gene solution servers and provides a platform for continued growth in HPC performance and capability.
Thu, August 8, 2013 11:00, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Tracing and Monitoring Programs with Extra-functional Properties. Associate Professor Sebastian Fischmeister. — Code instrumentation is a common method for tracing programs.
Mon, August 5, 2013 10:30, s.t. — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

July 2013

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

Videogames and Wellbeing. Dr. Daniel Johnson. — This talk will discuss early results from a number of projects exploring when and how videogames have a positive influence on wellbeing.
Tue, July 16, 2013 12:00 –14:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

CBI 2013 – 15th IEEE Conference on Business Informatics. The IEEE Conference on Business Informatics (CBI) constitutes the next step in the evolution of the IEEE Conference on e-Commerce and Enterprise Computing (CEC).
Mon, July 15 – Thu, July 18, 2013 — TU Wien, Neues EI — Forschung, Konferenz

The Embedded Vision Engine (EVE) for Computer Vision Applications. Dr. Branislav Kisačanin. — The Doctoral College “Computational Perception” at TU Vienna and the Austrian Institute of Technology (AIT), in collaboration with the WIE (Women in Engineering) Group of the IEEE Austria Section, invite you to the following talk by Dr. Branislav Kisačanin.
Thu, July 11, 2013 13:15 –15:00 — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

#nowplaying Gangnam Style. Assistant Professor Markus Schedl. — Harvesting Social Media for Music Information Retrieval.
Thu, July 4, 2013 13:00, c.t. — TU Wien, Seminarraum 188/2 — Forschung, Vortrag

June 2013

Digital Serious Games for Civic Engagement in Urban Planning. Assoc. Prof. Dr. Alenka Poplin. — Case Studies and Research Challenges
Fri, June 28, 2013 10:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

Collaboration and Accessibility. Prof. Hugo Paredes. — Throughout the last decades we have observed a paradigmatic change on the use of information and communication technologies, which has powered the creation of an information and knowledge society, covering and influencing almost every domain of society.
Thu, June 27, 2013 11:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

UML: Once more with meaning. Ed Seidewitz. — The Unified Modeling Language (UML) has arguably succeeded in becoming the most commonly used modeling notation for software development.
Tue, June 25, 2013 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Covariate Selection for Causal Inference with Observational Data. Peter Steiner. — The unbiased estimation of causal treatment effects from observational data requires a statistical analysis that conditions on all confounding covariates.
Mon, June 24, 2013 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Streamix - Streaming Networks with Mixed Time Criticality. Dr. habil. Raimund Kirner. — In this talk we present a stream-based coordination language for mixed time-criticality systems. Mixed time criticality means that the system has different types of timing requirements, ranging from services with hard real-time to soft real-time, performance requirements, and timing-independent services.
Thu, June 20, 2013 14:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

AstraKahn: A Self-tuning Coordination Language for Stream-processing. Prof. Dr. Alex Shafarenko. — The talk will present a conceptual view of a new coordination language based on Kahn's Process Networks (KPN). KPN is a static graph whose edges are streams of messages and whose vertices are stream-processing (pure) functions.
Thu, June 20, 2013 13:00, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Opinion Mining and Lexical Affect Sensing. Alexander Osherenko. — This talk discusses opinion mining and lexical affect sensing. It focuses on automatic detection of emotions and opinions in texts ...
Mon, June 17, 2013 13:00 — TU Wien, Seminarraum 183/2 — Forschung, Vortrag

Towards Future Communication Ecosystems. Univ.-Prof. Dr. Peter Reichl. — Where Technology meets Microeconomics and the User.
Fri, June 14, 2013 10:30, s.t. — Forschung, Vortrag

Specialization and Outsourcing in the Malware Ecosystem. Juan Caballero. — In the cybercrime ecosystem attackers have understood that tackling the entire monetization chain is a daunting task requiring highly developed skills and resources.
Fri, June 7, 2013 12:00, c.t. — TU Wien, FH Hörsaal 3 — Forschung, Vortrag

From the Idea to a Funded Start-up. Thomas Ecker, Bernd Gruber, Martin Oliva. — Experiences in the first round of financing with strategic and financial investors.
Wed, June 5, 2013 17:00, s.t. — TU Wien, Zemanek — Lehre, Vortrag

The Design of Automated Reasoning Systems. Christoph Weidenbach. — An automated reasoning system is the combination of a problem, its model in a logic, the applied calculus and the implementation of the calculus in software.
Tue, June 4, 2013 10:00 — TU Wien, Seminarraum von Neumann — Forschung, Vortrag

May 2013

WWTF Vienna Research Groups for Young Investigators Call 2013 – Cognitive Sciences. Call for expressions of interest
Wed, May 29, 2013 — Forschung

Automated Algorithm Synthesis by the Lazy Thinking Method. Prof. Bruno Buchberger. — In the speaker’s Theorema Project, computer-support for the exploration of mathematical theories is provided.
Wed, May 22, 2013 17:00 — TU Wien, Zemanek — Forschung, Vortrag

How To Tell A Story With and About Data. Robert Kosara. — Visualization provides great tools for exploring and analyzing data, but little research has been done on how to use visualization to convey information.
Wed, May 22, 2013 11:30, s.t. — Forschung, Vortrag

Vienna Gödel Lecture 2013: Vortrag Donald E. Knuth. Mit der „Vienna Gödel Lecture 2013“ am 16. Mai dieses Jahres wird die Fakultät für Informatik an der Technischen Universität Wien die Vortragsserie „Vienna Gödel Lectures of the Faculty of Informatics“ ins Leben rufen, die InformatikwissenschafterInnen von Weltrang als Vortragende nach Wien führen soll.
Thu, May 16, 2013 17:30 –20:00 — TU Wien, EI 7

Founder Business Angel Relationship. Herbert Gartner, Clemens Gasser. — Particularly for start-up and early-stage companies, business angels are vital figures that fill the gap between self-finance and venture capital.
Wed, May 15, 2013 17:00, s.t. — TU Wien, EI 9 Hlawka-Hörsaal — Lehre, Vortrag

Part-based Object Retrieval with Binary Partition Trees. Prof. Xavier Giró-i-Nieto. — In the first part of the talk, Prof. Xavier Giró-i-Nieto will offer an overview of the main research activities at the Image Processing Group of the Universitat Politecnica de Catalunya.
Tue, May 14, 2013 16:30 –18:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Vortrag

Austrian Computer Science Day 2013. In collaboration with the Austrian Computer Society, this event aims to strengthen the networking between computer scientists nationwide and to provide a communication platform for highlight-ing the excellence of Austrian computer science.
Fri, May 3, 2013 — IST Austria, Raiffeisen Lecture Hall — Forschung, Konferenz

April 2013

Optimal Robot Path Planning with LTL Specifications. Jana Tumova. — We focus on automatic optimal control strategy synthesis specifically tailored for mobile robotic systems.
Mon, April 22, 2013 16:00, c.t. — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

Shape in Visual Awareness. Prof. Dr. Jan J. Koenderink. — Visual Awareness is a systolic process that “just happens” about every tenth of a second. Awareness is prepersonal.
Fri, April 19, 2013 10:30, s.t. — Forschung, Vortrag

Vienna PhD School of Informatics: Call for Applications. The Faculty of Informatics at the Vienna University of Technology invites students from all countries to apply for its Vienna PhD School of Informatics.
Tue, April 16, 2013 — News

How to Prove Your Robot Safe. Prof. Andre Platzer. — Robots are up and coming and will be everywhere. Nowadays, robots interact more frequently with a dynamic environment outside limited manufacturing sites and they do so in close proximity with humans.
Mon, April 15, 2013 16:00 — TU Wien, Zemanek — Forschung, Vortrag

Infinite Possibilities and Evolution in the Gaming Industry. Christian Sael. — This talk will give an insight into the international gaming industry covering social and wagering platforms.
Wed, April 10, 2013 17:00 — TU Wien, Zemanek — Vortrag

March 2013

Potassco: the Potsdam Answer Set Solving Collection. Prof. Torsten Schaub. — Answer Set Programming (ASP) is on the verge of leaving the academic ivory tower and becoming an interesting alternative to established declarative solving paradigms in many application areas.
Thu, March 28, 2013 15:00, c.t. — Theresianumgasse HS 2 — Forschung, Vortrag

Startups, Innovation & Leadership. Oliver Holle. — Deconstructing entrepreneurship - what really matters and what not. Oliver Holle will give a personal view on 20 years of startup life, resulting in distinct perspectives on a number of questions.
Wed, March 20, 2013 17:00, s.t. — TU Wien, Zemanek — Lehre, Vortrag

Designing, Prototyping and Testing Business Models. Prof. Dr. Yves Pigneur. — Mit dem Vortrag am 14. März wird das Informatics Innovation Center der Fakultät für Informatik an der TU Wien die Vortragsserie "i²c Distinguished Speaker Serie", welche in Kooperation mit derStandard.at durchgeführt wird, eröffnen. Interessierte rund um Entrepreneurship, Technoinnovation und Buisness Strategy dürfen sich im Rahmen dieser Veranstaltungsreihe auf aufschlussreiche Vorträge freuen.
Thu, March 14, 2013 17:00, s.t. — TU Wien, EI 9 Hlawka-Hörsaal — Lehre, Vortrag

Optimizing Ontology-Based Data Access. Diego Calvanese. — Ontologies allow one to describe the domain of interest of an information system at a high level of abstraction.
Tue, March 12, 2013 17:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

Six Paths to Start-up Prosperity. Dr. Peter S. Cohan. — All successful entrepreneurs start with passion for a cause that gives meaning to their work life.
Fri, March 8, 2013 17:00, s.t. — TU Wien, EI 9 Hlawka-Hörsaal — Lehre, Vortrag

February 2013

The Perils of Evolutionary Rendering Research: Beyond the Point Sample. Wojciech Jarosz. — I will first give a brief introduction of the Disney Research Zurich lab. I'll explain the lab's primary research areas, our overall research strategy, and the unique opportunities and challenges associated with being at the intersection of academic and industrial research.
Thu, February 21, 2013 13:00, s.t. — Forschung, Vortrag

January 2013

Accountable Objects: Modeling Liability in Open Distributed Systems. Antonio Vallecillo. — As an increasing amount of commercial activity becomes automated, the importance of techniques for providing complete system specifications, checking the correctness of interactions and flagging incorrect behaviour increases.
Mon, January 28, 2013 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Model-Based Security Testing: From Models to the Real World. Prof. Dr. Alexander Pretschner. — Model-based testing relies on models of a SUT and its environment. To define a notion of "interesting" test cases, test selection criteria need to be defined.
Thu, January 17, 2013 17:00 –18:00 — TU Wien, Zemanek — Forschung, Vortrag

December 2012

Novel Graphical & Sound Interfaces for Tabletops. Prof. Joachim Jorge. — This presentation will describe ethnographic research that seeks to understand how data is entered into primary care electonic patient records (EPRs).
Tue, December 11, 2012 12:00 — TU Wien, Institut für Gestaltungs- und Wirkungsforschung — Forschung, Vortrag

Towards Model-Based Engineering with the Object Constraint Language. Prof. Dr. Martin Gogolla. — MBE~(Model-Based Engineering) proposes to develop software taking advantage of models, in contrast to traditional code-centric development approaches.
Mon, December 3, 2012 17:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

November 2012

Philosophy of Science: a Course in the Vienna PhD School of Informatics. Hon.Prof. Dr.phil. Christiane Floyd. — November 2012 is my third round in teaching a highly unusual block course for an international group of students pursuing doctoral research in different specializations of Informatics.
Wed, November 28, 2012 17:00, s.t. — TU Wien, Zemanek — Forschung, Vortrag

Safety Analysis and Boilerplates. Prof. Tor Stålhane. — One of the main problems with safety analysis is that it takes lot of time and is tedious since there is a lot of details to cater to. Thus, computer support is important.
Tue, November 27, 2012 17:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Inaugural Lecture of Prof. Dr. Radu Grosu. Prof. Dr. Radu Grosu. — The Human Heart - An Ultimate Cyber-Physical System.
Wed, November 7, 2012 17:00, c.t. — TU Wien, EI 10 Fritz Paschke-Hörsaal — Vortrag

October 2012

Can you see it? Annotating Image Regions based on Users' Gaze Information. Prof. Dr. Ansgar Scherp. — Providing image annotations is a tedious task. This becomes even more cumbersome when distinct regions shall be annotated such as objects and people shown in the images.
Fri, October 19, 2012 13:00 –14:30 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

A Blast from the Past. Johannes Kopf. — Digital Reconstruction and Vectorization of Classic Comic Books and Old School Pixel Art.
Fri, October 19, 2012 10:30, s.t. — Forschung, Vortrag

Graph Logics and Relations on Words. Prof. Leonid Libkin. — We investigate some basic questions about the interaction of regular and rational relations on words.
Tue, October 16, 2012 16:30 — TU Wien, Zemanek — Forschung, Vortrag

CompSOC: A Mixed-Criticality Multi-MOC Execution Platform. Prof. Dr. Kees Goossens. — Cyber-physical, embedded real-time systems often contain multiple concurrent applications that have different characteristics and requirements, and are often designed by different parties.
Mon, October 15, 2012 09:00, c.t. — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

Diploma Supplement on Innovation: Call for Applications. The Faculty of Informatics at the Vienna University of Technology invites national and international applicants to its Informatics Innovation Center (i²c). Application deadline for courses starting in March 2013 is December 7, 2012.
Mon, October 15, 2012 — Lehre, News

NAMASTE: Adaptive Optimization in Interpreters. Dr. Stefan Brunthaler. — Interpreters inhabit a sweet spot on the performance/price curve of programming language implementation. This means that it is cheaper to implement an interpreter than a compiler, but on the other hand that compilers are usually faster than interpreters.
Thu, October 11, 2012 15:00, c.t. — TU Wien, Zemanek — Forschung, Vortrag

Model-Based Software Engineering in Industry: Revolution, Evolution, or Smoke?. Bran Selic. — Software developers are incessantly inundated with wave upon wave of offered solutions to their many pains: third generation languages, object oriented programming, CASE tools, aspects, components, programming frameworks, extreme programming, agile methods, to name just a few.
Mon, October 8, 2012 17:00 — TU Wien, Zemanek — Forschung, Vortrag

Modeling, Simulating, and Compiling with Timing Semantics. Dr. David Broman. — In Cyber-Physical Systems (CPS) the notion of time is inherent; the dynamics of a physical system (the plant) evolve in real-time and the cyber part (the embedded systems and networks) interacts with the plant using sensors and actuators.
Thu, October 4, 2012 15:00, c.t. — TU Wien, Zemanek — Forschung, Vortrag

September 2012

An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation. Dr.habil. Raimund Kirner. — Optimising software for efficiency on a parallel hardware platform by analysing the performance of the application is often a complex and time-consuming task.
Fri, September 28, 2012 17:00, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

End-User Software Evolution through Demonstration-Based Modeling. Associate Professor Jeff Gray. — Model-Driven Engineering (MDE) represents a design approach that enables description of the essential characteristics of a problem in a manner that is decoupled from the details of a specific solution space.
Fri, September 28, 2012 15:00 — TU Wien, Zemanek — Forschung, Vortrag

MemCAD: A Modular Abstract Domain for Reasoning on Memory States. Dr. Xavier Rival. — In this talk, Xavier Rival presents the MemCAD analyzer, which relies on a parametric abstract domain for the static analysis by abstract interpretation of programs which manipulate complex and dynamically allocated data-structures.
Tue, September 4, 2012 15:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Vienna Logic Weeks 2012. Computational Logic in the Spotlight
Mon, September 3 – Thu, September 13, 2012 — Forschung, Konferenz

August 2012

Vision Realistic Rendering. Prof. Brian A. Barsky. — Vision-realistic rendering (VRR) is the computer generation of synthetic images to simulate a subject's vision, by incorporating the characteristics of a particular individual’s entire optical system.
Fri, August 31, 2012 14:00, s.t. — Forschung, Vortrag

July 2012

Introduction to Specification and Verification in CafeOBJ. Prof. Dr. Kokichi Futatsugi. — After introductory explanations of the CafeOBJ algebraic specification language system, the lectures gradually develop executable algebraic semantics (or specifications) of a simple imperative programming language called Minila.
Wed, July 18 – Wed, August 8, 2012 — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Handwriting Recognition in Historical Documents. Andreas Fischer. — This talk addresses recent advances in pattern recognition methods for handwriting recognition in historical documents.
Tue, July 17, 2012 11:00 — TU Wien, Seminarraum 183/2 — Forschung, Vortrag

ICNPAA 2012 World Congress. 9th International Conference on Mathematical Problems in Engineering, Aerospace and Sciences.
Tue, July 10 – Sat, July 14, 2012 — TU Wien, Hauptgebäude — Forschung, Konferenz

Future of Imaging. Prof. Ramesh Raskar. — How will imaging change our world in 20 years? This presentation will focus on technology behind future imaging, their applications and the impact on society.
Thu, July 5, 2012 17:00, c.t. — TU Wien, EI 8 Pötzl-Hörsaal — Forschung, Vortrag

June 2012

Austrian Computer Science Day 2012. In collaboration with the Austrian Computer Society, this event aims to strengthen the networking between computer scientists nationwide and to provide a communication platform for highlighting the excellence of Austrian computer science.
Thu, June 28, 2012 09:00 –17:30 — University of Vienna, Lecture room 28 — Forschung, Konferenz

Staying Power: Six Enduring Principles for Managing Strategy & Innovation in an Uncertain World. Michael A. Cusumano. — Lessons from Microsoft, Intel, Apple, Google, Toyota, and More.
Mon, June 25, 2012 18:00 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Lehre, Vortrag

19th EuroSPI² Conference on Systems, Software & Service Process Improvement and Innovation. The EuroSPI² conference presents and discusses results from systems, software and services process improvement and innovation (SPI) projects in industry and research, focusing on the gained benefits and the criteria for success. In 2012, the 19th EuroSPI conference takes place in Vienna.
Mon, June 25 – Wed, June 27, 2012 — BENA Business Base Nineteen — Forschung, Konferenz

Successful Strategic Entrepreneurship for Start-ups. Herbert Gartner. — In this lecture Herbert Gartner gives insights into the successful “option creation strategy” performed by him and his co-founders.
Fri, June 22, 2012 17:00 –20:00 — TU Wien, Zemanek — Lehre, Vortrag

Developing and Using Pluggable Type Systems. Dr. Werner M. Dietl. — A pluggable type system extends a language's built-in type system to confer additional compile-time guarantees.
Wed, June 20, 2012 14:00 –16:00 — TU Wien, Bibliothek 185/1 — Course, Forschung

Verification Games: Making Verification Fun. Dr. Werner M. Dietl. — Program verification is the only way to be certain that a given piece of software is free of (certain types of) errors — errors that could otherwise disrupt operations in the field.
Wed, June 20, 2012 11:00 — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

"In a thunderstorm even pigs can fly – a quick guide". Thomas Neubauer. — In his quick guide, Dr. Neubauer talks about a long rocky road to an successful entrepreneur and how difficult this path at times proved to be.
Fri, June 15, 2012 17:00 –20:00 — TU Wien, Zemanek — Lehre, Vortrag

Recent Work in Urban Modeling and Mesh Generation. Peter Wonka. — In this lecture P. Wonka will briefly talk about some modeling projects he was involved in over the last 1-2 years: modeling roofs, meshing for simulation, quad mesh editing, exterior lighting, and parcel generation for urban subdivisions.
Fri, June 15, 2012 10:30, s.t. — Forschung, Vortrag

Presentation of the National Research Institute of Informatics (NII) of Japan. Prof. Henri Angelino. — Research Cooperation and Researcher Exchange Program.
Fri, June 15, 2012 09:30 — TU Wien, Boecklsaal — Forschung, Veranstaltung

14th EuroVis 2012 Conference on Visualization. Visualization has become an increasingly important research area due to its wide range of applications in many disciplines. In 2012 the 14th main conference and the third international EuroVA Workshop take place in Vienna.
Mon, June 4 – Fri, June 8, 2012 — Tech Gate Vienna, Vortragssaal 0.1 — Konferenz

"What I have done right with my startups". Peter Lieber. — Peter Lieber, entrepreneur of the software company LieberLieber, talks about ups and downs, and about the daily challenges as an entrepreneur during the last twenty years.
Fri, June 1, 2012 17:00 –20:00 — TU Wien, Zemanek — Lehre, Vortrag

May 2012

Taking Satisfiability to the Next Level with Z3. Dr. Nikolaj Bjorner. — Several applications from program analysis, design and testing rely critically on solving SMT problems. Many applications build on top of SMT solvers in sophisticated ways by carefully crafting the solver interaction.
Wed, May 30, 2012 17:00 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

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

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.
Fri, April 27, 2012 10:30, s.t. — 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.
Thu, April 5, 2012 15:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

March 2012

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?"
Wed, March 21, 2012 17:00 –20:00 — TU Wien, Zemanek — Lehre, Vortrag

Call for Papers: CloudComp 2012 in Vienna. 3rd International Conference on Cloud Computing on September 24th-26th, 2012.
Mon, March 12, 2012 — Forschung, Konferenz

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.
Tue, March 6, 2012 18:00 –20:00 — 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.
Mon, March 5, 2012 10:00 — 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).
Thu, March 1, 2012 12:00 — TU Wien, Bibliothek 187/2 — Forschung, Vortrag

January 2012

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.
Wed, January 25 – Thu, January 26, 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.
Fri, January 20, 2012 10:30, s.t. — 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.
Fri, January 13, 2012 10:30, s.t. — Forschung, Vortrag

October 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).
Mon, October 17 – Wed, October 19, 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.
Thu, October 13, 2011 16:00 –18:00 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

PIXEL 6. Conference for Computer Graphics and Animation
Fri, October 7 – Sun, October 9, 2011 — Österreichische Akademie der Wissenschaften — Konferenz

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.
Wed, September 28, 2011 11:00, s.t. — Forschung, Vortrag

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

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.
Wed, August 24, 2011 10:30, s.t. — 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.
Fri, August 5, 2011 10:00, s.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

July 2011

Composite Modeling. Prof. Dr. Gabriele Taentzer. — Formalization and Tool Support based on the Eclipse Modeling Framework and Henshin.
Tue, July 5, 2011 17:00 — 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.
Fri, July 1, 2011 11:00, s.t. — Forschung, Vortrag

From Measurement to Fabrication. Assistant professor Jason Lawrence. — Data-Driven Representations of Material Appearance for Graphics and Vision.
Fri, July 1, 2011 10:00, s.t. — Forschung, Vortrag

June 2011

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.
Wed, June 22, 2011 16:00 –18:00 — 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).
Tue, June 21, 2011 17:00, s.t. — TU Wien, Festsaal — Forschung, Vortrag

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.
Fri, June 17, 2011 11:00, s.t. — Forschung, Vortrag

Interactive Volume Illumination: Approaches and Impact. Dr. Timo Ropinski. — In recent years several interactive volumetric illumination models have been proposed.
Fri, June 17, 2011 10:00, s.t. — 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.
Thu, June 16 – Fri, June 17, 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?
Wed, June 15, 2011 15:00 — TU Wien, Zemanek — 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.
Wed, June 15, 2011 15:00 –17:00, 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.
Fri, June 10, 2011 10:30, s.t. — Forschung, Vortrag

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.
Mon, June 6, 2011 11:00, c.t. — TU Wien, Bibliothek 182/1 — Forschung, Vortrag

May 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.
Fri, May 27, 2011 15:00 –17:00, 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.
Fri, May 27, 2011 10:30 –12:30, s.t. — 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.
Wed, May 25, 2011 17:00 –18:30 — TU Wien, Zemanek — 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.
Wed, May 25, 2011 15:00 –17:00, 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.
Wed, May 25 – Fri, May 27, 2011 09:00 — TU Wien, Bibliothek 185/1; TU Wien, Seminarraum Argentinierstrasse — Forschung, Vortrag

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.
Wed, May 11, 2011 16:00 –18:00 — 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.
Tue, May 10, 2011 10:00 –12:00, 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.
Fri, May 6, 2011 14:00 –23:00, 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.
Thu, May 5, 2011 15:30 –17:30, s.t. — TU Wien, Zemanek — 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.
Tue, May 3, 2011 09:00 –20:00, 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.
Fri, April 29, 2011 15:00, 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.
Fri, April 15, 2011 15:00, 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.
Fri, April 15, 2011 10:30 — TU Wien, Zemanek — 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.
Wed, April 13, 2011 15:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

March 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.
Thu, March 31, 2011 17:00 –19:00 — 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.
Thu, March 31, 2011 14:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

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.
Fri, March 25, 2011 — News

Government Linked Data: A Tipping Point for the Semantic Web. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mon, March 14, 2011 17:00 –19:00 — TU Wien, Zemanek — 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.
Mon, March 14, 2011 — News

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.
Tue, March 8, 2011 15:00, s.t. — TU Wien, Zemanek — 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.
Mon, March 7, 2011 14:00 –16:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Concrete Mathematical Incompleteness. Harvey M. Friedman. — Kurt Goedel Society Lecture
Fri, March 4, 2011 18:00 — TU Wien, Festsaal — Forschung, Vortrag

February 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.
Mon, February 28, 2011 15:00 –17:00, c.t. — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, 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.
Mon, February 21, 2011 16:00 –17:45 — 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.

January 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".
Wed, January 26, 2011 17:00 –19:00, c.t. — TU Wien, Festsaal — Forschung, Vortrag

Visual Computing Trends 2011. Symposium
Wed, January 26, 2011 09:00 — Tech Gate Vienna — Konferenz

Personalization on the Web with Semantics. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mon, January 24, 2011 17:00 –19:00 — TU Wien, Zemanek — 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.
Fri, January 21, 2011 10:30, s.t. — Forschung, Vortrag

Semantic Web. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mon, January 17, 2011 17:00 –19:00 — TU Wien, Zemanek — 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.

December 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!
Mon, December 20, 2010 17:00 –19:00 — TU Wien, Zemanek — 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.
Fri, December 17, 2010 10:30, s.t. — 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.
Thu, December 16, 2010 16:00 –18:00 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

Developing personalized digital behaviour interventions. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mon, December 13, 2010 17:00 –19:00 — TU Wien, Zemanek — 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.
Fri, December 10, 2010 15:00, c.t. — TU Wien, Bibliothek 185/1 — Forschung, Vortrag

Energy aware computing. Georges Da Costa. — ICT consumes a lot electrical energy. Worldwide, its carbon footprint is roughly equivalent of the one of aeronautics.
Thu, December 9, 2010 15:00 — 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
Mon, December 6, 2010 17:00 –19:00 — TU Wien, Zemanek — 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.
Fri, December 3, 2010 10:30 –12:30, s.t. — Forschung, Vortrag

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.
Tue, November 30, 2010 13:00, 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.
Tue, November 30, 2010 11:00 — TU Wien, EI 10 Fritz Paschke-Hörsaal — Forschung, Vortrag

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.
Tue, November 23, 2010 11:00 — 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
Mon, November 22, 2010 17:00 –19:00 — TU Wien, Zemanek — Forschung, Vortrag

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

Precise Software Documentation. David Lorge Parnas. — Part I
Wed, November 17, 2010 14:00 –18:00 — 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.
Thu, November 11, 2010 18:00 — TU Wien, Zemanek — 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.
Thu, November 11, 2010 16:00 — TU Wien, FH Hörsaal 3 — Forschung, Vortrag

Ontological foundations of services as socio-technical systems. From the Public Lecture in Business Informatics: Trends in e-Commerce 2010/2011
Mon, November 8, 2010 17:00 –19:00 — TU Wien, Zemanek — 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.
Fri, November 5, 2010 10:30, s.t. — Vortrag

October 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.
Fri, October 22, 2010 10:30 –12:30, s.t. — Vortrag

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

September 2010

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.
Mon, September 20, 2010 15:00, 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.
Mon, September 20, 2010 11:00, 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.
Wed, September 15 – Fri, September 17, 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.
Sat, September 11 – Wed, September 15, 2010 — Österreichische Akademie der Wissenschaften — Konferenz

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.
Wed, September 8, 2010 10:30 — 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).
Tue, September 7, 2010 10:00, 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.
Tue, August 31, 2010 16:00 –17:00 — TU Wien, Seminarraum Gödel — Vortrag

July 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.
Fri, July 30 – Sat, July 31, 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".
Mon, July 12, 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.
Wed, July 7 – Fri, July 9, 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.
Mon, July 5 – Fri, July 9, 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.
Fri, July 2, 2010 10:30, s.t. — Vortrag

June 2010

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.
Fri, June 18, 2010 10:30, s.t. — 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.
Mon, June 7, 2010 17:00, c.t. — TU Wien, EI 10 Fritz Paschke-Hörsaal — 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.
Wed, June 2, 2010 17:00 –18:30 — TU Wien, Zemanek — 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.
Wed, June 2, 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
Tue, June 1, 2010 14:00 — TU Wien, Kontaktraum — Vortrag

Robocup Workshop 2010. Fifth Austrian Robocup Workshop in Vienna
Tue, June 1 – Wed, June 2, 2010 10:00 –18:00, s.t. — Workshop

May 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.
Fri, May 28, 2010 10:30, s.t. — 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.
Wed, May 26, 2010 11:00 — TU Wien, Seminarraum Gödel — 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.
Tue, May 11, 2010 16:30 — TU Wien, Kuppelsaal — Vortrag

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.
Fri, April 30, 2010 10:30, s.t. — 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.
Wed, April 28, 2010 17:00 –18:00 — 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.
Tue, April 27, 2010 14:30, s.t. — Vortrag

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

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.
Thu, April 15, 2010 12:15 — 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.
Thu, April 15, 2010 11:00 –13:00, s.t. — TU Wien, Zemanek — Vortrag

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
Mon, April 12 – Fri, April 30, 2010 09:00 –11:00, s.t. — Course

March 2010

Antrittsvorlesung / Inaugural Lecture Geraldine Fitzpatrick. Prof. Dr. Geraldine Fitzpatrick. — Designing technology that works - putting people first
Tue, March 23, 2010 17:00 — 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.
Fri, March 12, 2010 11:00 –12:00, s.t. — Seminarraum Technische Informatik — Vortrag

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.
Wed, March 10, 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.
Mon, March 8, 2010 17:00 –18:00, 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.
Fri, March 5, 2010 10:30 –11:30, s.t. — Vortrag

February 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.
Mon, February 15, 2010 10:00, s.t. — TU Wien, Zemanek — Vortrag

January 2010

Computational Persuasive Systems for Small Groups in a Museum. Oliviero Stock. — Trends in e-Commerce | Public Lecture in Business Informatics
Mon, January 25, 2010 17:00 –18:30, s.t. — TU Wien, Zemanek — Vortrag

Algorithmic Game Theory or How Web Search Engines Make Money. Univ. Prof. Monika Henzinger. — algorithmic game theory, a new research field
Wed, January 20, 2010 09:30 — TU Wien, Zemanek — Vortrag

Innovative Methods for Service Engineering and Management. Rudi Studer. — Trends in e-Commerce | Public Lecture in Business Informatics
Mon, January 18, 2010 17:00 –18:30, s.t. — TU Wien, Zemanek — 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.
Fri, January 15, 2010 10:30, s.t. — 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.
Fri, January 15, 2010 10:00 –11:00, 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.
Wed, January 13, 2010 15:30 –16:30, 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
Mon, January 11, 2010 17:00 –18:30, s.t. — TU Wien, Zemanek — Vortrag

December 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.
Fri, December 18, 2009 13:15 –14:00, s.t. — TU Wien, Vortragsraum der Bibliothek — Vortrag

Searching Lifelong Learner Metadata Using Query Approximation and Relaxation. Alexandra Poulovassilis. — Trends in e-Commerce | Public Lecture in Business Informatics
Mon, December 14, 2009 17:00 –18:30, s.t. — TU Wien, Zemanek — 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.
Mon, December 14, 2009 11:00 — TU Wien, Seminarraum 185/2 — Vortrag

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.
Fri, December 11, 2009 11:00 –13:00, s.t. — 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.
Fri, December 11, 2009 10:00 — Forschung, Vortrag

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

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.
Thu, December 3, 2009 11:00 –13:00 — TU Wien, Zemanek — Forschung

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.
Fri, November 27, 2009 10:00 — 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.
Fri, November 27 – Sat, November 28, 2009 08:00 — Lehre

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).
Fri, November 6, 2009 10:30 — 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.
Wed, November 4, 2009 16:30 — 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.
Wed, November 4, 2009 10:00 — TU Wien, Kontaktraum — Forschung, Lehre

October 2009

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.
Thu, October 22, 2009 17:00 — TU Wien, Zemanek — 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.
Thu, October 15, 2009 12:15 — TU Wien, EI 3 Sahulka-Hörsaal — Forschung, Lehre

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

Trends in e-Commerce 2009/2010. Public Lecture in Business Informatics
Mon, October 12, 2009 – Mon, January 25, 2010 17:00 –18:30 — TU Wien, Zemanek — Forschung, Presse

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.
Fri, October 9, 2009 10:30 — 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.
Wed, October 7, 2009 — Forschung

September 2009

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.
Thu, September 24, 2009 14:00 — 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)
Wed, September 23, 2009 10:30 — 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.
Tue, September 22 – Fri, September 25, 2009 12:00 –12:00 — Forschung, Lehre

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
Thu, August 20, 2009 — Forschung, Presse

July 2009

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.
Fri, July 10, 2009 14:00 — 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.
Thu, July 9, 2009 10:00 –12:30 — TU Wien, Bibliothek 187/2 — Forschung, Lehre

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.
Tue, July 7, 2009 10:00 — TU Wien, Seminarraum 183/2 — Forschung, Lehre

June 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.
Wed, June 24, 2009 10:00 — 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.
Thu, June 18, 2009 11:00 –13:00 — TU Wien, Seminarraum 8 — Forschung, 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?
Wed, June 10, 2009 14:00 — TU Wien, Seminarraum 188/2 — Forschung

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).
Fri, June 5, 2009 09:00 –12:30 — 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.
Fri, June 5, 2009 — Forschung, Lehre

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.
Thu, June 4, 2009 11:00 — TU Wien, Seminarraum 184/2 — Forschung, Lehre

May 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.
Fri, May 29, 2009 10:00 — TU Wien, EI 8 Pötzl-Hörsaal — Forschung, 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.
Tue, May 26, 2009 16:00 –18:00 — TU Wien, Seminarraum 183/2 — Forschung, Lehre

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.
Fri, May 15, 2009 10:30 — Forschung, 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.
Fri, May 8, 2009 10:30 — Forschung, Lehre

April 2009

Vienna PhD School of Informatics. The Faculty of Informatics starts with an international PhD School of Informatics in October 2009.
Sat, April 18, 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].
Tue, April 7, 2009 17:00 — TU Wien, Seminarraum 184/3 — Forschung, Lehre

March 2009

Full Professor (tenured) in Parallel Computing. Announcement of an open position at the Faculty of Informatics, Vienna University of Technology
Tue, March 17, 2009 — Forschung, 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.
Tue, March 10, 2009 15:30 — 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.
Thu, March 5, 2009 16:00 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Lehre

February 2009

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.
Thu, February 26, 2009 16:00 –17:00 — TU Wien, Bibliothek 184/1 — Forschung, Lehre

January 2009

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

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.
Fri, January 23, 2009 14:00 — 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.
Fri, January 23, 2009 10:15 — 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.
Thu, January 22, 2009 14:30 –15:30 — 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.
Thu, January 22, 2009 13:30 –14:30 — TU Wien, Seminarraum 184/2 — Forschung, Lehre

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.
Fri, January 16, 2009 15:00 — 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.
Fri, January 16, 2009 10:15 — 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.
Thu, January 15, 2009 10:00 — Secure Business Austria (SBA) — Forschung, Lehre

December 2008

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.
Fri, December 12, 2008 10:30 — Forschung, Lehre

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.
Wed, December 3, 2008 17:00 — TU Wien, Zemanek — 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.
Fri, November 28, 2008 16:00 — TU Wien, Bibliothek 185/1 — Forschung, Lehre

October 2008

Trends in eCommerce. Public Lecture in Business Informatics 2008/09
Mon, October 20, 2008 – Mon, January 26, 2009 17:00 –19:00 — TU Wien, EI 1 Petritsch-Hörsaal; TU Wien, Zemanek — 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.
Fri, October 10, 2008 10:30 — 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.
Wed, October 8, 2008 18:00 — 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.
Wed, October 8, 2008 16:00 — Forschung, Lehre

September 2008

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.
Wed, September 10, 2008 14:00 — 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.
Tue, September 9, 2008 14:00 –16:00 — TU Wien, Seminarraum 183/2 — Forschung, Lehre

August 2008

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.
Mon, August 18, 2008 10:00 –12:00 — TU Wien, Bibliothek 184/1 — Forschung, Lehre

July 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.
Mon, July 7 – Wed, July 16, 2008 12:00 — Forschung, Lehre

June 2008

ED-MEDIA 2008. World Conference on Educational Multimedia, Hypermedia & Telecommunications
Mon, June 30 – Fri, July 4, 2008 12:00 –12:00 — Forschung, Konferenz, Lehre

Optimal Configuration of an In-Vehicle Embedded Middleware. Prof. Françoise Simonot-Lion. — Design of an Optimized Middleware
Tue, June 17, 2008 09:30 — 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.
Tue, June 10, 2008 10:00 — TU Wien, Zemanek — Forschung, Lehre

An Introduction to the WOMBAT Project. Marc Dacier. — A Worldwide Observatory of Malicious Behaviors and Attack Threats
Fri, June 6, 2008 11:00 — TU Wien, Zemanek — Forschung, Lehre

April 2008

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.
Fri, April 11, 2008 10:30 — Forschung, Lehre

Full Professor (tenured) in Computer-Aided Verification. Announcement of an open position at the Faculty of Informatics, Vienna University of Technology
Wed, April 2, 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
Tue, April 1, 2008 14:00 — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Lehre

March 2008

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
Wed, March 12, 2008 14:00 — TU Wien, EI 1 Petritsch-Hörsaal — Forschung, Lehre

January 2008

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

December 2007

Adaptation in Mobile Learning. Prof. Dr. Kinshuk. — WIT-Kolloquium
Fri, December 21, 2007 14:00 –15:00 — TU Wien, Zemanek — 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.
Thu, December 13, 2007 14:00 — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Lehre

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.
Tue, November 27, 2007 17:00 –18:30 — TU Wien, EI 9 Hlawka-Hörsaal — Forschung, Lehre, Presse

September 2007

JTRES 2007. The 5th Workshop on Java Technologies for Real-Time and Embedded Systems
Wed, September 26 – Fri, September 28, 2007 12:00 — 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.
Sun, September 23 – Thu, September 27, 2007 12:00 — 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.
Fri, September 21, 2007 15:00 –16:00 — TU Wien, Seminarraum 184/3 — Forschung

Belief Change Based on Global Minimisation. James P. Delgrande. — A general framework for representing belief change is presented, based on notions of minimal change.
Fri, September 21, 2007 14:00 –15:00 — 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.
Fri, September 21, 2007 11:00 — TU Wien, Seminarraum 188/2 — 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?
Fri, September 14, 2007 10:00 — TU Wien, Bibliothek 184/1 — Forschung, Lehre, Presse

August 2007

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

Computer Vision for Cultural Heritage 2007. International Summer School
Mon, August 20 – Fri, August 24, 2007 09:00 — 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
Wed, August 15, 2007 — Forschung

June 2007

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.
Mon, June 25, 2007 16:00 — TU Wien, EI 5 Hochenegg-Hörsaal — Forschung, Presse, Vortrag

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.
Mon, June 18, 2007 10:00 –12:00 — 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.
Fri, June 15, 2007 16:30 — TU Wien, Seminarraum 188/2 — Forschung, Lehre

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.
Fri, June 1, 2007 11:00 –13:00 — TU Wien, Zeichensaal 3 — Forschung, Lehre, Presse

May 2007

Discrete Analytical Geometry: Basis and Applications. Prof. Eric Andres. — Vortrag im Rahmen des Informatik-Kolloquiums
Mon, May 14, 2007 17:00 — TU Wien, Zemanek — Forschung, Lehre, Presse, Vortrag

March 2007

Spatial Cognition: Agents Between Sensation and Reality. Prof. Christian Freksa. — Vortrag im Rahmen des Informatik-Kolloquiums
Tue, March 20, 2007 16:30 –18:00 — TU Wien, Zemanek — Forschung, Lehre, Presse, Vortrag

October 2006

European Masters Program in Computational Logic. International Master Program