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