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-09-06 | 11:00 | Emo Welzl | Talk Show: \Omega(1) reasons to become a computer scientist | 46 024 | Miscellaneous | | |||||
| 2001-09-06 | 13:30 | Witold Charatonik | The decidability of model checking mobile ambients | 46.1 007 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-09-05 | 09:00 | Emo Welzl | Randomized and combinatorial methods for LP related problems - II | 45 HS003 | Lecture | | |||||
| 2001-09-05 | 14:30 | Peter Bro Miltersen | Universal methods for derandomization - II | 45 HS003 | Lecture | | |||||
|
|
| | |||||||||
| 2001-09-04 | 09:00 | Emo Welzl | Randomized and combinatorial methods for LP related problems - I | 45 HS003 | Lecture | | |||||
| 2001-09-04 | 14:30 | Peter Bro Miltersen | Universal methods for derandomization - I | 45 HS003 | Lecture | | |||||
|
|
| | |||||||||
| 2001-09-03 | 15:00 | Gunnar Klau | Ein kombinatorischer Ansatz für orthogonale Platzierungsprobleme | 46 021 | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-08-23 | 13:30 | Peter Sanders | Duality Between Prefetching and Queued Writing with Parallel Disks | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-08-17 | 16:00 | Piotr Krysta | Approximation algorithms for combinatorial optimization problems in graph coloring and network design | 46.1 - MPII HS 24 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2001-08-16 | 13:30 | Susan Hert | An Adaptable and Extensible Geometry Kernel | 46.1 024 | Talk | | |||||
|
|
| | |||||||||
| 2001-08-10 | 13:30 | Oscar Ruiz | Boolean 2D Shape Similarity for Surface Reconstruction | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-08-09 | 13:30 | Micah Adler | Compression Using Efficient Multicasting | MPI 024 | Talk | | |||||
|
|
| | |||||||||
| 2001-08-07 | 16:15 | Chad Brown | Set Variable Instantiations in Higher Order Logic | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2001-08-02 | 16:15 | Stéphane Demri | On the Complexity of Grammar Logics | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2001-08-01 | 13:00 | Vlastimil Havran | Average-Case Ray Shooting Algorithms for Global Illumination | MPI 022 | AG4 Group Meeting | | |||||
| 2001-08-01 | 14:15 | AG 1 | AG1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-07-30 | 11:00 | Stefan Funke | Kurvenrekonstruktion und die effiziente exakte Implementierung geometrischer Algorithmen | 46 024 | Promotionskolloquium | | |||||
| 2001-07-30 | 14:00 | Mark Ziegelmann | Kürzeste Wege mit Nebenbedingungen und verwandte Probleme | 46 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2001-07-19 | 13:00 | Vincent Scheib | dAb - Interactive Haptic Painting with 3D Virtual Brushes; a practice Siggraph presentation by Vincent Scheib | MPII, 46.1 022 | AG4 Talk | | |||||
| 2001-07-19 | 13:30 | Keshav Kunal | Scheduling Disks with Seek Times and Limited Buffer | 46 024 | Talk | | |||||
|
|
| | |||||||||
| 2001-07-13 | 11:15 | Internship Candidates | Indian Internship Presentations | 46.1 - MPII 024 | AG2 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-07-12 | 13:30 | Students from IIT Delhi | Internship Projects Presentation - Session 2 | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-07-11 | 13:00 | Michael Goesele | Entropy-Based Dark Frame Subtraction | MPI 022 | AG4 Group Meeting | | |||||
| 2001-07-11 | 13:30 | Students from IIT Delhi | Internship Projects Presentation - Session 1 | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-07-10 | 17:00 | Dr. Leung-Fu Cheung | Minimalflächen in der Sphäre mit endlicher Totalkrümmung | 27 - Hörsaal Gebäude HS IV | Oberseminar Analysis-Geometrie | | |||||
|
|
| | |||||||||
| 2001-07-09 | 11:15 | Sergei Vorobyov | Interior-Point Approach to Solving Games | 46.1 024 (probably) | AG2 Working Group Seminar | | |||||
| 2001-07-09 | 14:15 | Britta Wrede | Mini-Symposium zum Thema "Phonetik in der Automatischen Spracherkennung" | Gebäude 17.2 - Institut für Phonetik 5.09 | Phonetisches Kolloquium | | |||||
| 2001-07-09 | 16:15 | Jochen Preiss | Wie schnell kann man Prozessoren takten | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2001-07-05 | 10:15 | Patrick Maier | A Set-Theoretic Framework for Assume-Guarantee Reasoning | 46.1 021 | AG2 Working Group Seminar | | |||||
| 2001-07-05 | 16:15 | Michael Strube | Processing Levels in Discourse Understanding and Generation | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-07-04 | 13:00 | Volker Blanz | A Morphable Face Model for Image Analysis, Face Recognition, and Animation. | 46 022 | AG4 Talk | | |||||
|
|
| | |||||||||
| 2001-07-02 | 14:15 | Rakesh Verma | Results and Techniques for Ground Rewrite Systems | 46.1 021 | AG2 Working Group Seminar | | |||||
| 2001-07-02 | 16:00 | Christoph Berg | Verifikation der VAMP-Floating Point Unit | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
| 2001-07-02 | 16:15 | Christoph Berg | Verifikation eines IEEE-Gleitkomma-Addierers | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-06-29 | 16:00 | Prof. Patrick Cousot | Festveranstaltung | 45 - FR 6.2 HS 002 | Verleihung Ehrendoktorwuerde | | |||||
|
|
| | |||||||||
| 2001-06-28 | 11:15 | Roberto Giacobazzi | Abstract domains in 3D: completeness and refinements in static program analysis | 46.1 - MPII HS 024 | AG2 Working Group Seminar | | |||||
| 2001-06-28 | 16:15 | Mark Johnson | to be announced | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-06-27 | 13:30 | Siavash Vahdati | Partitioning Techniques for the Steiner Problem | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-06-26 | 13:30 | Stefan Burkhardt | Better Filtering with gapped q-grams | MPI 024 | Probevortrag | | |||||
| 2001-06-26 | 16:15 | John Slaney | Backbones in optimization and approximation | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2001-06-25 | 16:15 | Tobias Gaertner | Analytische Maschinen | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2001-06-22 | 10:30 | Peter Muehlhaeusler | Pidgins und Kreolsprachen im Pazifikraum | 11 537 | COLI Workshop | | |||||
| 2001-06-22 | 13:30 | Dr. Berthold Voecking | Multiple-Choice-Allokationsalgorithmen | 45 - FR 6.2 HS 003 | Habilitationsvortrag und Kolloquium | | |||||
| 2001-06-22 | 17:00 | Prof. Ulrich Stuhler | Vektorbuendel und Schleifengruppen | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-06-21 | 16:15 | Eugene Charniak | Statistical Parsing: A Theme and Two Variations | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-06-19 | 16:00 | Hendrik Tews und Michael Hohmuth | Design und Verifikation eines Betriebssystem-Micro-Kernels vor. | 36 - Informatik HS 001 | Talk | | |||||
| 2001-06-19 | 16:30 | Prof. P. Bender | Welches Potenzial hat die Dynamische-Geometrie-Software (DGS) fuer die allgemein bildende Schule? | 27.1 HS IV | Kollouium zur Didaktik der Mathematik | | |||||
|
|
| | |||||||||
| 2001-06-18 | 16:15 | Peeter Laud | Ueber sicheren Informationsfluss | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
| 2001-06-18 | 16:15 | Simone Teufel | Summarising Scientific Articles: Exploiting Differences and Similarities between related Work | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
| 2001-06-18 | 16:30 | G. Hotz/T. von Oertzen | Computerunterstuetztes Beweisen und Konstruieren | 27.1 HS IV | Kolloquium zur Didaktik der Mathematik | | |||||
|
|
| | |||||||||
| 2001-06-15 | 13:30 | Sandeep Sen | Towards a theory of cache efficient algorithms | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-06-13 | 13:00 | Won-Ki Jeong | "Displaced subdivision surface reconstruction from unorganized points" | 46.I 022 | AG4 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-06-12 | 16:15 | Christoph Meyer Kirsch | The Embedded Machine | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2001-06-11 | 14:15 | Nina Degele | Wissen im Internet | 27.2 HS III | Kolloquium zur Didaktik der Mathematik | | |||||
| 2001-06-11 | 16:00 | Dr. Ortwin Scheja | Nationale und Internationale Elektronische Geldboersensysteme - Ein Bericht aus der Praxis | Gebaeude 27, Hoersaal iV | Mathematisches Kolloquium | | |||||
| 2001-06-11 | 16:15 | Rene Beier | Smoothed Analysis of Algorithms | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
| 2001-06-11 | 16:15 | Shravan Vasishth | to be announced | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-06-08 | 15:00 | R.K. Shyamasundar | Multiclock Esterel: Towards a unifed language for synchrony and asynchrony | 45 - FR 6.2 HS 001 | Informatik-Kolloquium | | |||||
| 2001-06-08 | 17:00 | Rainer Hempel | Spektrale Eigenschaften periodischer Medien mit starkem Kontrast | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-06-07 | 13:30 | Christian Lennerz | Solving systems of multivariate polynomial equations and its application to distance computation between quadratic complexes. | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
| 2001-06-07 | 16:15 | Walter Daelemans | Memory-Based Language Processing: Perspectives from Language Technology and Computational Psycholinguistics | 17.3 - Computerlinguistik CoLi | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-06-06 | 14:15 | Oliver Staadt | The blue-c project: Building an advanced collaborative virtual environment. | MPII, Geb. 46.1 022 | Talk | | |||||
| 2001-06-06 | 16:15 | Pauline Welby | Accommodation to Speaking Style in the Interpretation of Intonational Cues | 10 Dekanatssitzungssaal | Joint Computational Linguistics/Phonetics Colloquium | | |||||
|
|
| | |||||||||
| 2001-06-01 | 13:30 | Alan Frieze | Arc-Disjoint Paths in Expander Digraphs | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
| 2001-06-01 | 15:00 | K.R. Shyamasundar | Multiclock Esterel: Towards a Unified Language for Synchrony and Asynchrony | 45 - FR 6.2 HS 001 | Informatik-Kolloquium | | |||||
| 2001-06-01 | 16:00 | Volker Priebe | Average-case complexity of shortest-paths problems | 46.1 024 | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-05-31 | 09:00 | Marcus A. Magnor | Graphics - Optics - Physics: Modeling the Visible World | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-31 | 09:40 | Matthias Rarey | Algorithms for Computer-Aided Drug Design | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-31 | 10:50 | Bruno Blanchet | Scaling up Abstract Interpretation: Efficient and Precise Static Analyses for Large Programs | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-05-30 | 11:00 | Detlef Sieling | Binary Decision Diagrams - A Representation of Boolean Functions | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-30 | 11:40 | Fritz Eisenbrand | Integer Programming: Combinatorics & Number Theory | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-30 | 14:00 | Felix Gärtner | Directions in fault-tolerant and secure distributed algorithms | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-30 | 14:40 | Holger Hermanns | Quantitative Verification of Reactive and Embedded Systems | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-30 | 15:50 | Christoph Helmberg | Nonlinear Methods for Combinatorial Optimization | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-30 | 16:30 | Bernd Gärtner | Randomization in Linear Programming and Beyond | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
| 2001-05-30 | 17:40 | Christian Böhm | The Similarity Join: A Powerful Database Primitive for High Performance Data Mining | 45 - FR 6.2 I | MPI-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-05-28 | 16:00 | Michael Backes | Verifikation kryptographischer Protokolle | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2001-05-25 | 13:30 | Rohit Khandekar | Local Search Heuristics for the k-median problem | MPI 46.1 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-05-23 | 13:00 | Christian Theobalt | Video Motion Capture | MPI 022 | AG4 Group Meeting | | |||||
| 2001-05-23 | 16:00 | Nicola Geismann | Computing a cell in an arrangement of quadrics. | MPI 021 | AG1 Mittagsseminar (own work) | | |||||
| 2001-05-23 | 16:15 | Anatol Slissenko | Computing in the Nature: Biological Computing | 46.1 024 | Lecture | | |||||
|
|
| | |||||||||
| 2001-05-22 | 16:00 | Supratik Mukhopadhyay | A uniform constraint-based frameworkfor the Verification of Infinite State Systems | 46.1 - MPII 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2001-05-21 | 16:00 | Arnd Christian Koenig | Datenreduktionstechniken in Datenbanksystemen | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2001-05-17 | 16:15 | Supratik Mukhopadhyay | Accurate Widenings and Boundedness Properties of Timed Systems | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-05-16 | 13:00 | Tosiyasu L. Kunii | Research Directions of Computer Graphics and Their Relations with the Cyberworlds: Social Impacts | MPI 022 | AG4 Group Meeting | | |||||
| 2001-05-16 | 13:30 | Berthold Voecking | Almost Optimal Permutation Routing on Hypercubes | MPI HS 024 | AG1 Mittagsseminar (own work) | | |||||
| 2001-05-16 | 16:15 | Viorica Sofronie-Stokkermans | Representation theorems and the semantics of nonclassical logics | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-05-15 | 16:15 | R. K. Shyamasundar | A System for Object Code Validation | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2001-05-14 | 13:30 | AG1 | AG1 Group Meeting, Mai | MPI 024 | AG1 Group Meeting | | |||||
| 2001-05-14 | 16:00 | German Shegalov | XML-enabled Workflow Management for E-Services across Heterogeneous Platforms | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2001-05-11 | 16:15 | Jonathan Ginzburg | Imperfect Communication: Processing and Grammar | 17.3 - Computerlinguistik CoLi | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-05-10 | 11:30 | - | AG2 Group Meeting | 46.1 024 | AG2 Group Meeting | | |||||
| 2001-05-10 | 13:30 | Kurt Mehlhhorn | PRECISE: Efficient Multiprecision Evaluation of Algebraic Roots (Effective Computational Geometry Series) | MPI 024 | AG1 Mittagsseminar (others' work) | | |||||
|
|
| | |||||||||
| 2001-05-09 | 16:15 | Anatol Slissenko | A Logic Framework for Verification of Real-Time Reactive Systems | 46.1 024 | Logik-Seminar | | |||||
|
|
| | |||||||||
| 2001-05-08 | 13:30 | Sajith Gopalan | Parallel Merge Sort | 46 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-05-07 | 13:30 | Bela Csaba | Regularity Lemma 3. | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 2001-05-07 | 16:00 | Guido Schaefer | A Heuristic for Dijkstra's Algorithm with many targets | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2001-05-04 | 13:30 | Raimund Seidel | Union-Find Revisited | MPI 024 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-05-03 | 13:30 | Bela Csaba | Regularity Lemma 2. | MPI 024 | AG1 Advanced Mini-Course | | |||||
| 2001-05-03 | 14:30 | all | A platform for experimental algorithmics. | 46 309 | Meeting | | |||||
| 2001-05-03 | 16:15 | Sam Featherstone | Violabiltiy in the Grammar: Experimental Evidence from German binding | 17.3 - Computerlinguistik CoLi | Computerlinguistisches Kolloquium | | |||||
| 2001-05-03 | 16:15 | Werner Backes | Lattice Basis Reduction in Practice | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-05-02 | 13:30 | Bela Csaba | Regularity Lemma 1. | MPI 024 | AG1 Advanced Mini-Course | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-04-30 | 16:00 | Tim Priesnitz | Charakterisierung nicht-struktureller Untertyp-Subsumption in der Automaten-Theorie | 36 - Informatik 306 | Seminar des Graduiertenkollegs | | |||||
|
|
| | |||||||||
| 2001-04-27 | 15:15 | Ernst Althaus | Kurvenrekonstruction | 46.1 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2001-04-26 | 16:15 | Guenther Neumann | Information extraction from real-world German text | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-04-19 | 16:00 | Yuki Kamide | Prediction in Human Sentence Processing: Evidence from Eye-Movements | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | | |||||
|
|
| | |||||||||
| 2001-04-11 | 13:00 | Mark Pauly | "Spectral Processing of Point-Sampled Geometry" | 46.1 - MPII 022 | Talk | | |||||
|
|
| | |||||||||
| 2001-04-10 | 11:00 | Kevin Watkins | A simple module system for LF | DFKI Neubau 2.07 | DFKI-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-04-09 | 13:30 | AG1 | AG 1 Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-04-06 | 15:15 | Dr. David Lomet | The Phoenix Project: Making Applications Persistent | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
|
|
| | |||||||||
| 2001-04-02 | 16:00 | Dr. Georg J. Schneider | A Situated Computing Framework for Mobile and Ubiquitous Multimedia Acces using Small Screen and composite Devices | +1.29 Altbau Leibniz | DFKI-Kolloquium | | |||||
| 2001-04-02 | 16:15 | Balachander Krishnamurthy | What's new in Web research? | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-03-30 | 16:15 | Supratik Mukhopadhyay | The Complexity of Model Checking Mobile Ambients | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-03-22 | 16:15 | Hans de Nivelle | Extracting proof objects from the clausal normal form transformation | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-03-16 | 13:30 | Tobias Polzin | Steiner Trees in Networks | 46 021 | AG1 Mittagsseminar (own work) | | |||||
|
|
| | |||||||||
| 2001-03-15 | 13:30 | Susan Hert | Algebraic methods for exact predicates on circle arcs | 46 024 | Lecture | | |||||
| 2001-03-15 | 16:15 | Manfred Jaeger | A short lecture (20 to 25 minutes) on my research, suitable for a general Computer Science audience | 46.1 024 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-03-14 | 13:30 | Lutz Kettner | 4D Data Visualization Using Iso-Surfaces and a Control Plane | 46 024 | Talk | | |||||
|
|
| | |||||||||
| 2001-03-12 | 13:30 | AG 1 | Group Meeting | MPI 024 | AG1 Group Meeting | | |||||
|
|
| | |||||||||
| 2001-03-09 | 13:30 | Kurt Mehlhorn | Exact Solutions to Sparse Linear Systems | MPI 024 | AG1 Mittagsseminar (others' work) | | |||||
| 2001-03-09 | 16:15 | Supratik Mukhopadhyay | Constraint Database Models Characterizing Timed Bisimilarity. | 46 24 | AG2 Working Group Seminar | | |||||
|
|
| | |||||||||
| 2001-03-05 | 16:00 | Jordan Gergov | Algorithms for Interval Coloring, Geometric Packing and Memory Optimization | MPII 024 | Promotionskolloquium | | |||||
|
|
| | |||||||||
| 2001-03-02 | 15:15 | Prof. Dr. Victor Bulgakov | Simulation of problems of continuum mechanics in Khabarovsk State University of Technology | 45 - FR 6.1 HS 001 | Informatik-Kolloquium | | |||||
| 2001-03-02 | 16:00 | Andreas Crauser | External memory algorithms and data structures in theory and practice | 46 024 | Promotionskolloquium | | |||||
| | ||||||||||
|
|
| | |||||||||
| 2001-02-28 | 13:00 | Hendrik Lensch | Image-Based Reconstruction of Shift-Variant Materials | MPI 022 | AG4 Group Meeting | | |||||
| 2001-02-28 | 14:15 | Norbert Mayer | Self-organization in the brain: Structure formation in non-Euclidean spaces of stimuli | 46.I 007 | Lecture | | |||||
|
|
| | |||||||||
| 2001-02-23 | 13:15 | Fritz Eisenbrand | Fast 2-variable integer programming | MPI 024 | AG2 Seminar | | |||||
|
|
| | |||||||||
| 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 | | |||||