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 für ein Kolloquium vorgemerkt:
An folgenden Terminen finden Vorträge im Forum Informatik statt:

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

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