Termine im Kolloquium der Fachgruppe Informatik

Die Vorträge finden in der Regel donnerstags um 16.00 Uhr im Großen Seminarraum (E3), Raum 9222, Erweiterungsbau 3, Ahornstr. 55, statt.
Um einen Vortragstermin zu belegen, richten Sie sich bitte nach folgender Anleitung.
Folgende Termine wurden bereits für ein Kolloquium vorgemerkt:
An folgenden Terminen finden Vorträge im Forum Informatik statt:

Sommersemester 2016

Freitag, 15. Juli 2016, 14:00 Uhr, Raum 9222, E3, Ahornstr. 55
Dr. rer. nat. Mohamed Amine Chatti, RWTH Aachen
Analytics Enhanced Personalized Learning

Freitag, 15. Juli 2016, 09:30 Uhr, Raum 9222, E3, Ahornstr. 55
Dr. rer. nat. Christian Beecks, RWTH Aachen
Multimedia Data Management and Analysis

Mittwoch, 13. Juli 2016,16:00 Uhr, AH IV, Ahornstr. 55
Prof. Dr.-Ing.Alexander Fay, Helmut-Schmidt-Universität
Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals to support the Evolution Management by Semi-Automated Requirement Verification

Dienstag, 28. Juni 2016, 10:30 Uhr, AH V, Ahornstr. 55
Prof. Dr. Ir. Wil van der Aalst, TU Eindhoven (NL), Scientific Director of the Data Science Center Eindhoven (DSC/e)
Process Mining: Data Science in Action

Freitag, 24. Juni 2016, 13:00 Uhr, Raum 2222, Ahornstr. 55
Prof. Stephen Brewster, University of Glasgow
New ways of interacting with mobile devices

Mittwoch, 27. April 2016, 17:15 Uhr, AH I, Ahornstr. 55
Sebastian Wangnick, Leiter der Anwendungsentwicklung Lotsenarbeitsplatz
Informationstechnologie an der Flugsicherungszentrale Maastricht von Eurocontrol

Montag, 25. April 2016, 14:00 Uhr, Raum 6202, E2, Ahornstr. 55
Dr. Schneider, University of Pittsburgh Biomedical Informatics Department, USA
Acquiring and representing drug-drug interaction knowledge and evidence

Mittwoch, 20. April 2016, 17:15 Uhr, AH I, Ahornstr. 55
Prof. Dr. Eyke Hüllermeier, Universität Paderborn
50 Jahre Fuzzy-Logik: Eine Bestandsaufnahme

Wintersemester 2015/2016

Freitag, 05. Februar 2016, 15:30 Uhr, Raum 2222, Ahornstr. 55
Pierre Dragicevic, Ph.D. (Inria)
Bad Stats are Miscommunicated Stats

Mittwoch, 27. Januar 2016, 16:30 Uhr, Aula 2, Ahornstr. 55
Dr. Rainer Janßen (CIO der Munich Re)
Zugbrücke außer Betrieb: Warum IT und Business nicht zueinander finden!

Montag, 25. Januar 2016, 16:00 Uhr, AH I, Ahornstr. 55
Prof. Dr. Goran Frehse (Université Joseph Fourier Grenoble 1 - Verimag)
Semi-Template Reachability and Timed Separation in Hybrid Systems

Freitag, 15. Januar 2016, 14:00 Uhr, AH III, Ahornstr. 55
Dr. Wolfgang Böhm (Technische Universität München)
SPES_XT: Modellierungs- und Analysetechniken

Sommersemester 2015

Freitag, 25. September 2015, 15:00 Uhr, Raum 9222, E3, Ahornstr. 55
Prof. Dr. Sriram Sankaranarayanan (University of Colorado at Boulder, USA)
Invariants on exptected values in probabilistic programs

Mittwoch, 2. September 2015, 17:00 Uhr, Aula 2, Ahornstr. 55
Prof. Dr. Jürgen Gausemeier, Heinz Nixdorf Institut der Universität Paderborn und Sprecher des BMBF-Spitzenclusters "it's OWL",
Prof. Dr. Stefan Kowalewski, Lehrstuhl Informatik 11 der RWTH, Sprecher des VDI/VDE-GMA-Fachausschusses "Cyber-physical Systems"
Industrie 4.0 - mehr als ein Hype

Montag, 6. Juli 2015, 16:00 Uhr, Raum 9222, E3, Ahornstr. 55
Prof. Dr. Lenore Zuck, University of Illinois, Chicago
A Switch, In Time

Donnerstag, 25. Juni 2015, 11:00 Uhr, Seminarraum 003, IT Center, Kopernikusstr. 6
Dr Hamish Carr
Topological Analysis of Scientific Data

Freitag, 19. Juni 2015, 15:00 Uhr, Raum 9222, E3, Ahornstr. 55
Rupak Majumdar, Scientific Director Max Planck Institute for Software Systems
Algorithmic Formal Methods in Continuous Control

Wintersemester 2014/2015

Dienstag, 27. Januar 2015, Raum 9222, E3, Ahornstr. 55
Assoc. Prof. Dr. Mohamed Medhat Gaber, Robert Gordon University, Aberdeen, UK
Unsupervised Learning Techniques to Diversifying and Pruning Random Forests

Donnerstag, 4. Dezember 2014, 12:15 Uhr, AH VI, Ahornstr. 55
Prof. Dr. Ira Assent, Aarhus University
Outlier detection and explanation

Montag, 1. Dezember 2014, 11:00 Uhr, AH II, Ahornstr. 55
Prof. Dr. Erhard Rahm (Uni Leipzig)
Big Data Integration at ScaDS Dresden/Leipzig

Dienstag, 21. Oktober 2014, 16:00 Uhr, Seminarraum 9222, E3, Ahornstr. 55
Hector Geffner, ICREA & Universitat Pompeu Fabra, Barcelona
The Model-based Approach to Autonomous Behaviour: Models, Heuristics, Challenges

Donnerstag, 16. Oktober 2014, 16:00 Uhr, Seminarraum 9222, E3, Ahornstr. 55
Hector Geffner, ICREA & Universitat Pompeu Fabra, Barcelona
From Models to Solvers: Models and Techniques for General Intelligence

Sommersemester 2014

Montag, 28. Juli 2014, 13:00 Uhr, Seminarraum 9222, Ahornstr. 55
Jim Baker, Stefan Richthofer
Rackspace, Ruhr-Universität Bochum
Jython and JyNI from developer’s view

Donnerstag, 15. Mai 2014, 16:00 Uhr, Seminarraum 9222, Erweiterungsbau 3, Ahornstr. 55
Prof. Wolfgang E. Nagel, Direktor des Zentrums für Informationsdienste und Hochleistungsrechnen, TU Dresden
Schnelle Lösungen in Zeiten von Multi- und Many-Core-Systemen: Braucht man eigentlich noch eine Programmoptimierung?

Montag, 12. Mai 2014, 16:00 Uhr, Informatik E3, Ahornstr. 55, Raum 222, 2. OG
Professor Dr. Egon Boerger (Pisa)
Closing the Gap between Business Process Mod- els and their Implementation: Towards Certified BPMs

Mittwoch, 30. April 2014, 10.00 Uhr, Raum 9222, E3, Ahornstr. 55
Dipl.Inform. David Rybach
Search Methods for Speech Recognition using Weighted Finite-State Transducers

Freitag, 25. April 2014, 14:15 Uhr, Informatik E3, Ahornstr. 55, Raum 222, 2. OG
Prof. Marsha Chechik
Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering

Mittwoch, 16. April 2014, 11:00 Uhr, 2.22 (großer Seminarraum, E3)
Prof. Dr. Martin Ester, Simon Fraser University, Canada
Recommendation in Social Networks: Probabilistic Graphical Models

Mittwoch, 9. April 2014, 16.00 Uhr, AH III, Ahornstr. 55
Prof. Wieslaw Woszczyk, McGill University Montreal
Space Builder and Open Orchestra: tools for ambient design in surround sound with height, and for training of music students in a virtual ensemble

Wintersemester 2013/2014

Montag, 24. März 2014, 16:00 Uhr, AH III, Ahornstr. 55
Professor Hank Childs, Ph.D. - University of Oregon
Exascale Visualization: A Paradigm Shift and Four Big Challenges

Mittwoch, 29. Januar 2014, 16:15 Uhr, AH II, Ahornstr. 55
Assistant Professor Dr. Christian Berger, Universität Göteborg
Improving the Use of Automated Simulations for Intelligent Vehicles

Montag, 27. Januar 2014, 10.30 Uhr, Raum 327, AICES, Rogowski
Daniele Spampinato, ETH Zürich
Compiling High Performance Linear Algebra Building Blocks

Donnerstag, 23. Januar 2014, 16:15 Uhr, AH I, Ahornstr. 55
Valentin Ziegler, think-cell AG
The C++ Memory Model

Montag, 13. Januar 2014, 10:30 Uhr, Seminarraum 001, Kopernikusstr 6 (Erweiterungsbau Rechenzentrum)
Dr. Bryan Marker, University of Texas at Austin, USA
Automating the Actions of Dense Linear Algebra Experts

Mittwoch, 18. Dezember 2013, 16:15 Uhr, AH II, Ahornstr. 55
Prof. Bernhard Thalheim (Kiel)
Die Theorie und Praxis des konzeptuellen Modelles - alternativ: Kann es einen Begriff des Modelles und des konzeptuellen Modelles geben?

Montag, 16. Dezember 2013, 14:00 Uhr, AH 6, Ahornstr. 55
Prof. Dr. László Györfi (Budapest University of Technology and Economics)
Empirical growth optimal portfolio selections

Montag, 2. Dezember 2013, 16:00 Uhr, 5056 Ahornstr. 55
Prof. Dr. Philippe Lenca
On Pruning Property of Interestingness Measures to Mine Association Rules and Class Association Rules

Donnerstag, 28. November 2013, 09:45 Uhr, AH II, Ahornstr. 55
Markus Völter
Interessante Aspekte des DSL Designs illustriert mit mbeddr und MPS

Montag, 25. November 2013, 16:30 Uhr, AH III, Ahornstr. 55
Dirk Draheim
On the Pragmatics and a Constraint-based Semantics of Multilevel Modeling

Sommersemester 2013

Donnerstag, 18. Juli 2013, 16:30 Uhr, AH I
Dr. Daniel Schuster, Technische Universität Dresden
XMPP - The Potential Heartbeat of Global-Scale Pervasive Computing

Montag, 15. Juli 2013, 16:00 Uhr, AH II, Ahornstr. 55
Prof. Tomas Skopal, Karls-Universität Prag
Axiom exploration for indexing similarity - beyond the metric space model

Donnerstag, 25. April 2013, 16:00 Uhr, Grosser BIT-Seminarraum, Gebaeude E2, R 5053.2
Dr. Pascal Schweitzer, ETH Zürich
Das Graphisomorphieproblem: Strukturelle und Algorithmische Einsichten

Mittwoch, 24. April 2013, 10:00 Uhr, Seminarraum 5052
James Worrel, University of Oxford
The Positivity Problem for Low-Order Linear Recurrence Sequences

Donnerstag, 18. April 2013, 15.00 Uhr, AH VI, Ahornstr. 55
Götz Gräfe, Ph.D., Hewlett Packard Laboratories, USA
Instant Recovery in Database Systems

Wintersemester 2012/2013

Mittwoch, 30. Januar 2013, 16:30 Uhr, AH I, Ahornstr. 55
Assistant Professor Dr. Christian Berger, Universität Göteborg
Das mitdenkende Automobil als Teil künftiger Mobilitätsstrukturen - Herausforderungen an das Automotive Software & Systems Engineering

Dienstag, 22. Januar 2013, 16:00 Uhr, AH I, Ahornstr. 55
Prof. Dr. Stefan Jähnichen, TU Berlin
Modelica - Modeling and Simulation of Technical Systems

Mittwoch, 19. Dezember 2012, 16.30 Uhr, AH I, Ahornstr. 55
Dr. Matthias Behrens, CIO Drägerwerk AG & Co. KGaA, Lübeck
Cloud-Sourcing aus Anwendersicht - Strategie, Entscheidungsfindung, Umsetzung -

Montag, 17. Dezember 2012, 15.00 Uhr, AH 2, Ahornstr. 55
Prof. Dr. Hubert Garavel, INRIA Rhone-Alpes, France
CADP 2012 - A Toolbox for the Construction and Analysis of Distributed Processes

Donnerstag, 13. Dezember 2012, 16:00 Uhr, AH 1, Ahornstr. 55
Dr. Igor S. Mayer, Delft University of Technology
The Research and Evaluation of Serious Games: Towards a Comprehensive Methodology

Montag, 22. Oktober 2012, 15.30 Uhr, Raum 5053.2 (B-IT Research School), Ahornstr. 55
Prof. Dr. Yuki Nakamoto, University of Hyogo and Designated Professor of Nagoya University
Cloudia: A Car-to-X Data Integration Platform

Sommersemester 2012

Freitag, 28. September 2012, 11.00 Uhr, Raum 4105 (Seminarraum ComSys), Ahornstr. 55
Dr. Maurizio Bocca, Signal and Processing Across Networks Lab, University of Utah
Device-Free Localization from Wireless Network Signal Strength Measurements

Freitag, 10. August 2012, 14:00 Uhr, Hörsaal UMIC 025, Mies-van-der-Rohe Str. 15
Prof. Dr. Dariu M. Gavrila, Daimler R&D und University of Amsterdam
Human-Aware Intelligent Systems

Donnerstag, 26. Juli 2012, 10.00 Uhr, Raum 6317 (Seminarraum Informatik 8), Ahornstr. 55
Professor Deok-Soo Kim, Ph.D., Hanyang University, Seoul, Korea
Understanding molecular geometry

Dienstag, 17. Juli 2012, 11.00 Uhr, German Research School for Simulation Sciences, Schinkelstraße 2a, Aachen, Lecture room (Room 001)
Prof. Dr. Rainer Spurzem, National Astronomical Observatory Beijing and University of Heidelberg
GPU Supercomputing on Three Continents and Application to Supermassive Black Holes and Gravitational Waves from Galactic Nuclei

Donnerstag, 5. Juli 2012, 16:00 Uhr, AH 1
Dr. Sebastian Theophil, think-cell AG
LaTeX-less Layout

Mittwoch, 27. Juni 2012, 15:00 Uhr, AH 4
Hans Meinhardt, Max-Planck-Institut Tübingen
Aufbau und Abbau von Mustern in der Biologie

Donnerstag, 31. Mai 2012, 16:00 Uhr, Raum 2002, Ahornstr. 55
Dr. Ralf Huuck, NICTA / UNSW / Red Lizard Software
Software Bug Detection in Millions of Lines of C/C++ Code

Mittwoch, 23. Mai 2012, 15:00 Uhr, AH 4
Wolfgang Coy, Humboldt-Universität Berlin
Turing Test Revisited

Freitag, 18. Mai 2012, 10:00 Uhr, Raum 5056
Prof. Dr. Chris J. Myers, University of Utah, USA
Formal Verification of Genetic Circuits

Mittwoch, 25. April 2012, 15:00 Uhr, AH 4
Johannes Blömer, Universität Paderborn
Alan Turing, die Enigma und die Geburt der modernen Kryptographie

Freitag, 20. April 2012, 16.00 Uhr, Raum 5053.2 (B-IT Research School), Ahornstr. 55
Dr. Christoph Quix, Lehrstuhl Informatik 5, RWTH Aachen
Ein generischer Ansatz zur Verwaltung von komplexen, heterogenen Datenmodellen

Montag, 16. April 2012, 17:00 Uhr, AH 5
Wolfgang Thomas
Alan Turing und die Grundfrage der Informatik: Was können Algorithmen?

Wintersemester 2011/2012

Freitag, 30. März 2012, 11:00 Uhr, German Research School for Simulation Sciences, Schinkelstraße 2a, Lecture Room (R 001)
Prof. Torsten Hoefler
Performance Modeling for Systematic Performance Tuning

Freitag, 16. März 2012, 11:00 Uhr, AH 6
Prof. Martin Ester, Simon Fraser University, Vancouver, Kanada
Probabilistic Models for Data Mining in Social Media

Donnerstag, 2. Februar 2012, 16:30 Uhr, Hörsaal AH 1
Dr. Carsten Weise (IVU Traffic Technologies AG)
Das Smartphone steuert den Bus

Mittwoch, den 25. Januar 2012, 15 Uhr, Hörsaal AH 3
Thomas Noll
Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project

Dienstag, den 8. November 2011, 11 Uhr, Raum 2002
Martin Jaensch (Daimler AG)
Modulorientierter Ansatz für den modellbasierten Elektrik/Elektronik-Architekturentwurf

Sommersemester 2011

Dienstag, den 13. September 2011, 16 Uhr, Raum 5056
Prof. Michael E. Houle, National Institute for Informatics, Tokyo, Japan
Intrinsic Dimensionality and its Applications to Databases and Data Mining

Dienstag, den 9. August 2011, 14:15 Uhr, Hoersaal 6, Pauwelsstr. 30
Mohamed E. Karar, Universitaet Leipzig, Innovation Center Computer Assisted Surgery (ICCAS)
Development of a Surgical Assistance System for Guiding Transcatheter Aortic Valve Implantation

Mittwoch, 13. Juli 2011, 15 Uhr, Hörsaal AH IV
Rafaela Hillerbrand, Humtec, RWTH Aachen
Simulierte Wissenschaft oder Erkenntniswerkzeug? Ein philosophischer Blick auf Computersimulationen

Donnerstag, 30. Juni 2011, 16:30 Uhr, Hörsaal AH I
Mark Guzdial, Georgia Tech, Vice President ACM SIGCSE
Using Digital Media to Motivate Learning about Computer Science

Donnerstag, 30. Juni 2011, 10 Uhr, Hörsaal AH I
Prof. Dr. Bernd Finkbeiner, Universität des Saarlandes
Logics and Algorithms for the Synthesis of Distributed Systems

Mittwoch, 29. Juni 2011, 15 Uhr, Hörsaal AH IV
Donald Kossmann, Inst. f. Informationssysteme, ETH Zuerich
CrowdDB: Answering Queries with Crowdsourcing

Dienstag, 28. Juni 2011, 16 Uhr, Hörsaal AH I
Prof. Dr. Martin Grohe, Humboldt-Universität zu Berlin
Logik, Struktur und Komplexität

Dienstag, 28. Juni 2011, 10 Uhr, Hörsaal AH III
Prof. Dr. Martin Lange, Universität Kassel
Logic and Algorithms for the Foundations of Computer Science

Montag, 27. Juni 2011, 14:30 Uhr, Hörsaal AH II
Prof. Dr. Thomas Schwentick, Technische Universität Dortmund
Strings und Bäume mit Daten: Betrachtung eines neuen Datenmodells aus verschiedenen Blickwinkeln

Montag, 27. Juni 2011, 10 Uhr, Hörsaal AH VI
Prof. Dr. Javier Esparza, TU München
Solving fixed-point equations on semirings

Montag, 20. Juni 2011, 14:30 Uhr, Hörsaal AH II
Prof. Dr. Nicole Schweikardt, Goethe-Universität Frankfurt am Main
On the expressive power of invariant logics

Montag, 20. Juni 2011, 10 Uhr, Hörsaal AH VI
Prof. Dr. Markus Lohrey, Universität Leipzig
Algorithmische Modelltheorie und Verifikation unendlicher Systeme

Mittwoch, 15. Juni 2011, 10 Uhr, Raum 5052
Dr. Byron Cook, Microsoft Research, Cambridge, UK
Proving that programs eventually do something good

Mittwoch, 1. Juni 2011, 15 Uhr, Hörsaal AH IV
Barbara Terhal, Inst. f. Quanteninformation, RWTH Aachen
Quantum Complexity Theory

Mittwoch, 18. Mai 2011, 15 Uhr, Hörsaal AH IV
Uwe Schoening, Abt. Theor. Informatik, Univ. Ulm
Das SAT-Problem und lokale Suchmethoden

Dienstag, 3. Mai 2011, 11 Uhr, Seminarraum i1 (4017)
Prof. Dr. John Lygeros, ETH Zürich
Stochastic Hybrid Systems: Reachability and Related Properties

Mittwoch, 27. April 2011, 15 Uhr, Hörsaal AH IV
Albert Benveniste, IRISA/INRIA, Rennes
Interface Theories in the Context of Requirements Engineering

Donnerstag, 14. April 2011, 16:30 Uhr, Hörsaal AH I
Dr. Torsten Höfler, Blue Waters Directorate, NCSA
Characterizing the Influence of System Noise on Large-Scale Parallel Applications

Donnerstag, 7. April 2011, 16:30 Uhr, Hörsaal AH I
Prof. Themis Palpanas, University of Trento, Italy
iSAX 2.0: Indexing and Mining One Billion Time Series

Wintersemester 2010/2011

Donnerstag, 3. Februar 2011, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Johannes Buchmann, TU Darmstadt
Post Quantum Cryptography

Donnerstag, 27. Januar 2011, 16:30 Uhr, Hörsaal AH I
Frank Thuijsman
Nash network formation in the one way flow model

Donnerstag, 16. Dezember 2010, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Manfred Broy, TU München
Modulare modellbasierte Spezifikationen und Entwicklung verteilter interaktiver Systeme

Mittwoch, 1. Dezember 2010, 15 Uhr, Hörsaal AH VI
Prof. Dr. Byron Cook, Microsoft Research, Cambridge, UK
Proving that programs eventually do something good

Donnerstag, 25. November 2010, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Helmut Seidl, TU München
Hat Kleene-Fixpunktiteration ausgedient? Neue Techniken zur Berechnung genauer Programminvarianten

Donnerstag, 18. November 2010, 16:30 Uhr, Hörsaal AH I
Prof. Hector Levesque, Ph.D., Universität Toronto
Open-World Reasoning

Donnerstag, 11. November 2010, 16:30 Uhr, Hörsaal AH I
Prof. Michael E. Houle, Ph.D., National Institute of Informatics, Tokyo
The Relevant-Set Correlation Model for Data Clustering

Dienstag, 9. November 2010, 16:00 Uhr, Hörsaal AH I
Prof. James P. Delgrande, Simon Fraser University, Canada
Parallel Belief Revision

Donnerstag, 4. November 2010, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Volker Diekert, Universität Stuttgart
Aspekte der Theoretischen Informatik entlang der Goedel-Preise

Mittwoch, 13. Oktober 2010, 10:30 Uhr, Raum 5056
Prof. Dr. Andreas Henrich, Universität Bamberg
LFRP-Search: Multi-Layer Ranked Visual Faceted Search – An Approach to Cope with Complex Search Situations

Donnerstag, 7. Oktober 2010, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Jörg Flum, Albert-Ludwigs-Universität Freiburg
Optimale Beweissysteme und PTIME-Logiken

Sommersemester 2010

Donnerstag, 30. September 2010, 17:00 Uhr, Hörsaal AH I
Dr. Lennart Nacke, Department of Computer Science, University of Saskatchewan
Affective Computing, Fun and User Experience in Digital Gaming

Dienstag, 21. September 2010, 14:00 Uhr, Raum 5052
Prof. Dr. Ashish Gosh, Indian Statistical Institute, Kalkutta, India
Object detection from video sequences, and target recognition from remotely sensed images

Donnerstag, 22. Juli 2010, 16:30 Uhr, Hörsaal AH I
Prof. Dr. André Hinkenjann, Computer Graphics Lab University of Applied Sciences Bonn-Rhein-Sieg
Software und Hardware für effiziente, realitätsnahe Bildsynthese in Interaktiven Umgebungen

Donnerstag, 15. Juli 2010, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Helmut Lukesch, Institut für Psychologie, Universität Regensburg
Computerspiele und "Spielsucht"

Freitag, 9. Juli 2010, 14:00 Uhr, Raum 5056
Prof. Dr. Avigdor Gal, Technion Haifa, Israel
Tuning the ensemble selection process of schema matchers

Donnerstag, 8. Juli 2010, 16:30 Uhr, Hörsaal AH I
Benjamin Espe, UniMentor e.V., Univ. Magdeburg
Nico Haase, Fachschaft Informatik, TU Darmstadt
Studentisches Mentoring für Studienanfänger - Lösung gegen Studienabbruch?

Donnerstag, 1. Juli 2010, 16:30 Uhr, Hörsaal AH I
Peter Manhart, Daimler AG
SW-Variantenmanagement in der Automobilindustrie

Dienstag, 15. Juni 2010, 10:00 Uhr, Hörsaal AH III
Dr. Martin Hoefer, RWTH Aachen
Algorithmen für Koordinationsprobleme in großen Netzwerken

Wintersemester 2009/2010

Donnerstag, 11. März 2010, 16:30 Uhr, Hörsaal AH I
Dr. Michael Huth, Imperial College, London
p-Automata: New Foundations for Discrete-Time Probabilistic Verification

Donnerstag, 11. März 2010, 10:30 Uhr, Seminarraum 102, Schinkelstraße 2a,
Prof. Dr. Emilio Luque, Universitat Autonoma de Barcelona
Agent-Based (Individual-Oriented) Models: Simulating Fish School and Hospital Emergency Departments

Dienstag, 2. März 2010, 15.00 Uhr, Raum 5056
Dr. Arthur Zimek, Ludwig-Maximilians-Universität, München
Clustering in Subspaces of High-Dimensional Data

Dienstag, 26. Januar 2010, 10:00 Uhr, Raum 5056
Prof. Dr. Franck van Breughel, York University, Toronto
Behavioural Pseudometrics

Donnerstag, 14. Januar 2010, 16:30 Uhr, Hörsaal AH I
Dr. Axel Uhl, SAP AG
Programming Model Development - How DSLs and language workbenches can help in modern Software Engineering

Donnerstag, 17. Dezember 2009, 16:30 Uhr, Hörsaal AH I
Dr. Ansgar Schleicher, DSA
Effiziente übergreifende Fahrzeugdiagnoseprozesse durch flexible IT-Architekturen und standardisierte Datenformate

Dienstag, 15. Dezember 2009, 16 Uhr, Raum UMIC 025
Prof. David J. Fleet, Ph.D., University of Toronto
Physics-Based Models for Human Motion Analysis

Freitag, 6. November 2009, 14:00 Uhr, Raum UMIC 025
Dr. Uwe Franke, Daimler AG, Böblingen
Progress in Real-Time Stereo Vision

Donnerstag, 5. November 2009, 16:30 Uhr, Hörsaal AH I
Dr. rer. nat. Stefan Kriebel, BMW Group, München
Wirtschaftliche Entwicklung sicherheitsrelevanter Systeme

Donnerstag, 15. Oktober 2009, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Marta Kwiatkowska, University of Oxford
On Quantitative Software Verification

Sommersemester 2009

Dienstag, 15. September 2009, 16:30 Uhr, Seminarraum 5056
Prof. Dr. Myra Spiliopoulou, Otto-von-Guericke-Universität Magdeburg
Multi-Table Stream Mining

Donnerstag, 23. Juli 2009, 11:00 Uhr, Seminarraum Informatik 9
Prof. Dr. Ingo Schmitt, Technische Universität Cottbus
Präferenzenbasiertes Lernen von Ähnlichkeitsanfragen auf der Grundlage der Quantenlogik

Donnerstag, 9. Juli 2009, 16:30 Uhr, Hörsaal AH V
Dr. Michael Ley, Universität Trier
DBLP und bibliometrische Evaluationen?

Donnerstag, 2. Juli 2009, 16:30 Uhr, Hörsaal AH I
Vivekanand Gopalkrishnan, Ph.D., Nanyang Technological University Singapore
Enhancing Utilities of Frequent Patterns

Freitag, 19. Juni 2009, 14 Uhr, Seminarraum Informatik 9
Dr. Ira Assent
Privacy-aware outsourcing of metric data

Donnerstag, 18. Juni 2009, 16:30 Uhr, Hörsaal AH V
Prof. Dr. Oliver Vornberger, Universität Osnabrück
E-Learning - jetzt noch besser!

Montag, 8. Juni 2009, 17:00 Uhr, Seminarraum Informatik 4
Jim Carlo, J. Carlo Consulting LLC
IEEE 802 - Standards and Processes

Freitag, 5. Juni 2009, 11:00 Uhr, Seminarraum 5052
John Field, IBM T.J. Watson Research Center
Thorn: Robust, Concurrent, Extensible Scripting on the JVM

Donnerstag, 30. April 2009, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Daniel Cremers, University of Bonn
Optimal Solutions for Spatially Continuous Labelling Problems

Donnerstag, 23. April 2009, 16:30 Uhr, Hörsaal AH I
Pieter Collins, CWI Amsterdam
Computable Analysis and Dynamic Systems

Donnerstag, 16. April 2009, 16:30 Uhr, Hörsaal AH I
Dr. Jan Peters, MPI for Biological Cybernetics
Towards Motor Skill Learning in Robotics

Donnerstag, 16. April 2009, 11 Uhr, Seminarraum Informatik 11
Dr. Clemens Grelck, University of Amsterdam, University of Hertfordshire
From Implicit Concurrency Utilisation to Explicit Concurrency Engineering: SaC and S-Net

Donnerstag, 16. April 2009, 9 Uhr, Seminarraum Informatik 11
Prof. Dr. Anthony T. Chronopoulos, University of Texas at San Antonio
Implementation of Distributed Loop Scheduling Schemes on the TeraGrid

Wintersemester 2008/2009

Freitag, 6. Februar 2009, 14 Uhr, Raum 5056
Prof. Claus-C. Hilgetag, PhD, Jacobs University Bremen
Structural organization and functional dynamics of large-scale neural networks

Donnerstag, 5. Februar 2009, 16:30 Uhr, Hörsaal AH I
Prof. Alfons Kemper, Ph.D., TU München
Database as a Service

Donnerstag, 29. Januar 2009, 14 Uhr, Raum 5052
Prof. Dr. Markus Diesmann, RIKEN Brain Science Institute, Japan
Large-scale simulations of plastic neural systems

Donnerstag, 29. Januar 2009, 16:30 Uhr, Hörsaal AH IV
Prof. Dr.-Ing. M. J. Hampe, Verfahrenstechnik, TU Darmstadt
Prof. Dr. K. Weihe, Fachbereich Informatik, TU Darmstadt
Verminderung der Abbrecherquote: Zwei Modelle für den Studienbeginn – Erfahrungen an der TU Darmstadt

Donnerstag, 22. Januar 2009, 16:30 Uhr, Hörsaal AH I
Prof. Nikos Mamoulis, Ph.D., University of Hong Kong
Algorithms for Large-Scale Matching Problems

Donnerstag, 11. Dezember 2008, 16:30 Uhr, Hörsaal AH I
Dr. Kai Jakobs, RWTH Aachen
ICT Standards Setting - Some Current Issues

Montag, 8. Dezember 2008, 14:30 Uhr, Raum 6019
Prof. Dr. Michael Codish, Ben-Gurion University, Beer-Sheva, Israel
Proving Termination with Size Change Graphs: Theory, Practice & (Boolean) Satisfaction

Freitag, 5. Dezember 2008 (Tag der Informatik), 15:15 Uhr, Hörsaal AH V
Prof. Orna Grumberg, Technion, Haifa, Israel
Compositional Verification and 3-Valued Abstractions Join Forces

Donnerstag, 4. Dezember 2008, 16:30 Uhr, Hörsaal AH I
Dr. Christof Löding, RWTH Aachen
Algorithmisch handhabbare kontextfreie Spezifikationen

Donnerstag, 6. November 2008, 16:30 Uhr, Hörsaal AH I
Prof. Karl, Universität Paderborn
Mobile opportunities: From wireless cooperation to distributed research

Sommersemester 2008

Donnerstag, 24. Juli 2008, 16:30 Uhr, Hörsaal AH I
Dr. Ralf Huuck, National ICT Australia (NICTA)
Static Analysis Meets Model Checking

Donnerstag, 10. Juli 2008, 16:30 Uhr, Hörsaal AH I
PD Dr. Peter Dittrich, Friedrich-Schiller-Universität Jena
The Chemical Metaphor as a Paradigm for Modelling Biological, Social, and Organic Computing Systems

Donnerstag, 26. Juni 2008, 16:30 Uhr, Hörsaal AH I
Dr. Chr. Spannagel, Pädagogische Hochschule Ludwigsburg
Prozessorientierte Unterstützungsmaßnahmen beim Lernen mit Computern

Montag, 16. Juni 2008, 13:30 Uhr, Seminarraum des Rechen- und Kommunikationzentrums
Prof. Terence Parr, Dept. of Computer Science, University of San Francisco
The Reuse of Grammars with Embedded Semantic Actions

Donnerstag, 12. Juni 2008, 16:30 Uhr, Hörsaal AH I
Prof. Luc De Raedt, Katholieke Universiteit Leuven
An Introduction to Statistical Relational Learning: A Logical Perspective

Montag, 9. Juni 2008, 14:30, Hörsaal AH II
Prof. Frank Dehne, Carleton University, Ottawa, Kanada
Computational Proteomics

Freitag, 6. Juni 2008, 14 Uhr, Media Space (Raum 2212)
Prof. Jim Hollan, Department of Cognitive Science, University of California San Diego
Bridging Paper and Digital Worlds

Dienstag, 3. Juni 2008, 16 Uhr, Hörsaal AH VI
Prof. Dr. Jan Peleska, University of Bremen
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

Dienstag, 13. Mai 2008, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Ed Brinksma, Embedded Systems Institute, Eindhoven, NL
Dependability for high-tech systems: an industry-as-laboratory approach

Freitag, 9. Mai 2008, abgesagt
Prof. Gerik Scheuermann, Institut für Informatik, Universität Leipzig
Topologie- und merkmalsbasierte Strömungsvisualisierung

Donnerstag, 8. Mai 2008, 16:30 Uhr, Hörsaal AH I
Götz Graefe, Ph.D., HP Labs, Palo Alto, CA
The five-minute rule twenty years later, and how flash memory changes the rules

Mittwoch, 16. April 2008, 15:00 Uhr, Raum 2323 (Seminarraum Informatik 11)
Dr. Erika Ábrahám, FZ Jülich
Bounded Model Checking for Hybrid Systems

Mittwoch, 16. April 2008, 11:00 Uhr, Raum 4017 (Seminarraum Informatik 1)
Dr. Manuela Bujorianu, Uni Twente, NL
Emergent Models in the Theory of Hybrid Systems

Donnerstag, 10. April 2008, 16:30 Uhr, Hörsaal AH I
Prof. Francois Irigoin, Ecole des Mines de Paris
Automatic computation of loop invariants

Termine in früheren Semestern

Disclaimer