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