Termine im Kolloquium der Fachgruppe Informatik
in früheren Semestern

Wintersemester 2007/2008

Donnerstag, 20. März 2008, 16 Uhr, Hörsaal AH I
Dr. Markus Diesmann
Large-scale simulations of plastic neural systems

Donnerstag, 13. März 2008, 16 Uhr, Hörsaal AH II
Rolf Kötter
Structural and functional aspects of large-scale brain connectivity

Dienstag, 26. Februar 2008, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Christian S. Jensen, Aalborg University, Denmark
Supporting User-Generated, Location-Aware Mobile Services

Mittwoch, 30. Januar 2008, 10 Uhr, Hörsaal AH IV
Prof. Dr. Ingolf Krueger, UC San Diego
Ein Systematischer Entwicklungsansatz für Dienstorientierte Integrationsarchitekturen

Freitag, 25. Januar 2008, 10 Uhr, Hörsaal AH IV
Prof. Dr. Bernhard Rumpe, Technische Universität Braunschweig
Modellbasiertes Software Engineering - Grundlagen, Stand, Herausforderungen

Donnerstag, 24. Januar 2008, 18 Uhr, Hörsaal AH I
Prof. Dr. Andy Schürr, Technische Universität Darmstadt
Modellgetriebene Softwareentwicklung: Anwendungen, Standards und Grundlagen

Donnerstag, 24. Januar 2008, abgesagt
Thomas Hofmann, Director of Engineering, Google Zürich
Delivering Relevant Search Results on a Global Scale

Freitag, 18. Januar 2008, 16 Uhr, Hörsaal AH III
Prof. Dr. Klaus Pohl, Universität Duisburg-Essen
Variabilität in Softwareproduktlinien: Herausforderungen und Lösungsansätze

Freitag, 18. Januar 2008, 10 Uhr, Hörsaal AH III
Prof. Dr. Ruth Breu, Universität Innsbruck
Modellbasiertes Security Engineering

Donnerstag, 17. Januar 2008, 17 Uhr, Hörsaal AH I
Dr. Markus Kampmann, Ericsson
Adaptive Mobile Multimedia Streaming

Mittwoch, 16. Januar 2008, 10 Uhr, Hörsaal AH IV
Prof. Dr. Sibylle Schupp, Chalmers University of Technology, Göteburg
Codeanalyse für Fehlererkennung: Automatische Garantien für fehlertolerante Systeme

Donnerstag, 20. Dezember 2007, 16:30 Uhr, Hörsaal AH I
Prof. Michael Beetz, TU München
Watching Football with the Eyes of Experts

Dienstag, 11. Dezember 2007, 16 Uhr, Raum 2010
Prof. Dr. Mikhail Volkov, Ural State University, Ekaterinburg, Russia
Synchronizing automata preserving a chain of partial orders

Dienstag, 4. Dezember 2007, 16:30 Uhr, Seminarraum 6317
Prof. Dr. Hélio Côrtes Vieira Lopes
Vector field reconstruction with applications

Donnerstag, 22. November 2007, 15 Uhr, Hörsaal AH I
Dr. Elke Franz, TU Dresden
Realisierung datenschutzgerechten Identitätsmanagements innerhalb einer Anwendung

Donnerstag, 22. November 2007, 10 Uhr, Hörsaal AH II
Dr. Tanja Zseby, FOKUS Berlin
Die Bedeutung passiver Messverfahren für die Sicherheit in Kommunikationsnetzen

Montag, 19. November 2007, 13:30 Uhr, Hörsaal AH II
Prof. Dr.-Ing. Ulrich Greveler, Fachhochschule Münster
Sicherheitsaspekte bei breitbandigen Internetzugängen und Insider-Angriffen auf verschlüsselte Übertragung

Montag, 19. November 2007, 10 Uhr, Raum 5052
Dr. Marc Langheinrich, ETH Zürich
Personal Security and Privacy in Ubiquitous Computing

Donnerstag, 15. November 2007, 13 Uhr, Raum 5052
Dr. Ulrike Meyer, Nokia Siemens Networks München
Security challenges of inter-operating wireless networks and a new approach to public-key-based authentication of roaming mobile devices

Donnerstag, 8. November 2007
Prof. Dr. Carlo Ghezzi, Politecnico di Milano
The challenges of open-world software

Donnerstag, 25. Oktober 2007
Prof. Dr. med. Rolf Kötter, Radboud University Nijmegen
Neuroinformatik: Angewandte Informatik oder Hirnforschung per Computer?

Mittwoch, 24. Oktober 2007, 11:45 Uhr, Raum 5055
Prof. Dr. Aart Middeldorp, Universität Innsbruck
Automating the Knuth-Bendix Order

Sommersemester 2007

Donnerstag, 20. September 2007, 16:30 Uhr, Hörsaal AH V
Wolfram Schulte, Microsoft Redmond
Systematic Unit Testing with Pex

Donnerstag, 21. Juni 2007, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Wan Fokkink, VU amsterdam, CWI
Leader Election for Anonymous Rings

Donnerstag, 14. Juni 2007, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Juraj Hromkovic, ETH Zürich
Informatik und Schule
Über das größte Eigentor der Informatik und warum es schwer ist, den Ausgleich zu erzielen

Donnerstag, 24. Mai 2007
Dr. Dogan Kesdogan, Norwegian University of Science and Technology (NTNU)
Selbstorganisierend und Robust -- Entliehene Prozesse aus der Biologie

Donnerstag, 12. April 2007, 17.00 Uhr, Hörsaal AH I
Prof. Dr. Peter Baumann, Jacobs University Bremen
Serving Large-Scale Spatio-Temporal Raster Data

Montag, 26. März 2007, 17.00 Uhr, Hörsaal AH I
Dr. Ralf Klamma, Lehrstuhl für Informatik 5
Social Software und Community Informationssysteme

Wintersemester 2006/2007

Donnerstag, 8. Februar 2007
Prof. Dr. Friedrich Eisenbrand, Universität Paderborn
Constrained Minkowski Sums

Donnerstag, 1. Februar 2007, 16.30 Uhr, Hörsaal AH I
Prof. Dr. Ulrich Rüde, Uni Erlangen
High End Computing for Large Scale Simulations

Donnerstag, 18. Januar 2007, 16:30 Uhr, Hörsaal AH I
Prof. Dr. Wolfram Burgard, Universität Freiburg
Probabilistic Techniques for Mobile Robot Mapping and Exploration

Donnerstag, 11. Januar 2007, 16.30 Uhr, Hörsaal AH I
Prof. Dr. Ralf Steinmetz, TU Darmstadt (KOM)
Globase - A Peer-to-Peer Overlay for High Quality Location-based Search

Donnerstag, 14. Dezember 2006, 16:30 Uhr, Hörsal AH I.
Prof. Dr. Bertrand Meyer, ETH Zürich
Tests and Proofs of Contracted Components

Donnerstag, 23. November 2006, 16:00 Uhr, Hörsal AH I.
Prof. Dr. Bart Jacobs, Radboud University Nijmegen, The Netherlands
A security review of the biometric passport

Donnerstag, 16. November 2006, 16:30 Uhr, Hörsal AH I.
Prof. Dr. Martin Hofmann, LMU München
From Type Systems to Program Logic

Mittwoch, 25. Oktober 2006, 11:00 Uhr, Raum 6317
Dr. Pierre Alliez, INRIA GEOMETRICA
Surface Tiling through Contouring

Donnerstag, 19. Oktober 2006, 16:00 Uhr, Hörsal AH V.
Eröffnungskolloquium des DFG-Graduiertenkollegs AlgoSyn

Programm
ab 15:30 Uhr Tee und Kaffee im Foyer
16:00 Uhr Prof. Dr. B. Rauhut, Rektor der RWTH Aachen: Grußwort
Prof. Dr. W. Thomas, RWTH Aachen: Die Ziele von AlgoSyn
16:15 Uhr Prof. Dr. B. Jonsson, Uppsala University: Using Synthesis for Verification and Testing of Reactive Systems
17:00 Uhr Pause
17:30 Uhr Prof. Dr.-Ing. J. Raisch, Technische Universität Berlin: Hybrid Control Systems — How to Deal with Heterogeneity and Complexity

Weitere Informationen unter www.algosyn.rwth-aachen.de

Sommersemester 2006

Mittwoch, 12. Juli 2006, 14:00 Uhr, Hörsaal AH V.
Dr. Dogan Kesdogan, RWTH Aachen
Vertraulichkeit in Kommunikationsnetzen

Freitag, 19. Mai 2006, 14:00 Uhr, Hörsaal AH VI.
Dr. Peter Haumer, Rational Software, IBM Software Group
An Overview to IBM's development process strategy, the Eclipse Process Framework, and the OMG SPEM 2.0 Initiatives

Mittwoch, 26. April 2006, 17:15 Uhr, Hörsaal AH V.
Prof. Dr. Heike Wehrheim, Universität Paderborn
Softwaremodellierung mit vielen Sichten

Donnerstag, 6. April 2006, 16:30 Uhr, Hörsaal AH I.
Mariëlle Stoelinga, University of Twente
From Quality to Quantity: Quantitative Logics and System relations for quantitative transition systems

Wintersemester 2005/2006

Dienstag, 7. März 2006, 10:00 Uhr, Raum 6317
Prof. Dr. Shi-Min Hu, Tsinghua University, Beijing
Feature sensitive geometry processing

Donnerstag, 16. Februar 2006, 16:30 Uhr, Hörsaal AH I.
Dr. Ir. Arend Rensink, University of Twente, NL
Model Checking Quantified Computation Tree Logic

Mittwoch, 15. Februar 2006, 16:00 Uhr, Raum 5052
Dr. Dino Distefano, Queen Mary University of London
An automatic local heap analysis based on Separation logic

Donnerstag, 2. Februar 2006, 16:30 Uhr, Hörsaal AH I.
Prof. Dr. Dr.hc Hans Langmaack, Christian-Albrechts-Universität zu Kiel
Formale Prozeduren versus Klassen und Objekte - Über K. Nygaards These zur Programmstrukturierung

Dienstag, 24. Januar 2006, 16:00 Uhr, Hörsaal AH II.
Assoc. Prof. Dr. Lubos Brim, Masaryk University, Brno
LTL Model Checking on Computer Clusters

Freitag, 20. Januar 2006, 10:30 Uhr, Seminarraum 5054
Prof. Dr. Rüdiger Westermann, Technische Universität München
Interactive Visuelle Datenanalyse

Donnerstag, 12. Januar 2006, 16:30 Uhr, Hörsaal AH IV.
Dr. Ralf Klasing, LaBRI - Université Bordeaux 1 - CNRS
Bringing internet into villages using wireless communication

Montag, 19. Dezember 2005, 16:00 Uhr, Seminarraum Informatik 3 (Raum Nr. 4312)
Dr. Erika Ábrahám, Albert-Ludwigs-Universität Freiburg
Bounded Model Checking for Linear Hybrid Systems

Montag, 12. Dezember 2005, 16:00 Uhr, Hörsaal AH VI.
Dr. Gerald Lüttgen, University of York
Structured Symbolic Model Checking of Asynchronous Systems

Donnerstag, 8. Dezember 2005, 16:30 Uhr, Hörsaal AH I.
Prof. dr. Johan van Benthem, University of Amsterdam and Stanford University
Rational Dynamics: Game Solution Procedures in Dynamic-Epistemic Logic

Donnerstag, 1. Dezember 2005, 16:30 Uhr, Hörsaal AH I.
Herr Thorsten Reinsch, Gymnasium Odenkirchen, Mönchengladbach
Herausforderungen & Chancen des Schulfachs Informatik durch die Schulzeitverkürzung in NRW

Donnerstag, 24. November 2005, 16:30 Uhr, Hörsaal AH I.
Dr. Felix Wolf, FZ Jülich
Scalability of Trace-based Performance Analysis

Dienstag, 22. November 2005

09:00 Uhr, Hörsaal AH VI.
Dr. Frank Fitzek, Uni Aalborg
Cooperation in distributed wireless networks: the evolutionary step towards real G4

11:30 Uhr, Hörsaal AH VI.
Dr. Manfred Hauswirth, EPFL Lausanne
Efficient, self-contained handling of identity in peer-to-peer systems

14:00 Uhr, Raum 4105 (Seminarraum Informatik 4)
Dr. Thomas Fuhrmann, Uni Karlsruhe
Peer-to-Peer und Selbstorganisation

Montag, 21. November 2005

09:00 Uhr, Hörsaal AH VI.
Dr. Utz Rödig, University College Cork (Irland)
Leistungskontrolle von drahtlosen Sensornetzen

10:45 Uhr, Raum 4105 (Seminarraum Informatik 4)
Dr. Markus Fidler, NTNU Trondheim (Norwegen)
Probabilistic Network Calculus: Eine Systemtheorie für das Internet

14:00 Uhr, Hörsaal AH II.
Dr. Christian Becker, Uni Stuttgart
Systemsoftware für Pervasive Computing

15:45 Uhr, Raum 4105 (Seminarraum Informatik 4)
Dr. Klaus Wehrle, Uni Tübingen
Flexible Nutzung und Kopplung von Overlay-basierten Diensten

Freitag, 4. November 2005,15:00 Uhr, Hörsaal AH V.
Festkolloquium anlässlich der Emeritierung von Prof. Dr. Klaus Indermark

Sommersemester 2005

14. Juli 2005
Dr. Roman Englert, T-Lab der Deutschen Telekom, Berlin

30. Juni 2005, 16:30 Uhr, Hörsaal AH I.
Prof. Ursula Sury, HSW Luzern, Schweiz
Pervasive Computing und Recht

20. Juni 2005, 14:00 Uhr, Hörsaal AH II.
Dr. Heiko Mantel, Information Security, ETH Zürich
Information Flow Security: Modeling and Analysis

16. Juni 2005, 16:30 Uhr, Hörsaal AH I.
Prof. Sukumar Ghosh, The University of Iowa, USA
The many faces of stabilization in distributed systems

9. Juni 2005
Dr. Felix Wolf, Dept. of Computer Science, University of Tennesse, Knoxville
Automatic Performance Analysis of Parallel Applications

2. Juni 2005, 16:30 Uhr, Hörsaal AH I.
Prof. Dr. Deepak Kapur, University of New Mexico, Albuquerque, USA
Can Algebraic Geometry Rescue Program Verification?

19. Mai 2005, 16:30 Uhr, Hörsaal AH I.
Dr. Torsten Kuhlen, Rechen- und Kommunikationszentrum der RWTH
Methodik und technisch-wissenschaftliche Anwendungen der Virtuellen Realität

12. Mai 2005, 16:30 Uhr, Hörsaal AH I.
Prof. Dr. Igor Walukiewicz, CNRS, LaBRI, Universite Bordeaux-1
Games in verification and synthesis

14. April 2005, 16:30 Uhr, Hörsaal AH I.
Prof. Dr. Max Mühlhäuser, Telekooperation, TU Darmstadt
Endgeräte und Infrastrukturen für Ubiquitous Computing

Wintersemester 2004/2005

27. Januar 2005, 16:30 Uhr, Hörsaal AH I.
Prof. Dr. Bernt Schiele, Multimodal Interactive Systems Group, TU Darmstadt
Multi-Sensor Context Awareness for Ubiquitous and Wearable Computing

20. Januar 2005
Alfred Hermes
Thema: Fachdidaktik Informatik

17. Januar 2005, 11:00 Uhr, Hörsaal 5056
Dr. Heiko Mantel, ETH Zürich
Modular Analysis of Secure Systems

13. Januar 2005, 16:00 Uhr, AH I.
Prof. Maurice Herlihy, Brown University, 2004 Gödel Prize Winner
Distributed Computing and Combinatorial Topology

10. Januar 2005, 17:00 Uhr, AH II.
Prof. Dr. Artur Czumaj, New Jersey Institute of Technology, Newark
Sublinear-time Approximation Algorithms

23. November 2004, 16:00 Uhr, AH IV.
Prof. Hector Levesque, University of Toronto
Planning with loops.

7. Oktober 2004
Professor Dr. Franz Baader, TU Dresden
Ein neuer Existenzquantor in Beschreibungslogiken, oder wie man mit syntaktischem Zucker Schlussfolgerungsprobleme schneller lösen kann

Sommersemester 2004

30. September 2004
Jeremy Dawson
A General Theorem on Termination of Rewriting

29. Juli 2004
Dr. Stefan Eickeler, Fraunhofer IMK
Automatische Bildfolgenanalyse mit statistischen Mustererkennungsverfahren

22. Juli 2004, 18.00 Uhr, Raum Fo4
Professor Lev Manovich, Ph.D., University of California in San Diego
Info-aesthetics

15. Juli 2004
Professor Dr. Gerhard Brewka, Universität Leipzig
Answer Set Optimization

1. Juli 2004
Professor Dr. Martin Grohe, Humboldt-Universität zu Berlin
Gibt es Leben jenseits von P und NP - Ein Ausflug in Logik und Komplexität

17. Juni 2004
Professor Renchu Gan, School of Management and Economics, Beijing Institute of Technology
A framework of information service platform(ISP) in E-government systems

28. Mai 2004, 14.30 Uhr, Raum AH V
Festkolloquium anlässlich des 60. Geburtstags von Professor Dr. Manfred Nagl

29. April 2004
Dr. Markus Mohnen, Cycos AG, Alsdorf
Vom wissenschaftlichen Assistenten zum General Project Manager

22. April 2004
Privatdozent Dr. Markus Lohrey, Universität Stuttgart (derzeit RWTH Aachen)
Validierung und Realisierung von Sequenzdiagrammgraphen

2. April 2004
Reserviert für Lehrstuhl Informatik VII

1. April 2004
Reserviert für Lehrstuhl Informatik VII

Wintersemester 2003/2004

25. März 2004, 17.00 Uhr
Dr. Marina Kolesnik, Fraunhofer IMK
Digitale Bildverarbeitung: 3 ausgewählte Anwendungen

25. März 2004, 16.00 Uhr
Dr. Jobst Löffler, Fraunhofer IMK
Automatische Verfahren zur Medienanalyse: Das Media-Asset-Managementsystem iFinder

9. Februar 2004, 14.00 Uhr, AH II
Prof. Dr. Guoqing Chen, Tsinghua University, Beijing
Dealing with Uncertainty/Fuzziness in Knowledge Discovery

22. Januar 2004
Reserviert für Lehrstuhl Informatik VII

15. Januar 2004
Reserviert für Lehrstuhl Informatik VII

11. Dezember 2003, ab 17.30 Uhr
Reserviert für die Berufungskommission Medieninformatik

4. Dezember 2003, ab 17.30 Uhr
Reserviert für die Berufungskommission Medieninformatik

27. November 2003
Prof. Dr. Harry Buhrman, Center for Mathematics and Computer Science (CWI) & University of Amsterdam
Quantum Fingerprinting

24. November 2003, 16.00 Uhr
Dr. Andrzej Pelc, University of Quebec
Broadcasting in radio networks

19. November 2003, 17.00 Uhr
Prof. Stefano Crespi Reghizzi, Politecnico di Milano
Formal language definition by associations instead of grammars

6. November 2003, 15.30 Uhr, Raum 4013
Dr. Guido Proietti
Nearly Linear Time Updating of a Minimum Spanning Tree after Temporary Removal of Every Node

6. November 2003
Dr. Sebastian Seibert
Transformationsalgorithmen und Komplexitätsschranken für Modelle der Automatentheorie

6. November 2003, 17.30 Uhr
Dr. Walter Unger
Die Komplexität von disktreten Optimierungsproblemen und deren Beweisstrukturen.

Sommersemester 2003

24. Juli 2003
Dr. Thomas Noll
Programmoptimierung durch Konstantenanalyse

3. Juli 2003
Prof. Javier Esparza
Model checking pushdown processes

27. Juni 2003
Prof. Dr. Gregory Kersten, University of Ottawa
The Science and Engineering of E-Negotiations

26. Juni 2003
Dr. Maurice Pagnucco, University of New South Wales
Causal vs. minimal change approaches to reasoning about action

25. Juni 2003
Prof. Koichi Wada, Nagoya
Algorithms of acknowledged broadcasting and gossiping in ad hoc radio networks

16. Juni 2003
Prof. Dr. Hector J. Levesque, University of Toronto
Joint ability of groups of agents

5. Juni 2003
Prof. S.V.R. Raghavan, IIT Madras
QoS Studien in Multimedia Communication

3. Juni 2003
Dr.-Ing. Martin Bücker
Graphpartitionierung in Computational Engineering & Science

28. Mai 2003, 17.00 Uhr
Prof. Dr. Hermann Maurer (Graz)
Ein mögliches Szenario für den PC um 2010 und seine Bedeutung für unser Leben

8. Mai 2003
Prof. Dr. Gottfried Vossen
Theorie und Praxis der Datenbankmetaprogrammierung

Wintersemester 2002/2003

6. September 2002
Dr. Ralf Klasing, Kings College London, UK
Hardness results and approximation algorithms of k-tuple domination in graphs

17. Oktober 2002
Dr. Mareike Schoop
Verhandlungsunterstützung im elektronischen Handel

24. Oktober 2002
Dr. Thomas Noll
Termmodelle für nebenläufige Systeme

20. November 2002
Martin Bücker
Algorithmen zur effizienten Berechnung genauer Ableitungen

21. November 2002
Prof. Dr. Baader, TU Dresden
Engineering of logics for the content-based representation of information

16. Dezember 2002, 8.30 Uhr, ILT
Dr. Bernd Mohr
Leistungsanalyse paralleler Programme: Methoden und Werkzeuge

16. Dezember 2002, 10.30 Uhr, ILT
Dr. Uwe Naumann
Die automatisierte Transformation von Simulationsprogrammen

16. Dezember 2002, 14.30 Uhr, ILT
Dr. Bruno Lang
Werkzeuge zur Unterstützung von Simulationen in der Chemie

16. Dezember 2002, 16.00 Uhr, ILT
PD Dr. Benno Stein
Modellierungstechniken zur Lösung anspruchsvoller Diagnose- und Entwurfsaufgaben

17. Dezember 2002, 8.00 Uhr, RZ
PD Dr. Christoph Pflaum
Computational Engineering mit Expression Templates

9. Januar 2003
Prof. Dr. Wil van der Aalst, TU Eindhoven
Towards an Extendible, Interorganizational, Highly Expressive Workflow Language base on XML, Petri Nets, and Workflow Patterns
Die Folien zum Vortrag sind ebenfalls erhältlich.

16. Januar 2003
Prof. Dr. Klaus-Jörn Lange
Symmetrie und Reversibilität bei Kellerautomaten

23. Januar 2003

13. Februar 2003
Dr. Mareike Schoop
Neuere Ansätze in der Datenmodellierung

24. Februar 2003
Prof. Dr. Juhani Karhumäki, University of Turku
Computing Partial Information out of Intractable one: An Example

6. März 2003
Prof. Dr. Gerhard Fischer, University of Colorado
Human-Computer Interaction and New Media: Research Challenges for the Future

31. März 2003
Dr. Ralf Klasing, CNRS/INRIA Sophia Antipolis
Communication in Interconnection Networks in the Disjoint-Paths Modes

Sommersemester 2002

18. April 2002
Achtung, der Vortrag fällt aus!!!
Prof. Dr. William H. Sanders, Center for Reliable and High-Performance Computing, University of Illinois at Urbana Champaign USA
Building dependable and intrusion-tolerant distributed sy-stems using the AQUA and ITUA architectures

25. April 2002
Frau Prof. Dr. Andrejková
Supplementing Forms of Teaching - Competitions in Informatics

25. April 2002
Frau Dr. Dana Smutná
Aggregation operators and new connectives for (full) fuzzy resolution

03. Juni 2002
Prof. Dr. Jarkko Kari, Universität Turku/Finnland
On synchronizing finiti automata

27. Juni 2002
Dr. Peter Ruzicka
Efficiency of Communication Algorithms

04. Juli 2002
Dr. Rolf Wanka, Universität Paderborn
Paralleles periodisches Sortieren

18. Juli 2002
Dr. H. Jäger, Fraunhofer Institut für Autonome Intelligente Systeme, Sankt Augustin
The "echo state" approach to analyzing and training recurrent neural networks

Wintersemester 2001/2002

19. November 2001, 17.00 Uhr, Raum AH II
Artur Czumaj
Property Testing Algorithmen

20. November 2001, 12.00 Uhr, Raum AH I
Univ.Doz. Dr. Thomas Lukasiewicz
Probabilistic Reasoning under Inheritance with Overriding

20. November 2001, 16.00 Uhr, Raum AH I
A.o. Univ.-Prof. Dr. Helmut Veith
Verfahren zur Komplexitätsreduktion im Model Checking

26. November 2001, 17.00 Uhr, Raum AH II
Prof. Dr. Anca Muscholl
Sequenzdiagramme: Algorithmen und Verifikation

27. November 2001, 12.00 Uhr, Raum AH I
Priv.-Doz. Dr. Peter Rossmanith
Eine verbesserte Methode zur Lösung verschiedener Optimierungsprobleme auf planaren Graphen

27. November 2001, 16.00 Uhr, Raum 6019
Dr. Frank Wolter
Fragmente Temporaler Prädikatenlogik für die Wissensrepräsentation

28. November 2001, 14.00 Uhr, Raum AH III
Dr. Berthold Voecking
Multiple-Choice-Allokationsalgorithmen

29. November 2001
Dr. Laurent Hascoet, INRIA Sophia-Antipolis
The Odyssee Automatic Differentiation tool

13. Dezember 2001
Ken Krechmer
Microsoft Anti-Trust Litigation - The Case for Standards

17. Dezember 2001
Dipl. -Informatik-Ing. Vincent Tscherter, ETH Zürich
Exorciser: Automatisches Erzeugen und interaktives Korrigieren von Übungsaufgaben in der Theoretischen Informatik

10. Januar 2002, 17.00 Uhr, Raum AH I
Prof. Dr. Aart Middeldorp
Approximating Dependency Graphs using Tree Automata Techniques

31. Januar 2002
Frau Dr.-Ing. Monika Sturm, TU Dresden
DNA-Computing: Theorie und Experiment

7. Februar 2002
Frau Prof. Dr. Angelika Steger, TU München
Algorithmen und Zufall

14. Februar 2002
Stephane Demri
A Parametric Analysis of the State Explosion Problem in Model Checking

18 Februar 2002
Frederic Cazals, Projet Prisme, INRIA Sophia-Antipolis, France
Sampled surfaces: from point clouds to triangulated surfaces

25. Februar 2002
Prof. Dr. Hector Geffner, Barcelona
Heuristic Search Planning in Artificial Intelligence: Progress andChallenges

Sommersemester 2001

3. Mai 2001
Dr. Müller-Olm, Universität Dortmund
Die Grenzen paralleler Datenflussanalyse

4. Mai 2001
Prof. DR. Peter Schröder, Caltech, Pasadena, USA
Digital Geometry Processing

17. Mai 2001
Pierre-Etienne Morreau, Phd, INRIA Lorraine, Nancy
Reserviert von dem Lehrstuhl Informatik II

18. Mai 2001
Prof. Dr. Evangelos Milios, University Dalhousie, Canada
Networked Information Spaces in the Small

29. Mai 2001
Dr. Thomas Arts, Ericsson, Computer Science Laboratory, Sweden
Industrial Use of a Functional Language

7. Juni 2001
Prof. Dr. Matthias Krause, Universität Mannheim
Komplexität Boolescher Funktionen, Lernbarkeit und Kryptographie

21. Juni 2001
Prof. Dr. Helmut Seidl, Universität Trier
Automatische Komplexitätsanalyse

28. Juni 2001
Prof. Nievergelt, Universität Zürich
Einführung in die Informatik als Teil der Allgemeinbildung:Warum? Wie?

5. Juli 2001
Prof. Dr. Philipp Slusallek, Computer Graphics Lab, Universität des Saarlandes
Interaktives Ray-Tracing

12. Juli 2001
Dr. Kurt Fendt, Massachusetts Institute of Technology (MIT), Cambridge, USA
Reserviert von dem Lehrstuhl Informatik V

20. August 2001
Zachi Karni, Technion, Haifa
Spectral Compression of Mesh Geometry: Fundamentals and Improvements

Wintersemester 2000/2001

29. März 2001
Dr. Xavier Munoz, Departament de Matamatica Aplicada IV, Universitat Politecnica de Catalunya
Topologies for optical interconnection networks based on hypergraphs

1. März 2001
Prof. Dr. Deepak Kapur, University of New Mexico
Induction and Decision Procedures

8. Februar 2001
Prof. Dr. Susanne Albers, Universtität Dortmund
Caching in grossen Netzwerken

29. Januar 2001
Perdita Stevens, Division of Informatics, University of Edinburgh
Abstract Games for Infinite State Processes

22. Januar 2001
Dilian Gurov, Swedish Institute of Computer Science, Stockholm
Verification of Erlang Programs

18. Januar 2001
Prof. Dr. Karsten Weihe, Universität Bonn, Forschungsinstitut für Diskrete Mathematik
Praxisorientierte Theorie --- ein Fallbeispiel aus dem CAD

11. Januar 2001
Dr. Uwe Kastens
Wiederverwendungsmethoden im Eli-System

14. Dezember 2000
Dr. Bernhard von Stengel
Effiziente Lösung von Spielbäumen

07. Dezember 2000
Michael R. Laurence, PhD, Goldsmiths College, University of London
The Decidability of the Equivalence of Program Schemas

23. November 2000
Prof. Dr. Hans Bodlaender, Department of Computer Science, Utrecht University
The algorithmic theory of treewidth

20. November 2000
Dr. Hiltrud Westram, Gymnasium Lechenich
Informatische Bildung an allgemein bildenden Schulen

16. November 2000
Prof. Dr. Andreas Brandstädt, Universität Rostock
Thema: Graphenklassen, robuste Algorithmen und modulare Dekomposition

26. Oktober 2000
Thomas Reps, Dept. of Computer Science, University of Wisconsin at Madison
Computational Differencing

19. Oktober 2000
Prof. Dr. Peter Hajek, Akademie der Wissenschaften der Tschechischen Republik, Prag
Komplexität der Fuzzy Logik

13. Oktober 2000
Prof. Dr. K. Indermark

12. Oktober 2000
Dr. Thomas Noll
Verifikation von Erlang-Programmen durch Theorembeweisen und Model-Checking

Sommersemester 2000

11. Juli 2000, 16.00 Uhr, Seminarraum des Lehrstuhls Informatik III, Ahornstr.55 (ehem. PH)
Dr. P.J. Rodgers, University of Canterbury
Applying Graph Transformations

6. Juli 2000
Dr. Didier Caucal, INRISA, Rennes, Frankreich
On infinite-state systems

29. Juni 2000
Prof. Dr. Arnd Poetzsch-Heffter, Fernuniversität Hagen
Spezifikation und Verifikation sequentieller Java-Programme

15. Juni 2000, 14.00 Uhr, Raum LU im Luftfahrtbau, Wüllnerstraße
Paul Hovland, Argonne National Laboratory
Component Architectures for High-performance Scientific Computing

15. Juni 2000, 17.00 Uhr
Dr. Jiri Sgall, Akademie der Wissenschaften der Tschechischen Republik, Prag
On-line algorithms for weighted server problems

8. Juni 2000
Dr. Miki Hermann, Universität Nancy/Frankreich
Subtractive Reductions and Complete Problems for Counting Complexity Classes

25. Mai 2000
Prof. Dr. Rüdiger Reischuk, Universität Lübeck
Lernstrategien von exakt average-case-effizient bis stochastisch finit

11. Mai 2000
Harry Buhrman, Centrum voor Wiskunde en Informatika,Amsterdam/Niederlande
Quantum Communication Complexity

4. Mai 2000
Dipl.-Inf. Hartmut Klauck, Johann Wolfgang Goethe-Universität, Frankfurt/Main
Quantenrechner und Las-Vegas Kommunikation

17. April 2000, 14.00 Uhr
Dr. Jens Knoop, Universität Dortmund
Profilorientierte Klassifikation von Datenflussanalysetechniken

17. April 2000, 16.00 Uhr
Dr. Thom Frühwirth, Ludwig-Maximilians-Universität München (LMU)
Constraint-Programmierung: Grundlagen und Anwendungen

14. April 2000, 14.00 Uhr
Dr. Reinhold Heckmann, Department of Computing, Imperial College of Science, Technology and Medicine, London
Exakte Reelle Arithmetik mit Hilfe von Möbiustransformationen

14. April 2000, 16.00 Uhr
Dr. Jürgen Giesl, Computer Science Department, University of New Mexico, USA
Automatisierte Programmverifikation

13. April 2000, 13.00 Uhr
Dr. Sergei Gorlatch, Universität Passau
Abstrakte Sprachkonstrukte und Entwurfsmethoden für effiziente parallele undverteilte Programme

13. April 2000, 16.00 Uhr
Prof. Dr. Rita Loogen, Philipps-Universität Marburg
Parallele funktionale Programmierung in Eden

Wintersemester 1999/2000

16. März 2000
Dr. Ondrej Sykora, University of Loughborough/England
Diameter of Knödel graph

9. März 2000
Prof. Dr. Farid Ablayev, Dep. of Theoretical Cybernetics, Kazan State University Kazan/Russland
The Complexity of Restricted Branching Programs: a Communication Complexity Approach (results and open problems)

13. Januar 2000
Prof. Peter Widmeyer, ETH Zürich
Antennenplazierung im Gelände: Theoretische Komplexität und Praktische Lösung

25. November 1999
Prof. Dr. Hartmut Schmeck, Universität Karlsruhe
Naturanaloge Optimierungsverfahren

18. November 1999
Prof. Dr. Carlo Ghezzi, Mailand
Software Process Research: A Journey Report

11. November 1999
Friedhelm Meyer auf der Heide, Heinz Nixdorf Institut und Fachbereich Mathematik/Informatik der Universität-GH Paderborn
Datenmanagement in Netzwerken

9. November 1999, 14.00 Uhr
Stephan Eidenbenz, ETH Zürich, Schweiz
(Nicht)-Approximierbarkeit von Sichtbarkeitsproblemen

15. Oktober 1999, 9.30 Uhr, Raum 4013
Dr. Doron Peled, Lucent Technologies, USA
Specification and Automatic Verification of Message Sequence Charts

7. Oktober 1999, 16.00 Uhr
Dr. Gerald Lüttgen, NASA Langley Research Center Hampton, Virginia
A Semantic Foundation for Heterogeneous Specification Formalisms

14. September 1999, 16.00 Uhr
Dr. Surya Sripada, Boing Company, Seattle
Information management and Collaborative Technologies - Research at Boing

13. September 1999, 16.00 Uhr
Prof. Dr. Beloslav Riecan, Slowakische Akademie der Wissenschaften, Bratislava, Slowakei
On the multivalued algebras

Sommersemester 1999

2. Juli 1999, 13.30 Uhr
Prof. Dr. C. Wüthrich, Fakultät Medien, Bauhaus-Universität Weimar
Auf dem Wege zu einem theoretischen Modell für Systeme der virtuellen Realität

2. Juli 1999, 15.30 Uhr
Dr. Reinhard Klein, TU Darmstadt
Hierarchische Repräsentationunstrukturierter Dreiecksnetze im Kontext output-sensitiver Algorithmen

30. Juni 1999, 13.00 Uhr
Dr. rer. nat. Leif Kobbelt, Max-Planck-Institut für Informatik, Saarbrücken
Effiziente Speicherung und Modifikation komplexer 3D-Modelle in der Computergraphik

30. Juni 1999, 10.00 Uhr
Dr.-Ing. Gabriele Faulkner, Universitäts-Klinikum der FU Berlin
Die Multimedia-Produktion und Methoden der Computer Graphik in der Mund-, Kiefer-, Gesichtschirurgie

28. Juni 1999
Prof. Dr. Matiyasevich, Steklov Institute of Mathematics, St. Petersburg
Hilbert's Tenth Problem today: Mainresults and Open problems

25. Juni 1999
Dr. Armin Kühnemann, Techn. Universität Dresden
Elimination von Zwischenergebnissen infunktionalen Programmen

25. Juni 1999, 9.00 Uhr
Dr. Martin Göbel, GMD Bonn
Virtuelle Umgebungen - Kommunikationssysteme der Zunkunft

24. Juni 1999
Prof. Burkhard Monien, Universität Paderborn
Lastverteilung, Mapping und der Zweite Eigenwert der Laplace-Matrix

24. Juni 1999, 14.30 Uhr
Prof. Dr. Philipp Slusallek, Computer Graphics Lab Stanford University
Effiziente hierarchische Finite Elemente - Techniken für die Beleuchtungssimulation

22. Juni 1999, 14.00 Uhr
Dr. Ing. Ulrich Lang, HLRS Universität Stuttgart
Stand und Perspektiven der Visualisierung im Berechnungsumfeld

Disclaimer