Termine im Kolloquium der Fachgruppe Informatik

Die Vorträge finden in der Regel donnerstags um 16.30 Uhr im Hörsaal AH I, Ahornstr. 55, statt.
Um einen Vortragstermin zu belegen, richten Sie sich bitte nach folgender Anleitung.
Folgende Termine wurden bereits vorgemerkt:

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

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