Die Gastvorträge des Informatikinstituts richten sich an den gesamten Fachbereich und dient als Forum für Vorträge renommierter Persönlichkeiten aus den Bereichen der Informatik und Wirtschaftsinformatik. Seit 2015 stellen wir Top-WissenschaftlerInnen und ExpertInnen im Rahmen der Distinguished Lectures vor.

Titel Datum Zeit Ort Weitere Infos
Scalable Dynamic Program Analysis 18.07.2016 13:00 3W04 Costin Iancu, Lawrence Berkeley National Lab  Info>>
Are we ready for Secure Languages? 14.07.2016 14:00 SR 1 Christina Cifuentes, Oracle Labs Austrialia Info>>
Novel Assistive Robots for People with Disablities and the Cybathlon 28.06.2016 17:00 HSB 1 Robert Riener, ETH Zürich, Info>>
Making Privacy Decisions in Ubiquitous Computing Environments 03.12.2015 17:00 HSB 1 Serge Egelman, University of California, Berkeley Info>>
The Human Brain Project from a Computing Angel 10.06.2015 17:00 SR1 Felix Schürmann, Co-director Blue Brain Project Info>>
Kryptographische Währungen als Zahlungsmittel: Prinzipien, Potenziale und Probleme am Beispiel Bitcoin 27.11.2014 17:45 Großer Hörsaal Rainer Böhme, Westfälische Wilhelms-Universität Münster Info>>
A Retrospective View On Banking Malware 27.11.2014 17:00 Großer Hörsaal Stefan Ortloff, Kaspersky Lab Info>>
Agiles Entwickeln unter System und Software Engineering Bedingungen 05.06.2014 17:00 SR 2 Ernest Wallmüller Info>>
Gödel’s God on the Computer 22.05.2014 16:15 HS C Christoph Benzmüller, Freie Universität Berlin Info>>
D-FLAT: Declarative Problem Solving using Tree Decompositions and Answer-Set Programming 15.05.2014 16:15 HS C Stefan Woltran, TU-Wien Info>>
Top Secret – Kryptographie in der Kontroverse von Krise und Eskalation  13.03.2014  16:15 SR 1 Thomas Unterleitner, Entwicklungsleiter bei mils Electronic
Info>>Um Anmeldung wird gebeten! hier>>
How (well) do Datalog, SPARQL1.1 and RIF interplay? 12.12.2013 16:15 HSB 1 Axel Polleres, Professor an der WU Wien Info>>
Thermodynamic Graph-Rewriting 24.10.2013 16:15 SR Container 1 Vincent Danos, Professor an der University of Edingburgh Info>>
Privacy in the Smart Grid 27.06.2013 16:15 HS E Isabel Wagner, Professorin an der University of Hull Info>>
Monitoring Policy Compliance 20.06.2013 16:15 HS E David Basin, Professor an der ETH Zürich Info>>
On Resource Analysis of Imperative Programs 23.05.2013 16:15 HS E Lars Kristiansen, Professor an der Universität Oslo Info>>>
Implementing Compilers as Higher-Order Rewriting Systems 03.05.2013 16:15 HS D Kristoffer H. Rose, Forscher am IBM Thomas J. Watson Research Center, New York Info>>
Evolving structures and ramified information flow 26.04.2013 16:15 HS D Jean-Yves Marion, Professor an der Université de Lorraine und bei INRIA Nancy Info >>
Computational Neuromechanics 14.03.2013 16:15 HS E Francisco J Valero-Cuevas, Professor an der University of Southern California, Los Angeles Info>>
PMaC Framework 14.02.2013 14:00 SR 1 Laura Carrington, Expert in High Performance Computing, San Diego Supercomputer Center Info>>
Edit lenses 24.01.2013 16:15 HS C Martin Hoffmann, Professor an der LMU München Info>>
Softwarequalität – Schlagwort und Realität? 14.01.2013 17:00 HS 11 Ernest Wallmüller, CEO Qualität & Informatik Zürich Info>>
Brain-inspired computing for machine vision 10.01.2013 16:15 HS C Nicolai Petkov, Professor an der University of Groningen Info>>
Optimal and Robust  Scheduling for Real Time Streaming in Unstructured Meshes 16.05.2012 12:15 3W04 Renato Lo Cigno, Associate Professor at DISI at the University of Trento Info>>
Optimization of Semantic Web Queries 03.05.2012 16:15 HS F Reinhard Pichler, Professor der Fakultät für Informatik an der TU-Wien Info>>
Finding Objects in Cluttered Scenes for Home Robotics 24.04.2012 14:15 HS D Jim Little, Professor of the Department of Computer Science at the University of British Columbia Info>>
Business Process Modeling. A Case Study: BPMN, YAWL, S-BPM 12.03.2012 15:15 HS A Egon Börger, Emeritus Professor of the Department of Computer Science at the University of Pisa
Combining compositional shape hierarchy and multi-class object taxonomy for efficient object categorisation 01.12.2011 16:15 HS C Ales Leonardis, University of Ljubljana


IBM Change Risk Expert – Never Touch a running expert. 27.10.2011 16:15 HS C Dirk Husemenn, IBM research Zurich
Info >>
Multi-Task Prediction  of Drug  Bioactivity with  Ensembles of
Graph Labeling Models
28.07.2011 16:15 HS D Juho Rousu,  University of Helsinki Info>>
The Free Software Movement and the GNU/Linux Operating System, Free Software in Ethics and in Practice 09.06.2011 13:00 Aula Architektur Richard Stallman, Free Software Foundation Info>>
Bringing the Benefits of Java to Embedded Systems: Hard Real-Time Capable Garbage Collection in JamaicaVM 19.05.2011 16:15 HS D Cemens Ballarin, Head of the quality assurance group at aicas, Info>>
Observations on the Use of UML in Industry 07.04.2011 16:15 HS D Jim Arlow, Director of Clear View Training Limted Info>>
Predicate Abstraction and Refinement for Verifying Multi-Treaded Programs 17.03.2011 16:15 HS D Andrey Rybalchenko, TU Munich Info>>
Teaching Semantics with a Proof Assistant or No more LSD trip proofs 20.01.2011 16:15 HS C Tobias Nipkow, TU Munich Info>>
Privacy-aware access control in social networks 28.10.2010 16:15 HS C Federica Paci, University of Trento Info>>
Program Parallelization and Optimization at Compile-Time in the Polyhedral Model 16.09.2010 16:15 HS C Cedric Bastoul, University of Paris-Sud Info>>
(How) Did You Specify Your Test-Suites? 17.06.2010 16:15 HS D Helmut Veith, TU-Wien Info>>
Learning Similarity Queries from Preferences 10.06.2010 16:15 HS D Ingo Schmitt, TU Cottbus Info>>
Future Variability Management 18.03.2010 16:15 HS G Christoph Weidenbach, MPI Saarbrücken Info>>
Theory and Practice of Dynamic Patterns 04.03.2010 16:15 HSB1 Delia Kesner, University Paris Diderot 7 Info>>
Church’s Thesis is Provable 04.02.2010 16:00 HS C Nachum Dershowitz, Tel Aviv Universität Info>>
Aggregating Probabilistic Information 21.01.2010 16:15 HS C Werner Nutt, Faculty of Computer Sciences, University of Bozen Info>>
Frontiers of Structured Business Process Modeling 17.12.2009 16:15 HS B Dirk Draheim, Head of the ZID Innsbruck Info>>
Semantic based Discovery and Management of Contents, Services and Software 07.12.2009 10:00 HS E Beniamino Di Martino, Professor of Information Systems at the Second University of Naples Info>>
Orthographic Software Modeling: A Practical Approach for “Living Models” 01.12.2009 16:15 HS D Colin Atkinson, Chair of Software Engineering at University of Mannheim. Affiliated to the Institute of Computer Science, University of Innsbruck Info>>
Software Best Practices: Agile Deconstructed 5.10.2009 09:30 HSB1 Steven Fraser PhD, Cisco Resarch Center Info>>
Lambda Calculus with Systems of Types 9.7.2009 16:15 HS C Henk Barendregt (Chair Found. of Maths and Computer Sciene, Radboud University) Info>>
MPI on a Million Processors – and Less 25.6.2009 16:00 HS C Jesper Larsson Träff (Chief Reserchaer at NEC Laboratories Europe, NEC Europe ltd.) Info>>
The Semantic Gap in Image Indexing and Retrieval – Application to the Recognition of Botanical Bloom Characteristics 18.6.2009 16:15 HS C Harald Kosch (Chair of Distributed and Multimedia Information Systems, University Passau) Info>>
Sequence Analysis with Suffix Arrays 2.4.2009 16:15 HS C Enno Ohlebusch (Theoretical Bioinformatics Group, Universität Ulm) Info>>
Randomized Algorithms 5.3.2009 16:00 HS C Jörg Hoffmann (SAP Research, CEC Karlsruhe) Info>>

Universität Innsbruck