Campus Event Calendar
6. Event History - 1. Date and Time - 1. for All AGs
Previous Page | Next Page | Expand All | Collapse All
 | | Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| 2001-02-22 | 13:30 | Mark Ziegelmann | Perturbations | 46 024 | Course | | |||||
|
|
| | |||||||||
| 2001-02-21 | 13:00 | Marco Lohse | Visualization of Way Descriptions on Stationary and Mobile Systems | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-02-16 | 14:00 | Prof. I. Kersten | Ernst Witt | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2001-02-16 | 14:15 | Jürgen Dix | Theoretical Foundations of IMPACT: A Multi Agent system | 46.1 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2001-02-15 | 13:30 | Susanne Schmitt | Separation bounds | MPI 024 | Course | | |||||
| 2001-02-15 | 16:00 | Fritz Hamm/ Michiel Van Lambalgen | Event calculus, nominalisation and the progressive | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-02-14 | 13:00 | Ulrich Schwanecke | Feature Sensitive Surface Reconstruction | MPI 022 | AG4 Group Meeting | | |||||
| 2001-02-14 | 14:15 | Witold Charatonik | Termmengenlogiken | 45 - FR 6.1 HS 001 | Habilitationsvortrag und Kolloquium | | |||||
|
|
| | |||||||||
| 2001-02-09 | 14:00 | Prof. A. Arnold | Erfolge und Misserfolge der Angewandten Mathematik | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 2001-02-08 | 13:30 | Christian Lennerz | Finding Roots of Polynomials in one Variable | 46 024 | Course | | |||||
|
|
| | |||||||||
| 2001-02-07 | 13:30 | AG1 | AG1 group meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-02-06 | 13:30 | Hannah Bast | A nice probabilistic analysis of a local search algorithm | MPI 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2001-02-05 | 15:00 | Thomas Ziegler | Kreuzungsminimierung im automatisierten Graphenzeichnen | 46 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2001-02-02 | 08:30 | Gerd Fliedner | Korrektur von Rektion und Kongruenz in Texten | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
| 2001-02-02 | 14:00 | Prof. H. Hischer | Quadratrix | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2001-02-02 | 15:15 | Prof. Ron Goldman | The Case Against Projective Spaces and Homogeneous Coordinates in Computer Graphics and Geometric Modeling | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
| 2001-02-02 | 17:00 | Prof. Klaus Ecker | Mittelwertformeln fuer Diffusionsgleichungen | 27 - Hörsaal Gebäude | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-02-01 | 13:30 | Thomas Warken | Groebner bases | 46 24 | Course | | |||||
| 2001-02-01 | 14:00 | Marian Srebrny | Enhanced access protection with a combinatorial algorithm for sharing a password | 43.8 -2.17 | DFKI-Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-01-31 | 13:00 | Philippe Bekaert | An extensible VRML-based scene graph manager | MPII 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-01-29 | 09:15 | Andreas Zeller | Automatische Fehlersuche mit Delta Debugging | 45 - FR 6.1 003 | Informatik-Kolloquium | | |||||
| 2001-01-29 | 11:00 | Michael Philippsen | Leistungverbesserung paralleler objektorientierter Programmiersprachen | 45 - FR 6.1 003 | Informatik-Kolloquium | | |||||
| 2001-01-29 | 14:15 | Dr. Krzysztof Czarnecki | Generative Programmierung und die Entwicklung von Softwaresystemfamilien | 45 - FR 6.1 003 | Informatik-Kolloquium | | |||||
| 2001-01-29 | 16:00 | Dr. Albert Zündorf | Rigorose Entwicklung objektorientierter Systeme | 45 - FR 6.1 003 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-01-27 | 09:00 | Dr. Daniel Huson | Assembly of the Human Genome | 45 - FR 6.1 001 | Informatik-Kolloquium | | |||||
| 2001-01-27 | 11:00 | Dr. Ralf Zimmer | Algorithmische und statistische Methoden zur strukturellen Analyse von Genom- und Expressionsdaten | 45 - FR 6.1 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-01-26 | 09:00 | PD Dr. Gisbert Schneider | Adaptive Systeme für das Wirkstoffdesign | 45 - FR 6.1 003 | Informatik Kolloquium - Berufungsvortrag Bioinformatik | | |||||
| 2001-01-26 | 11:00 | Dr. Stefan Schuster | Die metabolische Ebene in der Bioinformatik | 45 - FR 6.1 003 | Informatik-Kolloquium | | |||||
| 2001-01-26 | 14:00 | Dr. med. Thomas Dandekar | Sequenz, Struktur, Genom: bioinformatische Analyse von RNA und Proteinmolekülen | 45 - FR 6.1 003 | Informatik-Kolloquium | | |||||
| 2001-01-26 | 14:00 | Prof. S. Rjasanow | Randelementmethoden | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2001-01-26 | 16:00 | Dr. Jürgen Bajorath | Proteine und Leganden: Analyse und Vorhersage biologischer Aktivität | 45 - FR 6.1 003 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-01-25 | 16:00 | Dr. Jens Stoye | Bioinformatische Analyse komplett sequenzierter Genome | 45 - FR 6.1 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-01-24 | 13:00 | Joerg Puetz | Progressive rendering with textures using coherence | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-01-22 | 11:00 | Prof. DSC. Yuri N. Sotskov | Stability radius of an optimal schedule | 15 101 | Talk | | |||||
|
|
| | |||||||||
| 2001-01-19 | 14:00 | Prof. R. Schulze-Pillot | Kepler-Vermutung | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 2001-01-18 | 13:30 | Elmar Schömer | Introduction to Interval Arithmetic | 024 | Course | | |||||
| 2001-01-18 | 16:00 | Hermann Ney | Stochastische Modellierung: Von der Spracherkennung zur Sprachuebersetzung | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-01-15 | 13:30 | J"org Schwerdt | to be announced | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-01-12 | 14:00 | Oliver Kohlbacher | Neue Ansaetze fuer das Protein-Docking-Problem | 46 (MPII) 024 | Promotionskolloquium | | |||||
| 2001-01-12 | 14:00 | Prof. J. Eschmeier | Hilbert und Hilberträume | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2001-01-12 | 17:00 | Prof. Horst Lange | Nichtlineare Schroedinger-Gleichungen und das 'ring cavity problem' | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-01-11 | 13:30 | Susanne Schmitt | Multipolynomial resultants | 46(MPII) 024 | Course | | |||||
| 2001-01-11 | 16:15 | Reynald Dumont | Levels of Detail: The Missing Link in Global Illumination | 46.I 022 | Talk | | |||||
|
|
| | |||||||||
| 2001-01-04 | 13:30 | Peter Sanders | Reconciling Simplicity and Realism in Parallel Disk Models | 46 024? | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-01-03 | 14:15 | Prof. Dr. Günter Rote | Division-Free Algorithms for Determinants and Pfaffians | 46.1 (MPI) 024 | MPI-Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-12-22 | 11:00 | Daniel Kaestner | Retargetable Postpass Optimisation by Integer Linear Programming | 45 - FR 6.1 HS 003 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2000-12-21 | 10:00 | Diethelm Schlegel | Zuverlaessige Uebertragung grosser Datenmengen ueber Breitband-ISDN | 45 - FR 6.1 013 | Promotionskolloquium | | |||||
| 2000-12-21 | 16:00 | Alexander Kroener | Adaptive Layout of Dynamic Web Pages | 45 - FR 6.1 HS 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2000-12-20 | 11:15 | Jürgen Stuber | A Model-based Completeness Proof of Extended Narrowing And Resolution | 46.1 023 | AG2 Working Group Seminar | | |||||
| 2000-12-20 | 14:00 | Peter Sanders | Theorie trifft Technologie: Cache-effiziente Algorithmen | 46.1 024 | Antrittsvorlesung | | |||||
| 2000-12-20 | 19:00 | Jop Sibeyn | Slides from Balkan Area | 46.1 027 | Presentation | | |||||
|
|
| | |||||||||
| 2000-12-19 | 16:15 | Christoph Meyer Kirsch | Embedded Control Systems Development with Giotto (or how to let Lego Mindstorms dance) | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-12-18 | 14:00 | Dr. Christoph Helmberg | Cliquen, Cluster, Eigenwerte | 45 - FR 6.1 HS001 | Informatik-Kolloquium | | |||||
| 2000-12-18 | 16:00 | Ivana Kruijff-Korbayova | Generating instructional texts in Bulgarian, Czech and Russian: The AGILE system | 17.3 - Computerlinguistik Raum 2.11 | Computerlinguistisches Kolloquium | | |||||
| 2000-12-18 | 16:00 | Prof. Dr. Gerhard Pfister | Computer-Algebra und Anwendungen | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
| 2000-12-18 | 18:00 | Prof. Dr. Volkmar Welker | Komplexe und Komplexität von Graphen | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-15 | 14:00 | Prof. R. Tobies | Emmy Noether | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 2000-12-14 | 13:30 | Stefan Funke | Surface Reconstruction | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
| 2000-12-14 | 16:15 | Harald Ganzinger | Bottom-up Deduction with Deletion | 46.1 024 | AG2 Working Group Seminar | | |||||
| 2000-12-14 | 17:00 | Prof. Dr. J. Prost | The physics of sound detection at the cell level | 22 HS 2 | Physikalisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-13 | 13:00 | Lars Linsen | Oberflächenrepräsentation durch Punktwolken | MPII 022 | AG4 Group Meeting | | |||||
| 2000-12-13 | 13:30 | Jop Sibeyn | Towards Gossiping in 2 1/4 k on Butterflies | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
| 2000-12-13 | 16:00 | Ivana Kruijff-Korbayova | Information Structure and the interpretation of discourse connectives --work in progress | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-12 | 13:30 | Prof. Dr. Tetsuo Asano | Digital Halftoning as a Combinatorial Optimization Problem and Approximation Algorithms | 46.1 - MPII 024 | Lecture | | |||||
| 2000-12-12 | 15:00 | Geert-Jan M. Kruijff | The Category of Informativity | 43.8 2.17 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-11 | 13:30 | Kurt Mehlhorn | AG1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
| 2000-12-11 | 14:00 | Prof. Frank-Olaf Schreyer | Chowformen und Resultanten | 45 - FR 6.1 HS1 | Informatik-Kolloquium | | |||||
| 2000-12-11 | 14:00 | Stuart Booth | Multimodal humans and multimedia interfaces | 43.8 2.17 | DFKI-Kolloquium | | |||||
| 2000-12-11 | 16:00 | Prof. Dr. Karsten Weihe | Praxisorientierte Theorie -- ein Fallbeispiel aus dem CAD | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
| 2000-12-11 | 18:00 | Dr. Joachim Weickert | Partielle Differentialgleichungen in der Bildverarbeitung: Modellierung, Numerik und Anwendungen | 45 - FR 6.1 HS1 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-08 | 14:00 | Prof. H. König | Maß und Integral | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-12-08 | 17:00 | Prof. F.-H. Vasilescu | An operator theoretic approach to the 17th problem of Hilbert | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-07 | 13:30 | Kurt Mehlhorn | Min Cost Ratio Cycles (a paper by Donaldson) | MPI 024 | AG1 Mittagsseminar (others' work) | | |||||
| 2000-12-07 | 16:00 | Joris Hulstijn | Dialogue Games and Flexible Interaction | 17.2 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-06 | 13:30 | Susanne Schmitt | Exact Computation | 46.1 MPII 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-12-05 | 16:15 | Supratik Mukhopadhyay | The Stratified mu-Calculus | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-12-04 | 13:30 | V.S.Anil Kumar | The Bidirected Cut Relaxation for the Steiner Tree Problem | 024 | AG1 Mittagsseminar (others' work) | | |||||
| 2000-12-04 | 14:00 | Prof. D. Saupe | Parametrische Optimierungsverfahren in 2D- und 3D-Bildverarbeitung | 45 - FR 6.1 HS 001 | Mathematik-Informatik-Kolloquium | | |||||
| 2000-12-04 | 16:00 | Prof. K. Polthier | Discrete Differential Geometry and Visualization | 45 - FR 6.1 HS 001 | Mathematik-Informatik-Kolloquium | | |||||
| 2000-12-04 | 18:00 | Prof. Gabriele Nebe | Algebraische Konstruktionen von Gittern | 45 - FR 6.1 HS 001 | Mathematik-Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-12-01 | 14:00 | Prof. N. Schappacher | Arithmetisierung | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-12-01 | 17:00 | Prof. Gilles Godefroy | An application of the smooth variational principle to invariant subspaces | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-11-30 | 16:15 | Harald Ganzinger | Solving Set Constraints by Ordered Chaining | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-11-29 | 13:30 | Spyros Kontogiannis | Past: Fault Tolerance in decentralized computing environments - Present: Single/Multiple Choice algorithms for allocating tasks to machines | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-11-27 | 11:00 | Martin E. Mueller | Inducing Conceptual User Models | DFKI-NeubauGebäude 43.8 -2.17 | DFKI-Kolloquium | | |||||
| 2000-11-27 | 13:30 | Bela Csaba | On Embedding Spanning Subgraphs | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-11-24 | 13:30 | Juha Kärkkäinen | On the Shape of q-Grams | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
| 2000-11-24 | 14:00 | Prof. K. Radbruch | Mathematik und Literatur | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-11-24 | 16:00 | Christoph Weidenbach | Techniken des automatischen Beweisens | 46.1 - 019 Hörsaal 02 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 2000-11-23 | 16:15 | Witold Charatonik | The Complexity of Model Checking Mobile Ambients | 46.1 024 | AG2 Working Group Seminar | | |||||
| 2000-11-23 | 17:00 | Prof. Vitaly A. Strusevich | Scheduling problems with batching | 15 101 | Miscellaneous | | |||||
| 2000-11-23 | 17:15 | M. A. Shokrollahi | Codes auf bipartiten Graphen | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-11-22 | 13:30 | Ulrich Meyer | Graph Traversal | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-11-20 | 13:30 | Jae-Ha Lee | Geometry and graph meet at a game! | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-11-17 | 13:30 | Michiel Hagedoorn | Nearest neighbour searching in metric spaces | MPI 024 | AG1 Mittagsseminar (others' work) | | |||||
| 2000-11-17 | 17:00 | PD Dr. Herbert Gangl | Polylogarithmen | Geb. 27 HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-11-16 | 13:30 | Panagiota Fatourou | Research Plans - Near Past, Present. Near Future - Part II | 46.1 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2000-11-15 | 13:00 | Panagiota Fatourou | Research Plans - Near Past, Present, Near Future | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-11-13 | 13:30 | Kurt | Group Meeting (AG1) | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-11-10 | 13:30 | Software Projects | Implementers Meeting (AG1) | MPI 024 oder 007 | SIG Meeting | | |||||
| 2000-11-10 | 14:00 | Prof. E. Albrecht | Renaissance-Mathematik | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-11-10 | 14:00 | Prof. Hartmut Prautzsch | Konstruktion glatter Freiformflächen | MPI 022 | Talk | | |||||
| 2000-11-10 | 17:00 | Alexei Panchishkin | Families of automorphic representations and Siegel modular forms | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-11-09 | 11:00 | Wolfgang Hackbusch | Hierarchical matrices | 45 001 | Lecture | | |||||
| 2000-11-09 | 16:00 | Maria Lapata | A Corpus-based Account of Regular Polysemy: The Case of Context-sensitive Adjectives | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-11-08 | 13:00 | Hiroyuki Akamine | Virtual navigation in the real world environments | MPI 022 | AG4 Group Meeting | | |||||
| 2000-11-08 | 13:30 | Berthold Vöcking | Algorithmic Aspects of Internet Routing | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-11-06 | 13:30 | Piotr Krysta | Approximation Algorithms for Minimum Size 2-Connectivity Problems | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-11-03 | 14:00 | Prof. J. Bemelmans | Sterne und Planeten | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-10-30 | 13:30 | Susan Hert | Effective, Efficient Experimental Geometry | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-10-27 | 11:00 | Michael Bosch | Fehlermodelle und Tests fuer das Netzwerk der SB-PRAM | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
| 2000-10-27 | 15:15 | Prof. Andrzej Tarlecki | Architectural specifications in CASL | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
| 2000-10-27 | 17:00 | Steven Galbraith | Abelian varieties and cryptography | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-10-25 | 11:00 | Jean-Paul Bahsoun | Formal Models for Concurrent Object Programming Models | 43.1 - DFKI | DFKI-Kolloquium | | |||||
| 2000-10-25 | 13:00 | Andrew Wojdala | CAN VIRTUAL LOOK REAL? A REVIEW OF VIRTUAL STUDIO TECHNIQUES | MPII 022 | AG4 Group Meeting | | |||||
| 2000-10-25 | 13:30 | Peter Sanders | Theory Meets Technology --- Algorithmic Aspects of High Performance Computing | 46 046 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-10-24 | 14:00 | Frederik Fouvry | A linearisation parser for ALE | 43.1 - DFKI Raum Turing | DFKI-Kolloquium | | |||||
| 2000-10-24 | 14:00 | Geraldine Morin | Analytic Functions in Geometric Modeling | 46.1 019 | Talk | | |||||
|
|
| | |||||||||
| 2000-10-23 | 13:30 | Kurt Mehlhorn | An Overview of AG1: Organization and Goals | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-10-19 | 17:00 | Prof. Manohar Madan | Some Problems on Algebraic Function Fields and Algebraic Number Fields | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-10-18 | 14:00 | Matthias Schunter | Optimistic Fair Exchange | 45 - FB14 528 | Promotionskolloquium | | |||||
| 2000-10-18 | 16:15 | João Marcos | Possible-Translations Semantics: a special way of combining logics | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-10-10 | 16:00 | Edgar Ramos | On the size of a 3-d Delaunay triangulation as a function of the "spread" | MPII 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 2000-10-04 | 13:30 | Joep Aerts | Cancelled | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-10-02 | 11:15 | Patrick Maier | [unknown title] | 46.1 024 | AG2 Working Group Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-09-28 | 16:00 | Dr. Patrick Sturt | AN EXPERIENCE-BASED MODEL OF HUMAN PARSING PREFERENCES USING DYNAMIC GRAMMAR AND RECURSIVE NEURAL NETWORKS | 17.3 - Computerlinguistik Seminarraum | Talk - Computerlinguistik | | |||||
|
|
| | |||||||||
| 2000-09-27 | 16:15 | Viorica Sofronie-Stokkermans | On some results by Skolem (1920) | 46.1 023 or 024 (?) | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-09-25 | 10:00 | Jochen Mueller | Persona: Ein antropomorpher Praeasentationsagent fuer Internet-Anwendungen | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
| 2000-09-25 | 16:00 | Andreas Weber | Some Challenges in Textile and Dressing Simulation | 46.1 024 | Talk | | |||||
|
|
| | |||||||||
| 2000-09-21 | 16:15 | Marc Spielmann | Verification of Relational Transducers for Electronic Commerce | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-09-18 | 13:30 | kurt mehlhorn | group meeting | MOI 024 | AG1 Group Meeting | | |||||
| 2000-09-18 | 14:00 | Tamal K. Dey | Detecting undersampling in surface reconstruction: Theory and Experiments | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
| 2000-09-18 | 16:15 | Leszek Pacholski | Directional Types for Logic Programs | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-09-15 | 11:00 | Dr. Gary R. Bradski | A Free, Open Source Optimized Computer Vision Library Maintained by Intel: Demos of Automatic Calibration, Retification, Stereo, Tracking and Object Recognition | 46.1 - MPII 022 | Talk | | |||||
| 2000-09-15 | 15:00 | Dr. Knut Reinert | Design und Implementierung eines hierarchischen Assemblers f"ur das menschliche Genom | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-09-14 | 11:00 | Dr. Ryszard Kowalczyk | On Fuzzy e-Negotiation Agents: Autonomous negotiation with incomplete and imprecise information | 43.1 - DFKI Turing 1.01 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-09-13 | 13:30 | Sven Thiel | Faster Algorithms for Bound-Consistency of the Sortedness and the Alldifferent Constraint | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-09-12 | 10:00 | Roberto Scopigno | 3D Data Acquisition | MPII 022 | Lecture | | |||||
|
|
| | |||||||||
| 2000-09-11 | 14:00 | Tim Priesnitz | "Leistungsgarantien für Computersysteme" | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2000-09-07 | 16:15 | Kristian Kersting | Bayesian Logic Programs | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-09-04 | 15:00 | Thomas Schilz | Effiziente Algorithmen fuer das verteilte Rechnen augf Workstation-Clustern | 46.1 - MPII 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2000-09-01 | 11:15 | Patrick Maier | A Framework for Assume-Guarantee Proof Rules | 46.1 023 or 024 | AG2 Working Group Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-08-23 | 13:30 | Bogdan Chlebus | Broadcasting in ad-hoc radio networks | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-08-21 | 13:30 | Peter Sanders | Fast Broadcasting and Reduction | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-08-18 | 13:30 | Marc van Kreveld | Higher Order Delaunay Triangulations | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-08-17 | 13:30 | Stefan Funke | Reconstructing a Collection of Curves with Corners and Endpoints | 46 024 | Talk | | |||||
|
|
| | |||||||||
| 2000-08-16 | 13:00 | Takehiro Tawara | Application of Image-Based Rendering to a high-quality walkthrough animation | MPI 022 | AG4 Group Meeting | | |||||
| 2000-08-16 | 13:30 | Pankaj K. Agarwal | Indexing Moving Objects | MPII 024 | Lecture | | |||||
|
|
| | |||||||||
| 2000-08-14 | 13:30 | Kurt Mehlhorn | AG1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
| 2000-08-14 | 16:15 | Susanne Schmitt | Punkte mit beschr"ankter H"ohe "uber Zahlk"orpern | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 2000-08-11 | 11:15 | Harald Rueß | Protocol-Independent Secrecy | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-08-08 | 14:00 | Oleg Davydov | Refinable Smooth Finite Elements | MPII 46.1 024 | Talk | | |||||
|
|
| | |||||||||
| 2000-08-07 | 11:15 | Sergei Vorobyov | Better Decision Algorithms for Parity Games (Part 2) | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-08-03 | 13:30 | Paolo Ferragina | Opportumistic data structures | 46 024 | Talk | | |||||
| 2000-08-03 | 16:15 | Sergei Vorobyov | Better Decision Algorithms for Parity Games (Part 1) | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-08-01 | 13:30 | Stefan Schirra | News on Root Separation Bounds | MPII 024 | SIG Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-07-25 | 13:30 | Christian Duncan | Optimal Constrained Graph Exploration | 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-07-21 | 14:00 | Prof. Dr. Rajeev Gore | Automated Multi-modal Deduction on Java Cards | 43.1 - DFKI 101 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-07-20 | 16:15 | Supratik Mukhopadhyay | Model Checking for Timed Logic Processes | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-07-19 | 13:00 | Hendrik Lensch | Hardware-Accelerated Silhouette Matching | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-07-14 | 10:00 | Jeanine Weissenfels | Architektur erweiterbarer Workflow-Management-Systeme | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
| 2000-07-14 | 16:00 | Karsten Konrad | Model Generation for Natural Language Interpretation and Analysis | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2000-07-11 | 13:30 | Panagiota Fatourou | Thread Scheduling for Multiprogrammed Multiprocessors | 46.1 024 | Lecture | | |||||
|
|
| | |||||||||
| 2000-07-10 | 11:15 | Bertrand Jeannet | Control Structure Refinement in Linear Relation Analysis | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-07-07 | 11:00 | Mausam and Soumyadeb Mitra and Nitin Rajput | Sorting with Multiple Disks | 46 024 | Talk | | |||||
| 2000-07-07 | 11:45 | Amol Prakash and Surendra Kumar Pathak | Implementation of the Quickhull Algorithm for Convex Hull for CGAL | 46 024 | Talk | | |||||
| 2000-07-07 | 13:30 | Kurt Mehlhorn | Constraint Programming and Graph Algorithms | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 2000-07-06 | 14:00 | Friedrich Eisenbrand | Gomory-Chvatal Cutting Planes and the Elementary Closure of Polyhedra | 46.1 - MPII 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2000-07-05 | 14:00 | Idriss Bengeloune | Test-sets und Termersetzungen fuer die Generierung rekursiv definierter Algorithmen aus Existenzaussagen | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2000-07-03 | 13:30 | AG1 | AG1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
| 2000-07-03 | 14:00 | Dr. Adrian Pearce | Agent-Enabling Environments Using Graph Matching and Inductive Logic Programming | 43.1 - DFKI Turing 1.01 | DFKI-Kolloquium | | |||||
| 2000-07-03 | 17:00 | Wolfgang Wahlster | Automatische Planung multimodaler Dialoge. | 10 Sitzungssaal | Talk | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-06-30 | 13:30 | Edgar Ramos | Polytope Approximation and Approximate Nearest Neighbor Queries (Cont.) | MPII 024 | Lecture | | |||||
| 2000-06-30 | 17:00 | Prof. Jean Dolbeault | Relative entropies for Vlasov-Poisson type systems | 27 HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-06-29 | 13:30 | Guido Schäfer | Weighted Matchings in General Graphs | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
| 2000-06-29 | 16:00 | Karel Oliva | IN STATISTICAM ORATIONES PARS PRIMA | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-06-28 | 13:30 | Dieter Kratsch | Approximating bandwidth by mixing layouts of interval graphs | MPI o24 | Lecture | | |||||
|
|
| | |||||||||
| 2000-06-27 | 12:00 | Cedric Lichtenau | Entwurf und Realisierung des Aufbaus und der Testumgebung der SB-PRAM | 45 - FB14 003 | Promotionskolloquium | | |||||
| 2000-06-27 | 13:30 | Edgar Ramos | Polytope Approximation and Approximate Nearest Neighbor Queries | MPII 024 | Lecture | | |||||
|
|
| | |||||||||
| 2000-06-26 | 13:30 | Stefan Schirra | Edge-coloring bipartite multigraphs in O(E log D) time | 46 024 | AG1 Mittagsseminar (own work) | | |||||
| 2000-06-26 | 17:00 | Prof. Richard Becker | Conical Measures and Daniell Integrals | 27 - Hörsaal Gebäude Seminarraum 5 | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-06-23 | 10:00 | Hans-Peter Lenhof | Protein-Docking | 45 HS003 | Informatik-Kolloquium | | |||||
| 2000-06-23 | 13:00 | Heribert Vollmer | Komplexitätstheorie als Mittlerin zwischen Algorithmen, Automaten und Logik | 45 HS003 | Informatik-Kolloquium | | |||||
| 2000-06-23 | 15:15 | Dr. Ferri Abolhassan | Virtuelle Marktplätze | 45 t.b.A. | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-06-21 | 10:00 | Hans-Werner Gellersen | Kontextuell eingebettete Systeme | 45 015 (Seminarraum) | Informatik-Kolloquium | | |||||
| 2000-06-21 | 13:15 | Paul Lukowicz | Opto-Elektronische Verbindungen in der Rechnerarchitektur | 45 HS001 | Informatik-Kolloquium | | |||||
| 2000-06-21 | 14:00 | R o b e r t S t . A m a n t | AUSNUTZUNG DER VISUELLEN UMGEBUNG IN INTELLIGENT USER INTERFACES | 43.1 - DFKI Turing, 1.01 | Talk | | |||||
|
|
| | |||||||||
| 2000-06-19 | 13:15 | Michael Thielscher | Kognitive Robotik | 45 HS003 | Informatik-Kolloquium | | |||||
| 2000-06-19 | 16:00 | Alexander Bockmayr | Modellieren und Lösen kombinatorischer Probleme durch Branch-and-Infer | 45 HS003 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-06-16 | 15:15 | Joachim Weickert | Bildverarbeitung und Computer Vision mit partiellen Differentialgleichungen | 45 HS001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-06-15 | 16:15 | Andy Gordon | Pure Names and Type Generativity | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-06-14 | 12:45 | Dr. Andreas Zeller | Konfigurationsmanagement mit Feature-Logik | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-06-13 | 16:15 | Andrew Adams | Supporting CAS with ATP: Using PVS to support Definite Integration | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-06-07 | 13:00 | Hartmut Schirmacher | High-Quality Interactive Lumigraph Rendering Through Warping | MPII 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-06-06 | 13:30 | Rene Beier | A Powerful Heuristic for Gossiping | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-06-05 | 11:15 | Fritz Eisenbrand | Short vectors of planar lattices via continued fractions | 46.1 024 | AG2 Working Group Seminar | | |||||
| 2000-06-05 | 17:00 | Prof. Wieslaw Zelazko | A short history of Polish mathematics | 27 - Hörsaal Gebäude Hoersaal IV | Mathematisches Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-05-31 | 15:15 | Peter Sanders | Schneller Zugriff auf parallele Platten | 46 024 | Habilitationsvortrag und Kolloquium | | |||||
|
|
| | |||||||||
| 2000-05-26 | 15:15 | Prof. Reinhard Wilhelm | Shape Analysis | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-05-24 | 11:15 | Ian Pratt | A Restricted Fragment of English | 46.1 024 | AG2 Working Group Seminar | | |||||
| 2000-05-24 | 13:00 | Andreas Hubeli | Fairing of Non-Manifold Models | MPI 022 | Talk | | |||||
| 2000-05-24 | 13:30 | Palash Sarkar | STREAM CIPHERS AND BOOLEAN FUNCTIONS | MPI 024 | Talk | | |||||
|
|
| | |||||||||
| 2000-05-19 | 11:00 | Prof. Dr. Hartmut Prautzsch | Freeform Modeling | Geb. 46.1 022 | Talk | | |||||
| 2000-05-19 | 13:30 | mainly Ulrich Meyer | among other things: External Memory BFS on Undirected Graphs with Bounded Degree | 46 007 | SIG Meeting | | |||||
| 2000-05-19 | 15:15 | Prof. Flemming Nielson | Hardest Attackers | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-05-18 | 11:00 | James Stewart | Horizon Computation in Terrains | 46 022 | AG4 Talk | | |||||
| 2000-05-18 | 16:15 | Manfred Jaeger | Almost surely connected: random graphs and logic | 46.1 024 | MPI-Seminar | | |||||
|
|
| | |||||||||
| 2000-05-17 | 13:30 | Kurt Mehlhorn | n points and a line | MPI 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2000-05-10 | 13:00 | Li Ming | A Practical Virtual Touring System | MPI 022 | AG4 Group Meeting | | |||||
| 2000-05-10 | 13:30 | AG1 | Group meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-05-08 | 13:30 | Michal Soch | Gossiping on 2D and 3D Meshes | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-05-05 | 13:30 | C.R. Subramanian | Sampling and counting independent sets | MPI 024 | AG1 Mittagsseminar (others' work) | | |||||
| 2000-05-05 | 15:00 | Michael Seel | Das Förderprogramm "Neue Medien in der Hochschullehre" | MPI 024 | Miscellaneous | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-04-27 | 13:30 | Christian A. Duncan | The Approximate Euclidean TSP Problem | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 2000-04-26 | 13:00 | Ulf Labsik | Using Most Isometric Parametrizations for Remeshing Polygonal Surfaces | MPI 022 | AG4 Group Meeting | | |||||
| 2000-04-26 | 13:30 | Stephen G. Kobourov | Visualization of Large Graphs | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-04-20 | 13:30 | Nicolas Beldiceanu | Description of Global Constraints and Generic Propagation Algorithms | MPI 024 | Talk | | |||||
|
|
| | |||||||||
| 2000-04-19 | 16:15 | Viorica Sofronie-Stokkermans | On Unification in Bounded Distributive Lattices | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-04-17 | 11:15 | Emil Weydert | "Revising Higher-order Uncertainty" for Dummies | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-04-13 | 13:30 | Susan Hert | Polygonal Curve Approximation, Part II | 46.1 024 | AG1 Advanced Mini-Course | | |||||
| 2000-04-13 | 16:15 | Jens Knoop | Profilorientierte Klassifikation von Datenflussanalysetechniken | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-04-12 | 13:00 | Hitoshi Yamauchi | A Massively Parallel Approach to Synthesize Images and other topics | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-04-11 | 13:30 | Susan Hert | Polygonal curve approximation: algorithms and applications | 46 24 | AG1 Advanced Mini-Course | | |||||
| 2000-04-11 | 16:15 | Laurent Mauborgne | Representation of Sets of Trees for Abstract Interpretation | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-04-07 | 11:00 | Prof. Dr.-Ing. M. Gross | Surface Elements as Rendering Primitives (Point Based Rendering) | 46.1 - MPII 022 | Talk | | |||||
|
|
| | |||||||||
| 2000-04-05 | 13:30 | Susan E. Hert | News from the GALIA developers' meeting | 46.1 024 | SIG Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-03-30 | 13:30 | AG1 | AG1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-03-29 | 13:00 | Sung Woo Choi | Minkowski Sum and Medial Axis Transform | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-03-24 | 13:30 | Peter Sanders | SIG Externes Rechnen | 46 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 2000-03-22 | 15:00 | Robert Shakespeare | Physical Lighting and Virtual Scenography: At the vortex | 45 H001 | Talk | | |||||
| 2000-03-22 | 19:30 | Jop Sibeyn | Emirates, Oman, Pakistan, India | 46.1 024 or other | Miscellaneous | | |||||
|
|
| | |||||||||
| 2000-03-20 | 13:30 | Jae-Ha Lee | Approximation of curvature-constrained shortest paths through a sequence of points | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-03-16 | 13:30 | T. Polzin | Steiner Trees and Integer Programming | MPI 024 | Talk | | |||||
|
|
| | |||||||||
| 2000-03-15 | 13:00 | Philipp Slusallek | Wide Area Camera Calibration Using Virtual Calibration Objects | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-03-14 | 16:15 | Enno Ohlebusch | Termination of Logic Programs: Transformational Methods Revisited | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-03-13 | 13:30 | AG1 | AG1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-03-02 | 16:00 | Reinhard Kahle | Beweistheorie in der Informatik | 46.1 - MPII 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2000-03-01 | 13:00 | Annette Scheel | Tone Mapping for Interactive Walkthroughs | MPI 022 | AG4 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-02-28 | 11:15 | Manfred Jaeger | Fairness, Randomness, Predictability | 46.1 024 | AG2 Working Group Seminar | | |||||
| 2000-02-28 | 13:00 | Michael Wand | Approximative Darstellung dreidimensionaler Szenen mit randomisiertem z-Buffer | 46.1 - MPII 24 | Talk | | |||||
|
|
| | |||||||||
| 2000-02-24 | 13:30 | V.S. Anil Kumar | Mini-Course on Approximation Algorithms | Lecture | | ||||||
|
|
| | |||||||||
| 2000-02-21 | 14:00 | Uwe Brahm | Using the working group publication database (for honour and profit) | 46.1 019 | Presentation | | |||||
| 2000-02-21 | 15:00 | AG1 staff | AG1 staff meeting | 46 007 | Meeting | | |||||
|
|
| | |||||||||
| 2000-02-18 | 16:00 | Prof. Dr. H. Uszkoreit | Syntaktische Verarbeitung in Mensch und Maschine | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-02-17 | 13:30 | Zeev Nutov | MINI-COURSE ON APPROXIMATION ALGORITHMS | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 2000-02-17 | 17:15 | Uwe Waldmann | Theorem proving calculi as decision procedures - The case of divisible torsion-free abelian groups | 46.1 024 | MPI-Seminar | | |||||
|
|
| | |||||||||
| 2000-02-16 | 13:00 | Katja Daubert | Illuminating Micro Geometry Based on Precomputed Visibility | MPI 022 | AG4 Group Meeting | | |||||
| 2000-02-16 | 13:30 | Jop Sibeyn | Randomized Linear Time MST | 46.1 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2000-02-15 | 13:30 | Zeev Nutov | MINI-COURSE ON APPROXIMATION ALGORITHMS | MPI 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2000-02-14 | 13:30 | Paul Spirakis | Optimal, Distributed Decision-Making: The Case of No Communication | 46.1 024 | MPI-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-02-11 | 14:00 | Prof. E. Brieskorn | Felix Hausdorff | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-02-11 | 16:00 | Prof. Dr. Peter H. Schmitt | Integrierte, deduktive Software-Verifikation | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-02-10 | 13:30 | Zeev Nutov | Mini-Course on Approximation Algorithms | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 2000-02-10 | 19:30 | Markus Fries | Spieleabend, board games evening | MPi 1st floor, coffeemachine | Miscellaneous | | |||||
|
|
| | |||||||||
| 2000-02-09 | 10:00 | Election comittee | Election of the representative of the scientific staff | 46.1 211 | Miscellaneous | | |||||
| 2000-02-09 | 13:00 | Jens Vorsatz | From Humid to Humid 2000 | MPII 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-02-08 | 13:30 | Zeev Nutov | Mini-Course on Approximation Algorithms | MPI 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2000-02-07 | 13:30 | AG 1 | Group Meeting | 46 024 | AG1 Group Meeting | | |||||
| 2000-02-07 | 13:30 | Peter Sanders | Conference Summary, SODA, ALENEX et al. | 46 024 | AG1 Conference Report | | |||||
|
|
| | |||||||||
| 2000-02-04 | 11:00 | Martin Isenburg | Efficient encodings for surfaces with properties | 45 - FB14 HS 001 | Talk | | |||||
| 2000-02-04 | 14:00 | Prof. S. Rjasanow | Boltzmann'sches H-Theorem | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-02-04 | 15:00 | Hannah Bast | Provably Optimal Scheduling of Similar Tasks | 46 (MPI) 024 | Promotionskolloquium | | |||||
| 2000-02-04 | 16:00 | Dr. Leif Kobbelt | Subdivide & Conquer | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-02-03 | 13:30 | Zeev Nutov | Mini-Course on Approximation Algorithms | MPI 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 2000-02-02 | 13:00 | Mario Botsch | An Interactive Approach to Triangulation/Remeshing | MPII 022 | AG4 Group Meeting | | |||||
| 2000-02-02 | 13:30 | AG1 | Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
| 2000-02-02 | 15:00 | Richard Wiese | Defaults und andere Regeln: Linguistik und Neurolinguistik des deutschen Pluralsystems | Geb. 10 Dekanatssitzungssaal | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2000-02-01 | 13:30 | Zeev Nutov | Approximation Algorithms | MPI 024 | AG1 Advanced Mini-Course | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2000-01-28 | 14:00 | Prof. W. Decker | Poncelet und sein Schließungssatz | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-01-28 | 16:00 | Prof. Dr. Manfred Pinkal | Semantische Verarbeitung | 45 - FB14 001 | Informatik-Kolloquium | | |||||
| 2000-01-28 | 18:00 | Dr. Helmut Horacek | Erzeugung von Referenzausdruecken als wissensbasierte Methode | 45 - FB14 HS 001 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 2000-01-26 | 13:00 | Kolja Kähler | A Framework for Incremental Mesh Decimation | MPII 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-01-22 | 13:30 | Panagiota Fatourou | Efficient Scheduling of Strict Multithreaded Computations | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2000-01-21 | 14:00 | Prof. G. Heinzmann | Zur Wissenschaftstheorie von Henri Poincaré | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-01-21 | 16:15 | Elmar Schömer | Computeranimation versus physikalische Simulation | 45 HS1 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 2000-01-19 | 13:00 | Several | Ideas Session | 46 022 | Meeting | | |||||
|
|
| | |||||||||
| 2000-01-17 | 15:15 | Miroslava Tzakova | Hybrid Languages | 46(MPI) 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2000-01-14 | 11:00 | Peter-Michael Seidel | On the Design of IEEE Compliant Floating-Point Units and Their Quantitative Analysis | 45 (Informatik) 015 | Promotionskolloquium | | |||||
| 2000-01-14 | 14:00 | PD P. Kirsche | Claudius Ptolemäus | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
| 2000-01-14 | 16:00 | Prof. Dr. Lothar Budach | Objektmodelle unterschiedlicher Programmierparadigmen | 45 - FB14 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-01-13 | 13:30 | J.-R. Sack | Weighted Shortest Path Problems | 46 024 | AG1 Mittagsseminar | | |||||
| 2000-01-13 | 16:15 | Witold Charatonik | Paths vs. Trees in Set-based Program Analysis | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-01-11 | 13:30 | AG1 | AG1 Group Meeting | MPI Room 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2000-01-10 | 11:15 | Andreas Podelski | Efficient Algorithms for Pre* and Post* on Interprocedural Parallel Flow Graphs | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2000-01-07 | 16:00 | Prof. Dr.-Ing. Gerhard Weikum | Datenbanktechnologie im Zeitalter von XML, Gizmos und Leistungsgarantien: Resultate, Trends, Herausforderungen | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2000-01-06 | 13:30 | Kurt Mehlhorn | Sugihara: topol. oriented approach to geometric computation and Vempala/Voecking: Approximating Multicast Congestion | MPI 024 | AG1 Mittagsseminar | | |||||
| 2000-01-06 | 16:15 | Friedrich Eisenbrand | Cutting planes and the elementary closure in fixed dimension | 46.1 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 2000-01-05 | 11:00 | Berthold Vöcking | How Assymmetry Helps Load Balancing | 46 024 | AG1 Mittagsseminar (own work) | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-12-20 | 15:45 | Sergei Bespamyatnikh | Equitable 3-cuttings in two and three dimensions | 45 HS 001 | Talk | | |||||
|
|
| | |||||||||
| 1999-12-16 | 16:00 | Sherif Ghali | A Geometric Framework for Computer Graphics | MPI 024 | MPI-Seminar | | |||||
|
|
| | |||||||||
| 1999-12-15 | 13:00 | Robert Schneider | Discrete Nonlinear Fairing of Curves and Surfaces | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-12-13 | 11:15 | Uwe Waldmann | A New Input Method for Accented and Special Letters in Alphabetical Scripts | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-12-10 | 14:00 | Prof. E.-U. Gekeler | Beweis der Fermatschen Vermutung | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 1999-12-09 | 16:15 | Patrick Maier | An Overview over Assume/Guarantee-Reasoning | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-12-06 | 11:15 | Li Wei | Sequences and their limits of formal theories | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-12-03 | 14:00 | Prof. H. Koch | Geschichte der Fermatschen Vermutung | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 1999-12-01 | 13:00 | Jörg Haber | Enhanced Automatic Creation of Multi-Purpose Object Hierarchies | MPI 022 | AG4 Group Meeting | | |||||
| 1999-12-01 | 15:00 | AG1 staff | AG1 staff meeting | 007 | Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-11-30 | 13:30 | Stefan Funke | Subexponential Linear Programming | 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-11-29 | 13:30 | V.S. Anil Kumar | Random Sampling with Markov Chains | 024 | AG1 Advanced Mini-Course | | |||||
| 1999-11-29 | 16:15 | Supratik Mukhopadhyay | Beyond Region Graphs: Symbolic Forward Analysis of Timed Automata | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-11-26 | 11:00 | Peter Müller | Parallel Molecular Dynamics Simulations for Synthetic Polymers | 46 (MPI) 024 | Promotionskolloquium | | |||||
| 1999-11-26 | 14:00 | Prof. P. Ullrich | p-adische Zahlen | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 1999-11-25 | 11:00 | Peter Sanders | alpha: Automatically Load Balanced Parallel Hard Disk Array | 46 007 | SIG Meeting | | |||||
| 1999-11-25 | 16:15 | Richard Booth | How to change your mind: a short tutorial on belief revision | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-11-24 | 13:00 | Christian Rössl | Semi-Automatic Methods for Reconstruction of CAD Models from point samples | MPI 022 | AG4 Group Meeting | | |||||
| 1999-11-24 | 13:30 | Sebastian Egner | Solving Puzzles related to Permutation Groups | 46 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-11-23 | 13:30 | V.S. Anil Kumar | Random sampling with Markov Chains | 024 | AG1 Advanced Mini-Course | | |||||
| 1999-11-23 | 16:15 | Agustín Valverde | TAS: a tool for automated deduction in many-valued and temporal logics | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-11-19 | 14:00 | Prof. E. Albrecht | Algebraische Analysis | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 1999-11-18 | 13:30 | V.S. Anil Kumar | Random Sampling and Approximate Counting with Markov Chains | 024 | AG1 Advanced Mini-Course | | |||||
| 1999-11-18 | 16:15 | Supratik Mukhopadhyay | Descriptive and Parameterized Complexity (work by Martin Grohe) | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-11-17 | 11:15 | Hans de Nivelle | Transforming Resolution Proofs into Type Theory Proofs | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-11-17 | 13:00 | Ingo Wald | Photorealistische Bildsynthese mit der Photon Map | MPII 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-11-16 | 13:30 | Christian Duncan | Approximate Geometric Queries (using BAR trees), continued | 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-11-15 | 13:30 | Susan Hert | Generating random polygons with given vertices | 46 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 1999-11-12 | 13:30 | Ulrich Meyer et al. | SIG external computing | 46.1 007 | SIG Meeting | | |||||
| 1999-11-12 | 14:00 | Prof. K. Reich | Mathematik und Religion | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 1999-11-11 | 13:30 | Christian Duncan | Approximate Geometric Queries (using Balanced Aspect Ratio Trees) | AG1 Advanced Mini-Course | | ||||||
| 1999-11-11 | 15:00 | Various | Constraint Programming and Integer Programming | MPII 023 | Lecture | | |||||
| 1999-11-11 | 16:15 | Ewa Orlowska | Rasiowa-Sikorski-style proof systems for nonclassical logics | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-11-10 | 13:00 | Wolfgang Heidrich | Current Activities in Image-Based and Hardware-Accelerated Rendering | MPI 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-11-09 | 13:30 | Edgar Ramos | A linear time randomized algorithm for triangulating a simple polygon | MPII 24 | AG1 Advanced Mini-Course | | |||||
| 1999-11-09 | 16:15 | Ralf Treinen | Tree Automata with Tests and Predicate Logic | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-11-08 | 13:30 | Mehlhorn | AG 1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-11-05 | 13:30 | Andreas Crauser et al. | SIG Meeting Externes Rechnen | 46 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-11-04 | 13:30 | Edgar Ramos | A randomized algorithm for triangulating a simple polygon | 046 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-11-03 | 13:00 | Stefan Brabec | Canned Light Sources | MPI 022 | AG4 Group Meeting | | |||||
| 1999-11-03 | 13:30 | Anil Kumar | FOCS report | MPII 024 | AG1 Conference Report | | |||||
| 1999-11-03 | 16:00 | Kurt Mehlhorn | Curve Reconstruction | 046 024 | MPI-Seminar | | |||||
|
|
| | |||||||||
| 1999-11-02 | 13:30 | Mehlhorn | Narrowing Algorithms, Part III | MPI 024 | Lecture | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-10-28 | 13:30 | Speaker | Selected Topics in Algorithms | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 1999-10-27 | 13:00 | Hendrik Lensch | Techniques for Hardware-Accelerated Light Field Rendering | MPII 22 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-10-26 | 13:30 | Kurt Mehlhorn | Selected Topics in Algorithms: Narrowing Algorithms for Constraint Programming | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 1999-10-22 | 13:30 | AG1 staff members | AG1 staff meeting | 007 | Meeting | | |||||
|
|
| | |||||||||
| 1999-10-12 | 13:30 | AG1 Members | AG1 Special Session (cont) | 46 024 | One-Day-Event | | |||||
|
|
| | |||||||||
| 1999-10-11 | 13:30 | AG1 | AG1 Group Meeting | MPII 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-10-08 | 13:30 | Various | SIG MEETING external computing | 46 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-10-05 | 11:15 | Christoph Meyer | Soft Typing for Clausal Inference Systems | 46.1 024 | Promotionskolloquium | | |||||
| 1999-10-05 | 13:00 | AG1 members | AG1 Special Session | 46 024 | One-Day-Event | | |||||
| 1999-10-05 | 16:15 | Dimitri Hendriks | Automated construction of proofs of first-order tautologies in type theory | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-10-01 | 11:00 | Nicolas Holzschuch | Using Graphics Hardware to speed-up your visibility queries | MPII 022 | Talk | | |||||
| 1999-10-01 | 16:15 | Moshe Y. Vardi | The Descriptive Complexity of Constraint Satisfaction | 46.1 024 | Logik-Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-09-29 | 13:30 | Kurt Mehlhorn | Integer Programming and Constraint Programming | MPI 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-09-27 | 11:00 | Alexander Keller | Hierarchical Monte Carlo Image Synthesis | MPII 022 | Talk | | |||||
|
|
| | |||||||||
| 1999-09-24 | 13:30 | Andreas Crauser et al. | SIG MEETING, EXTERNAL COMPUTATION | 46.1 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-09-23 | 14:00 | Jean-Michel Dischler | Textures, matter and illumination for computer graphics (tentative) | 46.1 - MPII 023 | Talk | | |||||
|
|
| | |||||||||
| 1999-09-21 | 13:30 | Martin Dietzfelbinger | Universal Hashing IV | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 1999-09-21 | 15:15 | Prof. Stephen Mann | Geometric Algebra | MPII 023 | Talk | | |||||
|
|
| | |||||||||
| 1999-09-20 | 13:30 | Jop Sibeyn | All-to-All Routing with Bounded Loads | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 1999-09-16 | 13:30 | Dietzfelbinger | Universal Hashing III | MPI 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-09-15 | 13:30 | Jop Sibeyn | All-To-All Routing With Bounded Loads | 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 1999-09-14 | 13:30 | Martin Dietzfelbinger | Universal Hashing II | MPI 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-09-09 | 13:30 | Zeev Nutov | How to find optimal fractional dicycle packing and cover in polynomial time | MPI 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-09-07 | 13:30 | Martin Dietzfelbinger | Universal Hashing I | MPI 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-09-06 | 13:30 | AG1 | AG1 group meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-09-02 | 14:00 | Karol Myszkowski | Perception-based rendering of still images and animated sequences | MPII 023 | Talk | | |||||
|
|
| | |||||||||
| 1999-09-01 | 15:15 | Friedrich Eisenbrand | Linear Algebra in Z/mZ; what to do if m is not a prime | MPI 024 | AG2 Seminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-08-27 | 13:30 | Edgar Ramos | Computing the diameter of a 3-d point set deterministically (SIG-CG) | 46 07 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-08-26 | 13:30 | C.R. Subramanian | A Fully Dynamic Algorithm for Maintaining the Transitive Closure | 46 024 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-08-23 | 11:00 | Frank Zeilfelder | Interpolationsmethoden für bivariate Splines | 46 022 | Talk | | |||||
| 1999-08-23 | 13:30 | Antonio Mesa | The polygon containment problem and the marker making problem. | 46 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-08-18 | 15:15 | Matthias Fischmann | Schemas for a Decidable Object-Oriented Type Theory | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-08-17 | 13:30 | Edgar Ramos | Fixed Dimensional Linear Programming Queries | 46 024 | Course | | |||||
|
|
| | |||||||||
| 1999-08-16 | 13:30 | C.R. Subramanian | Coloring sparse random graphs | 46 024 | AG1 Advanced Mini-Course | | |||||
| 1999-08-16 | 16:00 | Stefan Burkhardt | An algorithm for approximate database searching | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-08-12 | 13:30 | Mark Ziegelmann | The Constrained Shortest Path Problem | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 1999-08-12 | 16:00 | Ago Kuusik | The Vertex-Exchange Graph: a New Mechanism for Multi-Level Crossing Minimisation | 46 023 | Talk | | |||||
| 1999-08-12 | 16:15 | Sergei Vorobyov | New lower bounds for the typed lambda calculus and higher-order matching | 46 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-08-11 | 13:30 | Nerjes Guido | Multi-mediale Datenserver | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 1999-08-10 | 13:30 | C.R. Subramanian | Randomization, Derandomization and Antirandomization | 46 024 | AG1 Advanced Mini-Course | | |||||
| 1999-08-10 | 16:15 | Bruce Spencer | Nearly Ordered Resolution | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-08-09 | 13:30 | Martin Fürer | Approximating permanents of complex matrices | 46.1 24 | AG1 Mittagsseminar | | |||||
| 1999-08-09 | 16:00 | Stephan Thesing | Program analysis in reality | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-08-05 | 10:30 | Knut Reinert | A Polyhedral Approach to Sequence Alignment Problems | 46 024 | Promotionskolloquium | | |||||
| 1999-08-05 | 13:30 | Larry Larmore | On the trackless server problem | MPI 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-08-04 | 11:00 | J. Shewchuck | Mesh Generation by Delaunay Refinement | MPI o24 | Lecture | | |||||
| 1999-08-04 | 11:00 | J. Shewchuck | Mesh Generation by Delaunay Refinement | MPI o24 | Lecture | | |||||
| 1999-08-04 | 12:30 | Supratik Mukhopadhyay | Open Problems in Constraints and Verification of Real Time Systems (register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | MPII #46 007 | AG3 Pizza Lunch | | |||||
| 1999-08-04 | 13:30 | Wolfgang Bein | The 3-server problem in the plane | MPI 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-08-03 | 13:30 | K Mehlhorn | Preparing Comparison-Based Data Structures for k-dimensional keys | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 1999-08-02 | 13:30 | - | - | 46.1 024 | AG1 Group Meeting | | |||||
| 1999-08-02 | 13:30 | various travellers | triple feature: best of ESA, ICALP, WAE | 024 | AG1 Mittagsseminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-07-28 | 12:30 | Guy Korzars | Choosing a heaviest subgraph greedily {Register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html} | MPII Geb 46 007 | AG3 Pizza Lunch | | |||||
|
|
| | |||||||||
| 1999-07-26 | 13:30 | Guy Kortzars | Multi-coloring planar graphs and partial k-trees | MPI 024 | Talk | | |||||
|
|
| | |||||||||
| 1999-07-23 | 14:15 | Solofo Ramangalahy | The conformance testing problem and game models | MPII Geb 46 023 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 1999-07-22 | 13:30 | Elias Dahlhaus | How to Minimize Fill-ins on Arbitrary Graphs (II) | 46 24 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-07-21 | 12:30 | Freddy Mang | Automating Modular Verification {Register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html} | MPII Geb 46 007 | AG3 Pizza Lunch | | |||||
| 1999-07-21 | 16:00 | C. Benzm"uller | Equality and extensionality in automated higher-order theorem proving | 45 - FB14 HS 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1999-07-20 | 13:00 | Kolja Kaehler | Implementierung eines Multiresolution-Editors für B-Spline-Flächen und Erfahrungsbericht über die Arbeiten bei Katrix Inc. | 46 023 | Talk | | |||||
| 1999-07-20 | 13:30 | Elias Dahlhaus | How to Minimize Fill-ins on Arbitrary Graphs | 46 24 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-07-19 | 16:15 | Kahlil Hodgson | On the recent development of SCOTT | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-07-16 | 14:00 | Georgina Fabian | Semantics of model composition in the Chi language | 46.1 - MPII 022 | Talk | | |||||
| 1999-07-16 | 16:00 | Prof. Dr. Guerino B. Mazzola | Topologies and Semantics on Musical Motive Spaces | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
| 1999-07-16 | 18:00 | Stefan Schirra | Von Punktmengen, Permutationen und Pseudogeraden | 46.1 - MPII 024 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 1999-07-14 | 12:30 | Susanne Albers | Randomized on-line algorithms: a survey (register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | MPII, Geb 46 007 | AG3 Pizza Lunch | | |||||
| 1999-07-14 | 13:30 | James Abello | Massive Multi-digraphs | 46.1 024 | AG1 Mittagsseminar | | |||||
| 1999-07-14 | 16:00 | Mark Ziegelmann | An easy to use implementation of perturbations within CGAL | MPI 024 | SIG Meeting | | |||||
| 1999-07-14 | 18:00 | Hans-Peter Lenhof | Branch-And-Cut-Algorithmen fuer Sequenz-Alignment-Probleme | 46.1 024 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 1999-07-12 | 14:00 | Marius Minea | Partial Order Reduction for Model checking of Timed Systems | 46.1 022 | Talk | | |||||
|
|
| | |||||||||
| 1999-07-09 | 16:00 | Prof. Dr. Ernst W. Mayr | On-line Scheduling paralleler Jobs | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-07-07 | 13:30 | - | group meeting | 46.1 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 1999-07-06 | 10:00 | Marc Wilhelm Küster | Unicode, Globalization, Localization | Geb. 4, rechter Aufgang, 3. Obergeschoß 3.03 | Talk | | |||||
|
|
| | |||||||||
| 1999-07-05 | 13:30 | Peter Sanders | Running External Memory Algorithms on Hardware Caches | 46 024 | AG1 Mittagsseminar (own work) | | |||||
| 1999-07-05 | 16:00 | Stefan Funke | Structural Filtering for Geometric Algorithms | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-07-01 | 13:30 | Kurt Mehlhorn | The Goldberg--Rao Network Flow Algorithm | MPI 024 | Course | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-06-30 | 12:30 | Ben Horowitz | Interval Methods in Hybrid Systems Analysis | 46.1 - MPII 007 | AG3 Pizza Lunch | | |||||
| 1999-06-30 | 13:30 | Nodari Vakhania | New performance bounds for scheduling unrelated processors | MPI 024 | AG1 Seminar | | |||||
|
|
| | |||||||||
| 1999-06-29 | 13:30 | Ernst Althaus | TSP und Kurvenrekonstruktion | MPI 024 | Course | | |||||
|
|
| | |||||||||
| 1999-06-28 | 16:00 | Piotr Krysta | Approximation Algorithms for the Achromatic Number | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-06-26 | 09:00 | Gabriel Sandu | Logical Constants as Operators in Games | 16 Sitzungssaal der Rechts- und Witschaftswissenschaftlichen Fakultät | Talk | | |||||
| 1999-06-26 | 10:10 | Gerhard Heinzmann | Game Theoretical Approaches to Logic and the Induction Principle | 16 Sitzungssaal der Rechts- und Witschaftswissenschaftlichen Fakultät | Talk | | |||||
|
|
| | |||||||||
| 1999-06-25 | 09:00 | Erik Krabbe | The Problem of Retraction in Critical Discussion | 46.1 - MPII 0.21 | Talk | | |||||
| 1999-06-25 | 10:10 | Narahari Rao | Dialogue and Ontology | 46.1 - MPII 0.21 | Talk | | |||||
| 1999-06-25 | 11:20 | Jaques Dubucs | Social Aspects of Knowledge as A Field for Dialogical Research | 46.1 - MPII 0.21 | Talk | | |||||
| 1999-06-25 | 14:00 | Jean Paul van Bendegem | Paraconsistency and Dialogical Logic: Critical Examination and Further Explorations | 46.1 - MPII 0.21 | Talk | | |||||
|
|
| | |||||||||
| 1999-06-24 | 15:20 | Jaakko Hintikka | Logic of Inquiry and Intuitionistic Logic | 46.1 - MPII 0.21 | Talk | | |||||
| 1999-06-24 | 16:30 | Shahid Rahman | Dialogical Connexive Logic (Part I) | 46.1 - MPII 0.21 | Talk | | |||||
| 1999-06-24 | 17:40 | Helge Rückert | Dialogical Connexive Logic (Part II) | 46.1 - MPII 0.21 | Talk | | |||||
|
|
| | |||||||||
| 1999-06-23 | 11:15 | Jürgen Stuber | Theory Path Orderings | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-06-23 | 12:30 | Jop Sibeyn | Randomized Graph Algorithms (with emphasis on All-Pairs Shortest Path). {Register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html} | MPII Geb 46 007 | AG3 Pizza Lunch | | |||||
| 1999-06-23 | 14:00 | Dr. Hardi Hungar | Model Checking and Higher-Order Recursion | 46.1 - MPII 022 | Talk | | |||||
| 1999-06-23 | 16:00 | Dr. Hardi Hungar | First-Order-CTL Model Checking | 46.1 - MPII 022 | Talk | | |||||
|
|
| | |||||||||
| 1999-06-22 | 13:30 | Jeff Vitter | Online external memory data structures | MPI 024 | Lecture | | |||||
|
|
| | |||||||||
| 1999-06-21 | 16:00 | Daniel Kästner | Superblock-based Register Assignment by Integer Linear Programming | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-06-18 | 11:15 | Lisa Fleischer | Strengthening the Integrality Gaps for Capacitated Network Design and Covering Problems | MPI 024 | AG2 Seminar | | |||||
| 1999-06-18 | 14:00 | Prof. Dr. Dr. h.c. A.-W. Scheer | Vom Geschäftsprozeßmodell zum Anwendungssystem - Vision, Realisierung, Erfahrungen | 45 - FB14 HS001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-06-17 | 13:30 | Mehlhorn | Subtour LP and Held-Karp Bound, II | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 1999-06-17 | 14:30 | Michael McCool | Shadow Volume Reconstruction | MPI 023 | Talk | | |||||
| 1999-06-17 | 16:15 | Rolf Backofen | Symmetrieausschluß in der constraint-basierten Suche | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-06-16 | 12:30 | Rupak Majumdar | Rectangular Games (register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | MPI Geb 46 007 | AG3 Pizza Lunch | | |||||
| 1999-06-16 | 19:00 | Jop Sibeyn | Travelling through the Middle-East on a bicycle | MPII 019 | Miscellaneous | | |||||
|
|
| | |||||||||
| 1999-06-14 | 16:00 | Stefan Burkhardt | With the increasing amount of DNA sequence information deposited in public databases, searching for similarity to a query sequence has become a basic operation in molecular biology. But even today's fast algorithms reach their limits when applied to all-versus-all comparisons of large databases. | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-06-10 | 13:30 | Kurt Mehlhron | The Subtour LP of the traveling saleman problem and the Held-Karp bound | MPI 024 | Course | | |||||
|
|
| | |||||||||
| 1999-06-07 | 16:00 | Arnd-Christian König | Combining Histograms and Parametric Curve Fitting for Feedback-Driven Query Result-Size Estimation | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-06-04 | 16:00 | Prof. Dr. Rüdiger Reischuk | Lernstrategien: von exakt average-case-effizient bis stochastisch finit | 45 - FB14 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-06-02 | 12:30 | Andreas Nonnengart | Reductions for hybrid systems graphs (register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | MPI, Geb 46 007 | AG3 Pizza Lunch | | |||||
| 1999-06-02 | 13:30 | Hannah Bast | How to schedule parallel loops (part II) | MPI 022 | AG1 Advanced Mini-Course | | |||||
|
|
| | |||||||||
| 1999-06-01 | 13:30 | Andreas Crauser | SIG External Computation | 46 007 | SIG Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-05-31 | 13:30 | Hannah Bast | How to schedule parallel loops (part I) | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 1999-05-31 | 16:00 | Ulrich Meyer | Parallel Dijkstra & Co. | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-05-28 | 13:30 | Alberto Apostolico | Verbumculus and the Detection of Unusual Substrings | MPI 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-05-26 | 11:15 | Emil Weydert | System JZ - A powerful tool for commonsense reasoning | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-05-26 | 12:30 | Jean-Francois Raskin | Survey and problems of the theory of timed automata (register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | MPI, Geb 46 007 | AG3 Pizza Lunch | | |||||
| 1999-05-26 | 13:00 | Hans-Christian Hege | Vektor- und Tensorfeld-Visualisierung | MPI Informatik Seminarraum 022 | Talk | | |||||
|
|
| | |||||||||
| 1999-05-21 | 13:30 | ua. Jop Sibeyn | SIG Meeting "Aspects of External Computation" See: http://www.mpi-sb.mpg.de/units/ag1/extcomp.html | 46.1 007 | SIG Meeting | | |||||
| 1999-05-21 | 15:00 | Hubert Baumeister | Relations between Abstract Datatypes modeled as Abstract Datatypes | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
| 1999-05-21 | 15:00 | Hubert Baumeister | Relations between Abstract Datatypes modeled as Abstract Datatypes | 45 003 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1999-05-20 | 13:30 | Lars Arge | something on secondary memory computation | MPI 024 | Course | | |||||
| 1999-05-20 | 16:00 | Bonnie Webber | A Structural and Presuppositional Account using Lexicalised TAG | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 1999-05-19 | 11:15 | Jörn Hopf | F-R|E|A|K for Online Forecasting | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-05-19 | 12:30 | Friedrich Eisenbrand | Problems related to perfect graphs (register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | MPI, Geb 46 007 | AG3 Pizza Lunch | | |||||
|
|
| | |||||||||
| 1999-05-18 | 13:30 | Mike Goodrich | Balanced Aspect Ratio Trees | MPI 024 | Course | | |||||
|
|
| | |||||||||
| 1999-05-12 | 11:15 | Giorgio Delzanno | Constraint-based Analysis of Broadcast Protocols | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-05-12 | 12:30 | Harald Ganzinger | Open problems in rigid reachability (register ASAP at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | 46, MPI 007 | AG3 Pizza Lunch | | |||||
|
|
| | |||||||||
| 1999-05-11 | 15:00 | Volker Priebe | Ein Steilkurs in Matroid-Theorie | 46.1 007 | Talk | | |||||
|
|
| | |||||||||
| 1999-05-10 | 13:30 | - | group meeting | 46.1 024 | AG1 Group Meeting | | |||||
| 1999-05-10 | 16:00 | Dierk Johannes | Is Game Programming Still Challenging? | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-05-07 | 13:30 | Susan Hert | SIG-CG: Load Balancing for Multiple Robots via Polygon Partitioning | 46.1 007 | SIG Meeting | | |||||
| 1999-05-07 | 14:00 | John Staples | FROM SOFTWARE VERIFICATION TO SYSTEMS ASSURANCE | 43.1 - DFKI Raum Turing (1.01) | DFKI-Kolloquium | | |||||
| 1999-05-07 | 16:00 | Dr. Thomas Wilke | Zur Ausdrucksstärke von Spezifikationslogiken | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-05-03 | 16:00 | Friedrich Eisenbrand | Representing all minimum cuts of a graph | 45 - FB14 015 | Seminar des Graduiertenkollegs | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-04-30 | 11:00 | Zeev Nutov | A Primal-Dual Approximation Algorithm for Minimum-Cost $k$-Node Connected Subgraph Problem | MPI 007 | SIG Meeting: Approx+Online | | |||||
| 1999-04-30 | 13:30 | N.N. | LEDA ... TBA | 46 007 | SIG Meeting | | |||||
| 1999-04-30 | 16:00 | Boudewijn Haverkort | Effiziente verteilte Erzeugung von Transitionssystemen aus formalen Spezifikationen | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
| 1999-04-30 | 16:00 | Georg Struth | Canonical Transformation in Algebra, Universal Algebra and Logic | 46.1 - MPII 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1999-04-28 | 11:15 | Leon van der Torre | The logic of reusable propositional output | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-04-23 | 11:15 | Bernard Boigelot | On Iterating Linear Operations over Recognizable Sets of Integers | 46.1 024 | Logik-Seminar | | |||||
| 1999-04-23 | 13:30 | Edgar Ramos | SIG-CG: Output sensitive computation of 4-d convex hulls | 46 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-04-22 | 14:00 | Dr. Christel Baier | On weak bisimulation equivalences for probabilistic systems | 46.1 021 | Talk | | |||||
|
|
| | |||||||||
| 1999-04-21 | 11:15 | Witold Charatonik | A new decidability proof for set constraints with projections | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-04-21 | 12:30 | Andreas Podelski | Model checking for pushdown systems (register at http://www.mpi-sb.mpg.de/units/ag3/talks.html) | 46 MPI 007 | AG3 Pizza Lunch | | |||||
|
|
| | |||||||||
| 1999-04-20 | 13:30 | Kurt Mehlhorn | Selected Topics in Algorithms | MPI 024 | Course | | |||||
|
|
| | |||||||||
| 1999-04-19 | 13:30 | Ulrich Kühn | Local geometric properties with applications to parallel processing | 46 024 | AG1 Mittagsseminar | | |||||
| 1999-04-19 | 15:15 | Helmut Schwichtenberg | Programmextraktion aus klassischen Beweisen | 46.1 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-04-16 | 15:00 | Greg Nelson | Extended static checking for Java | 46.1 024 | Talk | | |||||
| 1999-04-16 | 16:00 | Dr. Michael Sampels | Algebraische Konstruktion effizienter Verbindungsnetzwerke | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
| 1999-04-16 | 16:00 | Dr. Michael Sampels | Algebraische Konstruktion effizienter Verbindungsnetzwerke | 45 - FB14 Hoersaal 001, | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-04-15 | 13:30 | Marco Nissen et al. | SIG-Libraries: LEDA reconsidered? | 46 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-04-14 | 11:15 | Jean-Marc Talbot | Entailment of Atomic Set Constraints is PSPACE-complete | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-04-14 | 12:30 | Tom Henzinger | Pre- and post-logics for model checking | 46 MPI 007 | AG3 Pizza Lunch | | |||||
|
|
| | |||||||||
| 1999-04-12 | 13:30 | Jung-Bae Son | Berechnung konvexer Hüllen in erwarteter Linearzeit | MPI 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-04-09 | 11:00 | Ernst Althaus | Branch and Cut for Finding Optimal Steiner Trees in the Plane | MPI 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-04-07 | 11:15 | Jinzhao Wu | Algebraic Approaches to Geometry Theorem Proving | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-04-07 | 12:30 | Luca de Alfaro | More Open Problems | MPI 46 007 | AG3 Pizza Lunch | | |||||
|
|
| | |||||||||
| 1999-04-06 | 13:30 | John Noga | Scheduling with Machine Cost | MPI 024 | AG1 Mittagsseminar | | |||||
| 1999-04-06 | 14:15 | Pierre-Yves Schobbens | Bracketed automata | MPI, Geb 46 019 | Talk | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-03-30 | 14:00 | Jan Korst | Randomized Redundancy in Video Servers | 46 024 | AG1 Mittagsseminar | | |||||
| 1999-03-30 | 14:30 | participants | External Memory: Discussion on redundancy in parallel disk servers | 46 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-03-26 | 11:00 | R. Fleischer; K. Mehlhorn | Linear time 2-approximation for weighted matching; Stoer-Wagner Mincut | MPI 007 | SIG Meeting: Approx+Online | | |||||
|
|
| | |||||||||
| 1999-03-25 | 13:30 | NN | AG1 staff meeting | 46 007 | Miscellaneous | | |||||
|
|
| | |||||||||
| 1999-03-24 | 11:15 | Jinzhao Wu | Symmetries in Logic Programs | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 1999-03-19 | 13:30 | Torben Hagerup | Searching in sorted word lists | MPI 024 | AG1 Mittagsseminar | | |||||
| 1999-03-19 | 15:15 | Bernhard Schoelkopf | Support Vector Learning | 46.1 024 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-03-17 | 11:15 | Manfred Jaeger | Updating Probabilities by Conditioning | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-03-17 | 12:30 | Sergei Vorobyov | An Open Problem in Computer Science... | 46.1 007 | AG3 Pizza Lunch | | |||||
| 1999-03-17 | 13:30 | Jop Sibeyn | Fast External Connected Components | MPII 024 | AG1 Mittagsseminar (own work) | | |||||
| 1999-03-17 | 16:00 | Georg Schneider | Virtual Team Assistant | 45 - FB14 HS 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1999-03-16 | 14:15 | Hélène Kirchner | Programming with rewrite rules and strategies in ELAN | 46.1 019 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-03-12 | 15:00 | Harry Bretthauer | Entwurf und Implementierung effizienter Objektsysteme fuer funktionale und imperative Programmiersprachen am Beispiel von Lisp | 45 - FB14 HS 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1999-03-10 | 11:15 | Christoph Weidenbach | SPASS 1.0.0 | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-03-10 | 12:30 | Jean-Francois Raskin | Pizza Problems (Second round) | 46 Max-Planck Institut 007 | Meeting | | |||||
| 1999-03-10 | 15:15 | Helmut Veith | Datalog LITE: Temporal versus deductive reasoning in verification | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-03-09 | 16:15 | Rana Barua | A Hierarchy of $\omega$-regular Languages and a Hierarchy of Muller Automata | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-03-08 | 16:00 | Holger Leister | Precise Interrupts in Processors with Out-of-Order Execution | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-03-04 | 13:30 | Christoph Burnikel | SIG-CG: "A simple checker for the Voronoi diagram of line segments" | 46.1 007 | SIG Meeting | | |||||
| 1999-03-04 | 16:00 | Hannes Rieser | Repraesentations-Metonymien in aufgabenorientierten Dialogen | 17.3 - Computerlinguistik Seminarraum | Talk - Computerlinguistik | | |||||
|
|
| | |||||||||
| 1999-03-03 | 13:30 | Kurt Mehlhorn | Curve Reconstruction and the Traveling Salesman Problem | 45 024 | Talk | | |||||
|
|
| | |||||||||
| 1999-03-01 | 13:30 | - | group meeting | 46.1 024 | AG1 Group Meeting | | |||||
| 1999-03-01 | 16:00 | Dierk Johannes | Shortest Path Problems in Polygons and Clique Covers | 45 015 | Seminar des Graduiertenkollegs | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-02-26 | 11:00 | Zeev Nutov | Mader's Critical Cycle Theorem for k-Connected Graphs and its Consequences | MPI 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-02-24 | 11:00 | Jens Eckstein | Echtzeitfaehige Kollisionserkennung fuer Virtual Reality Anwendungen | 45 - FB14 Raum o16 | Promotionskolloquium | | |||||
| 1999-02-24 | 11:15 | Javier Esparza | Verification of Broadcast Protocols | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-02-24 | 11:15 | Javier Esparza: | Verification of Broadcast Protocols | 46.1 - MPII Raum 024 | AG2 Working Group Seminar | | |||||
| 1999-02-24 | 13:30 | Eljas Soisalon-Soininen | Recovery methods for search structures | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 1999-02-23 | 16:00 | Susanna Kuschert | Dynamic Meaning and Accomodation | 45 - FB14 HS 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1999-02-22 | 16:00 | Daniel Kästner | A Retargetable Framework for DSP-Analyzes and Optimizations | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-02-19 | 11:00 | Steve Seiden | Is 2.5 a lower bound for the page replication problem? | MPI 007 | SIG Meeting: Approx+Online | | |||||
| 1999-02-19 | 13:30 | Andreas Crauser et al. | External Graph Algorithms, see http://www.mpi-sb.mpg.de/units/ag1/extcomp.html | MPI 007 | SIG Meeting | | |||||
| 1999-02-19 | 16:00 | Dennis Shasha | An Attribute Management System | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-02-18 | 13:30 | Edgar Ramos | SIG-CG: Divide-and-conquer computation of segment intersections | usual | SIG Meeting | | |||||
| 1999-02-18 | 16:00 | Dr. Susanne Albers | Integriertes Prefetching und Caching in Magnetplattensystemen | 45 - FB14 HS 003 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 1999-02-17 | 13:30 | Sean Matthews | Logical Frameworks und nicht-klassische Logiken | 46.1 - MPII Raum 22 | Habilitationsvortrag und Kolloquium | | |||||
| 1999-02-17 | 15:00 | Dr. M. Kohlhase | No Title | 45 - FB14 HS 001 | Habilitationsvortrag und Kolloquium | | |||||
| 1999-02-17 | 17:00 | Petra Mutzel | Zeichnen von Diagrammen - Theorie und Praxis | 45 HS 001 | Antrittsvorlesung | | |||||
|
|
| | |||||||||
| 1999-02-16 | 16:00 | Achim Kraiss | Hierarchische Speicherverwaltung fuer Informationssysteme mit Tertiaerspeicher | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1999-02-12 | 11:00 | Klaus Jansen | A linear time approximation scheme for job shop scheduling | MPI 007 | SIG Meeting | | |||||
| 1999-02-12 | 14:00 | Prof. Wolfram Decker | Invariantentheorie | Bau 27.2 Hörsaal II | Lecture | | |||||
| 1999-02-12 | 16:00 | Dr. Philippe Clauss | Mathematical Tools for Analyzing and Optimizing Memory Behavior | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-02-11 | 13:30 | N.N. | Algorithm Libraries - TBA | 46 024 | SIG Meeting | | |||||
| 1999-02-11 | 15:00 | Jop Sibeyn | Sortieren: wann geht es schneller? | Informatik 001 | Antrittsvorlesung | | |||||
| 1999-02-11 | 16:00 | Dr. Heiko Schulz | Ein a-posteriori Fehlerschätzer für direkte Randelementmethoden | 36 - Informatik HS U 12 | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1999-02-10 | 11:15 | Wolfgang Heydrich | Theory of Mutuality | 46.1 024 | Logik-Seminar | | |||||
| 1999-02-10 | 13:30 | Seok-Hee Hong | Symmetric Drawings of Series Parallel Digraphs | 46 024 | AG1 Mittagsseminar | | |||||
| 1999-02-10 | 14:00 | Prof. Klaus P. Jantke | Meme Media - Prinzipien und Implementierungen | Geb. 43.1 Turing/1.01 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-02-09 | 16:00 | Dr. Arno Formella | Tornado Codes | 45 - FB14 001 | Antrittsvorlesung | | |||||
| 1999-02-09 | 16:15 | Julian Richardson | Proof Planning in Higher-Order Logic with LambdaClam | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1999-02-08 | 13:30 | Peter Eades | Planar Straight-line Drawings of Layered Digraphs | 46 024 | AG1 Mittagsseminar | | |||||
| 1999-02-08 | 14:00 | Prof. Strittmatter u.a. | Computerunterstuetztes Lernen in Schule, Hochschule und Weiterbildung | Geb. 10 EG Sitzungssaal der Philos. Fak. | Presentation | | |||||
|
|
| | |||||||||
| 1999-02-05 | 14:15 | Various | Aspects of External Computing. See: http://www.mpi-sb.mpg.de/units/ag1/extcomp.html | MPI 007 | SIG Meeting | | |||||
| 1999-02-05 | 16:00 | C. Mohan | Lotus Domino/Notes: First Semi-Structured DBMS of the World | 45 - FB14 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-02-04 | 13:30 | Thomas Buchheit | SIG CG: Surface reconstruction with Voronoi-diagrams | 46 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-02-03 | 11:15 | Andreas Heckler | Algebrenverpackung und ihre Anwendung als State-as-algebra-Ansatz | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1999-02-03 | 13:00 | Matthias Buck | Simulation interaktiv bewegter Objekte mit Hinderniskontakten | Geb. 45 Seminarraum 015 | Promotionskolloquium | | |||||
| 1999-02-03 | 13:30 | Matthias Rarey | Feature Trees: A new molecular similarity measure based on tree matching | 46 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1999-02-02 | 14:00 | Moderator Prof. R. Wilhelm | Schwerpunkte in Forschung und Lehre | Geb. 45 Hörsaal 1 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1999-02-01 | 16:15 | Rudolf Fleischer | Online-Algorithmen | MPI 024 | Antrittsvorlesung | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1999-01-29 | 11:00 | John Potter | TOWARDS MODULAR OBJECTS | 43.1 - DFKI Turing (1.01) | DFKI-Kolloquium | | |||||
| 1999-01-29 | 11:00 | Thomas Ziegler | The Blossom Shrinking Algorithm for Matching (OPTIMIZATION group meeting) | MPI 007 | Meeting | | |||||
| 1999-01-29 | 17:00 | Renate Tobies | Mathematiker und Mathematik in Nazi-Deutschland | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1999-01-25 | 16:00 | Piotr Krysta | Approximation Algorithms via Iterative Rounding | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-01-22 | 11:00 | Gerhard Trippen | The localization problem in graphs -- Diplomarbeit | MPI 022 | SIG Meeting: Approx+Online | | |||||
| 1999-01-22 | 13:30 | Mark Ziegelmann | SIG Computational Geometry: External Memory Algorithms | 46 007 | SIG Meeting | | |||||
| 1999-01-22 | 13:30 | ua. Mark Ziegelman | SIG external computing. See http://www.mpi-sb.mpg.de/units/ag1/extcomp.html | 46 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-01-20 | 11:15 | Margus Veanes | On the guarded fragment | 46.1 024 | MPI-Seminar | | |||||
|
|
| | |||||||||
| 1999-01-18 | 16:00 | Peter-Michael Seidel | Variable position rounding | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-01-13 | 15:15 | Horst Hischer | "Fundamentale Ideen" und "Historische Verankerung" | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1999-01-11 | 13:00 | - | group meeting | 46.1 024 | AG1 Group Meeting | | |||||
| 1999-01-11 | 16:00 | Stefan Funke | Filtering Techniques for Geometric Algorithms | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1999-01-08 | 11:00 | . | Approximation algorithms and optimization group meeting | 46 007 | Meeting | | |||||
| 1999-01-08 | 13:30 | Crauser and Sanders | Aspects of External Computing | 46 007 | Meeting | | |||||
|
|
| | |||||||||
| 1999-01-07 | 11:00 | NN | Software Libraries: Directions of LEDA, CGAL, AGD, ... | 46 007 | SIG Meeting | | |||||
| 1999-01-07 | 13:30 | Edgar Ramos | Computational Geometry | MPII 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1999-01-06 | 09:15 | Regina Bruder | Strategien zur Entwicklung von Problemlösekonzepten im Mathematikunterricht | Geb. 27.1 HS IV | Mathematisches Kolloquium | | |||||
| 1999-01-06 | 11:15 | Bernd Zimmermanm | Problemorientierung als eine wichtige Leitidee für den Mathematikunterricht | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
| 1999-01-06 | 13:30 | Joachmi Ziegler | Karatsuba Squaring | 024 | AG1 Mittagsseminar | | |||||
| 1999-01-06 | 15:15 | Rudolf vom Hofe | Entdeckendes Lernen im computergestützten Analysisunterricht | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1999-01-05 | 13:30 | Rudolf Fleicher and NN | Algorithm Engineering: Experimental Methodology; (Coding Tricks) | 46 007 | SIG Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1998-12-23 | 11:30 | Thomas Kasper | A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming | 46.1 - MPII R 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1998-12-22 | 11:00 | T. Chadzelek | Analytische Maschinen | 45 - FB14 Seminarraum 015 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1998-12-21 | 13:30 | Jop Sibeyn | External Connected Components | 46 024 | AG1 Mittagsseminar (own work) | | |||||
| 1998-12-21 | 15:00 | E. Stopp | Nat"urlichsprachliche Dialoge mit mobilen Robotern auf der Basis einer ressoucenadaptiven Referenzsemantik r"aumlicher Umgebungen | 45 - FB14 HS 001 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 1998-12-18 | 11:00 | Zeev Nutov | Special Interest Group on Approximation and Online Algorithms | 46.1 - MPII 007 | SIG Meeting: Approx+Online | | |||||
| 1998-12-18 | 14:00 | Birgit Pfitzmann | Die Geschichte der heutigen Kryptographie | 27.2 (Hörsaalgebäude Mathematik) Hörsaal II | Lecture | | |||||
|
|
| | |||||||||
| 1998-12-17 | 13:30 | geometry people | SIG Computational Geometry - first meeting | 46.1 007 | SIG Meeting | | |||||
|
|
| | |||||||||
| 1998-12-16 | 13:30 | Peter Sanders | Fast Priority Queues for Cached Memory | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 1998-12-15 | 16:15 | Markus Wenzel | Isar -- Intelligible semi-automated reasoning | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1998-12-14 | 13:30 | Christine Rüb | Experiences with random number generators for the normal distribution | 46 024 | AG1 Mittagsseminar | | |||||
| 1998-12-14 | 16:00 | Friedrich Eisenbrand | On the Complexity of the Elementary closure of Polyhedra | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1998-12-11 | 11:00 | AG1+?? | Optimization Group Meeting | 46 007 | Meeting | | |||||
| 1998-12-11 | 13:30 | none | ASPECTS OF EXTERNAL COMPUTING | 46 007 | Meeting | | |||||
| 1998-12-11 | 16:00 | Prof. Günter Schmidt | Ablaufplanung mit diskontinuierlichen Maschinenverfügbarkeiten | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1998-12-10 | 13:00 | all participants | Algorithm Libraries and Engineering: Perspectives for Libraries | 46 024 | SIG Meeting | | |||||
| 1998-12-10 | 13:00 | D. Dengler | Deduktive Generierung von adaptiven Pl"anen mit Kontrollstrukturen | 45 - FB14 HS 003 | Promotionskolloquium | | |||||
| 1998-12-10 | 15:00 | Ludek Kucera | Fully adaptive circuit switching | 46 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1998-12-09 | 11:15 | Miroslava Tzakova | Tableau Systems for Hybrid Logics | 46.1 024 | AG2 Working Group Seminar | | |||||
| 1998-12-09 | 13:30 | Jordan Gergov | Algorithms for Compile-Time Memory Optimization | 46.1 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1998-12-08 | 14:00 | Ulrich Furbach | Deduktion und Modellgenerierung | 43.1 - DFKI Raum Turing (1.01) | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 1998-12-07 | 13:30 | - | group meeting | 46.1 024 | AG1 Group Meeting | | |||||
| 1998-12-07 | 16:00 | Mark Ziegelmann | The Constrained Shortest Path Problem | 45 015 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 1998-12-04 | 16:00 | Prof. Dr. Eberhard Zehendner | Methoden der Alias- und Datenabhängigkeitsanalyse | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1998-12-02 | 13:30 | Manfred Padberg | Almost Perfect Matrices and Graphs | 46.1 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1998-12-01 | 15:10 | Karel Oliva | Measuring Computationally Relevant Word Order Complexity | 17.2 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
| 1998-12-01 | 13:30 | none | ASPECTS OF EXTERNAL COMPUTING | 46 007 | AG1 Group Meeting | | |||||
| 1998-12-01 | 14:00 | Ed M. Reingold | Majority and Chip Problems | 46.1 024 | AG1 Mittagsseminar | | |||||
| | ||||||||||
|
|
| | |||||||||
| 1998-11-30 | 13:30 | Stefan Burkhardt | q-gram Based DNA Database Searching Using a Suffix Array | 46 024 | AG1 Mittagsseminar | | |||||
|
|
| | |||||||||
| 1998-11-27 | 16:00 | Dr. Bernd Schmidt | Strategische Grundlagen bei der Entwicklung eines in der Praxis einsetzbaren Workflow Systems | 45 - FB14 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1998-11-25 | 13:45 | Hans-Peter Lenhof | Effiziente Algorithmen f"ur das Protein-Docking-Verfahren | 45 001 | Habilitationsvortrag und Kolloquium | | |||||
|
|
| | |||||||||
| 1998-11-24 | 16:15 | Peter Revesz | Constraint Data Bases | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 1998-11-23 | 13:30 | Jens Stoye | Simple and efficient methods to find tandem repeats | 46 024 | AG1 Mittagsseminar | | |||||
| 1998-11-23 | 16:00 | Christoph Hundack | Online Algorithms to Determine Large Portfolios | 45 015 | Seminar des Graduiertenkollegs | | |||||
| 1998-11-23 | 16:15 | Prof. Dr. Hidenori Katsurada | Dirichlet Series for Siegel Modular Forms | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 1998-11-20 | 11:15 | Tiziana Margaria | Verifikation parametrischer Systeme mit dem MOSEL-Toolset | 46.1 024 | Logik-Seminar | | |||||
| 1998-11-20 | 16:00 | Dr. Bernd Schmidt | Strategische Grundlagen bei der Entwicklung eines in der Praxis einsetzbaren Workflow Systems | 45 - FB14 t.b.a. | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 1998-11-19 | 10:43 | Wolfgang Menzel & Ingo Schroeder | Eliminatives Dependenzparsing mit bewerteten Constraints | 17.2 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||