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