Program

The event will take place in the Kuppelsaal of TU Wien from 9am to 6pm on October 15.

8:30Registration (also during breaks)
9:00Opening
9:15Tom Henzinger
10:00Magdalena Ortiz
10:45Coffee break
11:15Dieter Schmalstieg
12:00OCG Incentive Award (Harald Beck, Robert Bill)
12:30Lunch
13:30Stefanie Rinderle-Ma
14:15Radu Prodan
15:00Coffee break
15:30Alois Ferscha
16:15Emo Welzl
17:00Michael Wiesmüller / BMVIT
17:30Closing

Speakers:

Alois Ferscha (JKU Linz)
Click to show/hide CV
Alois Ferscha is university professor of Computer Science and head of the Institute for Pervasive Computing at JKU Linz. Since 2006, he has headed the research studio “Pervasive Computing Applications”. He holds the Heinz Zemanek Award (1992), the Cross Border Award (2009) and the Innovation Award (2009, 2011). He successfully completed numerous national and international projects. For a full list see http://www.pervasive.jku.at/Research/Projects/. He has close research cooperation with industrial stakeholders, e.g. Red Bull and Siemens. Alois Ferscha (co)authored more than 300 scientific publications. He is an active consultant to the Information Society and Media Directorate-General (Commission of the EC), the BMWF and BMVIT. He has served on steering and programme committees of well-known conferences like PERVASIVE, UBICOMP, ISWC, ADAPTIVE, ARCS, etc. Currently he is focused on Pervasive and Ubiquitous Computing, Networked Embedded Systems, Embedded Software Systems, Wireless Communication, Multi-user Cooperation, Distributed Interaction and Distributed Interactive Simulation. Title of talk: Aware Systems: Findings and Challenges
Click to show/hide Abstract Abstract:

Tom Henzinger (IST Austria)
Click to show/hide CV
Thomas A. Henzinger is president of IST Austria (Institute of Science and Technology Austria). He holds a Dipl.-Ing. degree in Computer Science from Kepler University in Linz, Austria, an M.S. degree in Computer and Information Sciences from the University of Delaware, a Ph.D. degree in Computer Science from Stanford University (1991), and a Dr.h.c. from Fourier University in Grenoble, France (2012). He was Assistant Professor of Computer Science at Cornell University (1992-95), Assistant Professor (1996-97), Associate Professor (1997-98), and Professor (1998-2004) of Electrical Engineering and Computer Sciences at the University of California, Berkeley. He was also Director at the Max-Planck Institute for Computer Science in Saarbruecken, Germany (1999) and Professor of Computer and Communication Sciences at EPFL in Lausanne, Switzerland (2004-09). His research focuses on modern systems theory, especially models, algorithms, and tools for the design and verification of reliable software, hardware, and embedded systems. His HyTech tool was the first model checker for mixed discrete-continuous systems. He is an ISI highly cited researcher, a member of Academia Europaea, a member of the German Academy of Sciences (Leopoldina), a member of the Austrian Academy of Sciences, a Fellow of the AAAS, a Fellow of the ACM, and a Fellow of the IEEE. He has received the Wittgenstein Award of the Austrian Science Fund and an ERC Advanced Investigator Grant. Title of talk: Reactive Systems: A Powerful Paradigm for Modeling and Analysis from Engineering to Biology
Click to show/hide Abstract Abstract:

Magdalena Ortiz (TU Wien)
Click to show/hide CV
Magdalena Ortiz is a tenure-track assistant professor for Knowledge Representation and Reasoning in the Institute of Information systems of TU Wien, where she is also a Hertha Firnberg Scholar and principal investigator in the project "Recursive Queries over Semantically Enriched Data Repositories". Her research interests are centered around logics for knowledge representation and reasoning, with focus on description logics and their application to data access and management. She has received several prizes and awards, including the EMCL Distinguished Alumni Award in for outstanding contributions to the field of Computational Logic, the Award of Excellence of the Austrian Federal Ministry for Science and Research, the Förderpreis of the Austrian Computer Society, the OeGAI Prize of the Austrian Society for Artificial Intelligence, and the Google Europe Anita Borg Memorial Scholarship. Title of talk: Ontology based data access: the story so far
Click to show/hide Abstract Abstract: Recent years have seen enormous progress in the development of ontologies, which are sharable, machine-readable domain conceptualizations. A multitude of efforts in academia and industry have resulted in high-quality ontologies that faithfully capture expert knowledge from all kinds of domains. Ontologies are making the Web smarter, and they are also opening door for a new level of intelligent reasoning and domain-awareness in data-centric information systems. In this talk, I will talk about the paradigm of ontology-based data access and management, in which logical inference using the semantic knowledge provided by an ontology is exploited when querying and maintaining possibly very large and heterogeneous data sources. I will give an overview of the state-of-the-art in this active research field, the main achievements so far, and the many challenges ahead.

Radu Prodan (Innsbruck)
Click to show/hide CV
Radu Prodan is Associate Professor of Computer Science at the University of Innsbruck. His research interests are in the areas of parallel and distributed systems comprise programming methods, compiler technology, performance analysis, and scheduling for high-performance scientific computing and industrial online gaming applications. Before joining University of Innsbruck, he held research positions at ETH Zurich, University of Basel, Swiss Scientific Computing Centre, and University of Vienna. He participated in several national and European projects and is currently coordinating three Austrian projects in the areas of multicore and Cloud computing. Prodan was WP leader in the IST-034601 edutain@grid and 26185 (SHIWA) European projects, and is currently scientific coordinator of the H2020-ICT-2014-1 644179 project ENTICE. Currently he is co-chair of the “state-of-the-art and continuous learning in UCS” working group of the Network for Sustainable Ultrascale Computing (NESUS) COST Action funded by the EU that brings together partners from over 30 European countries. He is the author of over 100 journal and conference publications and one book, and is the recipient of one IEEE best paper award.Title of talk: Massively Multiplayer Online Gaming on Heterogeneous Distributed Computing Platforms
Click to show/hide AbstractAbstract: Successful Massively Multiplayer Online Games (MMOGs) have today millions of registered users and hundreds of thousands of active concurrent players. To be able to guarantee a good quality of service (QoS) to a highly variable number of concurrent users, game operators statically overprovision a large infrastructure capable of sustaining the game peak load, even though a large portion of the resources is unused most of the time. This inefficient utilisation of own resources makes the market accessible only to large companies which generates monopolies and increases prices.
The talk discusses first the challenges of a new approach in MMOG resource provisioning that employs virtualised Cloud resources allocated on-demand to MMOG servers based on their fluctuating load. Then, it presents solutions to five major problems in the underlying software stack: game server parallelisation, load modelling and prediction, on-demand resource provisioning, QoS-based fault tolerance, and Service Level Agreements among the involved stakeholders.

Stefanie Rinderle-Ma (Uni Wien)
Click to show/hide CV
Stefanie Rinderle-Ma is full professor and head of the Research Group Workflow Systems and Technology at the Faculty of Computer Science, University of Vienna, Austria. Stefanie obtained her PhD and habilitation degree from the Faculty of Engineering and Computer Science, University of Ulm, Germany. She was a postdoctoral researcher at the University of Twente, the University of Ottawa, and the Eindhoven University of Technology. Stefanie’s research interests are on flexible process technology, compliant and secure process applications, as well as on analysis of process data. Special focus is put on the interaction with users. Stefanie has been involved in several national and international research projects. Selected application areas for her research include the manufacturing and the health care domain. Title of talk: Addressing the need and challenges of next generation business processes on flexiblity, compliance, and collaboration
Click to show/hide AbstractAbstract: Business processes describe how an enterprise works and how its business logic is realized. Traditionally, business process exist on paper only or are implemented and executed in a centralized and rigid manner. The current approach keeps enterprises from exploiting the full potential of process technology. Based on experiences from manufacturing and (health) care projects the talk will argue that future process applications must be realized in a lightweight, flexible, and collaborative way. Central messages of the talk will be that flexibility and collaboration must not lead to instability, errors, and incompliance of running processes, must not be considered in an isolated manner, and must not leave users behind.

Dieter Schmalstieg (TU Graz)
Click to show/hide CV
Dieter Schmalstieg is full professor and head of the Institute for Computer Graphics and Vision at Graz University of Technology, Austria. His current research interests are augmented reality, virtual reality, computer graphics, visualization and human-computer interaction. He received Dipl.-Ing. (1993), Dr. techn. (1997) and Habilitation (2001) degrees from TU Wien. He is author and co-author of over 300 peer-reviewed scientific publications, with over ten best paper awards and nominations. His organizational roles include associate editor in chief of IEEE Transactions on Visualization and Computer Graphics, member of the editorial advisory board of computers & graphics and of the Springer Virtual Reality journal, member of the steering committee of the IEEE International Symposium on Mixed and Augmented Reality, chair of the EUROGRAPHICS working group on Virtual Environments (1999-2010), key researcher of the K-Plus Competence Center for Virtual Reality and Visualization in Vienna and key researcher of the Know Center in Graz. In 2002, he received the START career award presented by the Austrian Science Fund. In 2012, he received the IEEE Virtual Reality technical achievement award for seminal contributions to the field of Augmented Reality. He was elected as a senior member of IEEE, as a member of the Austrian Academy of Sciences and as a member of the Academia Europaea. Since 2008, he is also director of the Christian Doppler Laboratory for Handheld Augmented Reality. Title of talk: Augmented Reality from Visual Computing
Click to show/hide Abstract Abstract: Augmented Reality is a new user interface technology that fuses methods from computer graphics, computer vision and human-computer interaction alike. As such, it is at the heart of the domain of visual computing. The talk will describe several Augmented Reality research project, including real-time outdoor localization, coherent rendering of virtual and real scenes and illustrative visualizations for real-world maintenance scenarios.

Emo Welzl (ETH Zürich)
Click to show/hide CV
Emo Welzl has been Professor of Computer Science at the Institute for Theoretical Computer Science of ETH Zurich since April 1996. His research interests are in the foundations of computer science, mainly algorithms and data structures, in particular computational geometry and applications, combinatorial models for optimization, analysis of geometric structures, randomized methods, and discrete geometry; recently also satisfiability.
Born in Linz, Austria (1958), 1977-1981 Diplom in Applied Mathematics at the Graz University of Technology, Austria, 1983 doctorate (supervisor Hermann Maurer) with a topic in formal languages, 1988 habilitation (second doctorate) in Foundations of Computer Science, also in Graz. 1984 one-year post-doc at Rijks University Leiden, Netherlands, 1985 (one semester) visiting professor at the University of Denver, Colorado, USA. 1987-1996 Professor of Mathematics at Berlin Free University. 1994 four-month research stay at the International Computer Science Institute, Berkeley, California, USA. 1991-1996 chair of the graduate program “Algorithmic Discrete Mathematics” at Free University, Humboldt University, University of Technology, and the Konrad Zuse Center in Berlin. 2000-2005 chair (at site Zurich) of the Berlin-Zurich Graduate Program in "Combinatorics, Geometry, and Computation".
1992 Max Planck Prize with Micha Sharir (Tel Aviv University), 1995 Gottfried Wilhelm Leibniz-Prize, 1998 Fellow, Association for Computing Machinery, 2005 member of the German Academy of Sciences Leopoldina, 2006 member of the Academia Europaea, 2007 member of the Berlin-Brandenburg Academy of Sciences, 2014 corresponding member of the Austrian Academy of Sciences.
Title of talk: Resolving Conflicting Constraints: The Satisfiability Problem
Click to show/hide Abstract Abstract:

Joint talk with the European Computer Science Summit on 14th October 2015, 5pm:

Schinzel_Britta_2
Britta Schinzel (University of Freiburg)
Click to show/hide CV
Title of talk: Ada Countess of Lovelace, a one-person opera, and the role of women in computing
Click to show/hide AbstractAbstract: The first "programmer" of a mechanical computer, Charles Babbage’s "Analytical Engine" comparable to today’s programming procedures, was Ada, Countess of Lovelace. She was the daughter of Lord Byron and Lady Milbanke, and like her mother and her mentor Mary Somerville she was very interested in science and mathematics. She welcomed all technical innovations of her age, the first railways and telegraphs and the detection of the role of electromagnetism. When she got to know Babbage’s inventions she was eager to participate in this development. She translated a French publication of a lecture held by Charles Babbage and there she extended his ideas to compute the Bernoulli numbers with a specification of the elementary operations of punched cards and the program structure of their ordering which is already the one of our today’s flow diagrams. I have written a libretto for a one person opera "Ada" and here I will present some of its ideas and an example of the composition by the composer Viola Kramer. In the second part of this lecture the role of women in the history of computing, programming and computer science will be demonstrated. Outstanding women in the field will be presented. Moreover it turns out that the number of women participating in the studies of computer science gradually decreased in western countries. Also there are considerable differences in this participation within the world. Reasons for these differences will be discussed.

Presentation of our sponsor BMVIT

Mag. Wiesmueller
Michael Wiesmüller (BMVIT)
Click to show/hide CV
Initially stemming from the humanities and holding a degree in philosophy of science, working several years as scientists in the Humanities and as Management Consultant with A.T. Kearney he joined the Federal Ministry of Transport, Innovation and Technology (BMVIT) in late nineties. He is currently Head of Department for ICT, Industrial & Nano Technologies and Space. Main responsibility of this department covers the design of Innovation Policies for High-Tech-Industries, national R&D strategies and programs in these domains, and all areas of International R&D Policy and Coordination. Among others he acts as Austrian Delegate to the European ICT-Program, as Governance Board Member of the JTI’s ECSEL, as Director of the EUREKA Clusters. ITEA 3 and CATRENE and Austrian Lead Delegate to the Key Enabling Technologies. He represents Austria in various Mirror-Groups of European Technology Platforms and in several European Policy Coordination Initiatives. Title of talk: Boosting Innovation through ICT: An Outline of the Austrian Program Portfolio
Click to show/hide AbstractAbstract: