ifi

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
Info>>
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

Info>>

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