Previous Page | Next Page | Expand All | Collapse All
Date | Time | Speaker | Event, Title, Topic | Building, Room | Event Type | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
2003-03-27 | 13:00 | Michael Cohen | Multiperspective and Multipresence in Computer Interfaces: Stereographic Mixed Reality | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2003-03-26 | 13:30 | Bruno Blanchet | Verification of Cryptographic Protocols: Tagging Enforces Termination | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2003-03-25 | 13:00 | Bennet Wilburn | Stanford Multicamera Array | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2003-03-18 | 13:00 | Hitoshi Yamauchi | Image Restoration using Multiresolution Texture Synthesis and Image Inpainting | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2003-03-12 | 13:15 | Viktor Kuncak | Checking Procedure Effects | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
2003-03-12 | 13:30 | Till Nierhoff | Full components and approximation algorithms for the Steiner problem | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2003-03-11 | 13:00 | Volker Blanz | Example-based Modeling of Faces | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2003-03-11 | 16:15 | Viktor Kuncak | Decidability of an Extension of Term Algebras | 46.1 - MPII 024 | Logik-Seminar | ||||||
|
| ||||||||||
2003-03-07 | 11:00 | AG1 | Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2003-03-07 | 13:30 | Friedrich Eisenbrand | Fast integer programming in fixed dimension | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2003-03-04 | 13:00 | Various | Presentations, Part Three | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
| |||||||||||
|
| ||||||||||
2003-02-26 | 13:30 | Ingmar Weber | Euclidean Steiner Trees | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2003-02-25 | 13:00 | Valerie Pham-Trong | Geodesic paths and periodic geodesics on polyhedral surfaces: computation and applications | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2003-02-25 | 13:30 | Peter Sanders | Space Efficient Hash Tables with Worst Case Constant Access Time | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2003-02-25 | 14:00 | Peter Sanders | the last and next 12 months | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2003-02-21 | 09:00 | Dr. Werner E. Klotzbücher | Förderung von Studenten und Projekten aus EU-Mitteln | 46.1 - MPII 023 | Talk | ||||||
2003-02-21 | 13:30 | Stefan Funke | Selected Topics Course: The Probabilistic Method / Derandomization / Lovasz Local Lemma (2/2) | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2003-02-18 | 13:30 | Ed Seiden | CACTUS: Grid Computing | 46.1 - MPII 024 | Lecture | ||||||
2003-02-18 | 14:00 | Stefan Funke | Selected Topics Course: The Probabilistic Method / Derandomization / Lovasz Local Lemma (1/2) | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2003-02-17 | 11:00 | F.-O. Schreyer | Loesbarkeit algebraischer Gleichungssysteme | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2003-02-17 | 16:00 | Timo von Oertzen | Symbolic Constructions with Cedric | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Grduiertenkollegs | ||||||
|
| ||||||||||
2003-02-14 | 11:00 | Petra Funk | Intermodal Transport Chains: A Multiagent Systems Approach | 43.1 - DFKI Touring | Promotionskolloquium | ||||||
2003-02-14 | 14:00 | Domagoj Matijevic | Well Separated Pair Decomposition and Applications | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2003-02-13 | 16:15 | Stefan Leue | Directed Explicit-State Model Checking | 46.1 - MPII HS 024 | Logik-Seminar | ||||||
|
| ||||||||||
2003-02-12 | 13:30 | Dimitris Fotakis | Single-Sink Buy-at-Bulk Network Design | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2003-02-12 | 15:00 | Chih-Jen Lin | Can support vector machine be a major classification method ? Part 2: Issues on SVM software design and the use of LIBSVM | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2003-02-11 | 11:00 | Chih-Jen Lin | Can support vector machine be a major classification method ? Part 1: Recent research on SVM model selection | 46.1 - MPII 024 | Talk | ||||||
2003-02-11 | 13:00 | Various | Presentations, Part Two | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2003-02-11 | 14:15 | Ernst Althaus | Large Scale Optimization Problems III/III: Improving Linear Programming Approaches | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2003-02-10 | 11:00 | J. Weickert | Interdiszipinaere Ideen in der Bildverarbeitung | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2003-02-10 | 13:30 | Susanne Schmitt | The diamond operator | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2003-02-10 | 16:00 | Frank-Olaf Schreyer | Groebner-Basen, Algebraische Gleichungssysteme und deren Geometrie | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2003-02-07 | 14:15 | Hisao Tamaki | Large Scale Optimization Problems II/III: Local Search with Large Neighborhoods | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2003-02-06 | 14:00 | Various | Presentations, Part One | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2003-02-06 | 16:00 | Andreas Kämper | Docking of Ligands into 'unusual' Targets | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2003-02-04 | 09:00 | Henrik Theiling | Kontrollfluss-Graphen fuer Echtzeit-Systemanalyse | 45 - FR 6.2 HS 002 | Promotionskolloquium | ||||||
2003-02-04 | 13:00 | Jochen Wingbermuehle | Acquisition of Lifelike Human Models from Multiple Views | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2003-02-04 | 14:15 | Tobias Polzin | Large Scale Optimization Problems I/III: Approaches for Large Scale Optimization Problems | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2003-02-03 | 11:00 | G. Weikum | Das Web der Zukunft | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2003-02-03 | 13:30 | AG 1 | Group Meeting AG I | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2003-02-03 | 16:00 | Gerhard Weikum | Expert Web Search and Information Portal Generation | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
| |||||||||||
|
| ||||||||||
2003-01-31 | 13:30 | Piotr Krysta | Pricing Equilibria in Exchange Markets | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2003-01-31 | 14:00 | Jens Krinke | Slicing and Clone Detection for Sequential and Concurrent Programs: Two Applications of Dependence Graphs | 36 - Informatik 328 | Talk | ||||||
|
| ||||||||||
2003-01-30 | 16:00 | Andreas Kämper | Docking of Ligands into Artificial Receptors | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2003-01-29 | 13:30 | Venkatesh Srinivasan | Approximate nearest neighbor search in the Hamming cube | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2003-01-27 | 11:00 | G. Smolka | Nebenlaeufige Programmierung | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2003-01-27 | 16:00 | Guido Schaefer | Smoothed Analysis for Non-Clairvoyant Scheduling to Minimize Total Flow Time | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2003-01-24 | 13:30 | Timo von Oertzen | Effiziente Berechnung durch Quadratwurzeln repräsentierbarer Nullstellen | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2003-01-24 | 14:30 | Piotr Krysta | Algorithmic Aspects of Game Theory: II | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2003-01-23 | 13:30 | Naveen Sivadasan | Broadcasting in radio networks of unknown topology | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2003-01-22 | 13:30 | Hisao Tamaki | Branch-width of planar graphs | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2003-01-22 | 15:00 | Ma Mingchao | Distance Education: problems, ideas and experiences | 46.1 - MPII 024 | Talk in the Group Seminar | ||||||
|
| ||||||||||
2003-01-21 | 13:30 | Piotr Krysta | Algorithmic Aspects of Game Theory: I | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2003-01-20 | 11:00 | P. Sanders | Cacheeffiziente Algorithmen | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2003-01-20 | 13:30 | Nicola Wolpert | Algebraic tools in Computational Geometry (III/III) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2003-01-20 | 16:00 | Dirk Leinenbach | Formalisierung einer C-Semantik in PVS and Softwareverifikation mit Hilfe von PVS | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2003-01-17 | 09:15 | Alexander Smola | Lernen mit Kernen | 36 - Informatik 407 | Informatik-Kolloquium | ||||||
2003-01-17 | 11:15 | Barbara Hammer | Neuronale Netze fuer strukturierte Daten | 36 - Informatik 407 | Informatik-Kolloquium | ||||||
2003-01-17 | 16:15 | Tobias Scheffer | Aktive Lernalgorithmen fuer die Wissensentdeckung in Textsammlungen | 36 - Informatik 407 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2003-01-16 | 11:15 | Thomas Hofmann | From Bits to Information - Maschinelle Lernverfahren in Information Retrieval und Web Mining | 45 - FR 6.2 HS 002 | Informatik-Kolloquium | ||||||
2003-01-16 | 13:30 | Markus Behle | Primal separation for degree-bounded spanning trees | 46.1 - MPII 023 | Talk | ||||||
2003-01-16 | 16:15 | Alexander Smola | Bayesian Kernel Methods | 45 - FR 6.2 003 | Tutorial | ||||||
|
| ||||||||||
2003-01-15 | 13:15 | - | AG2 Group Meeting | 46.1 - MPII 007 | AG2 Group Meeting | ||||||
2003-01-15 | 13:30 | Venkatesh Srinivasan | Pointer Jumping Requires Concurrent Read | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2003-01-15 | 16:00 | Sven Herzog | BINGO! and Daffodil: Personalized Web Recommendations for Digital Libraries, Fopra // Recognition, classification and integration of "Deep Web" information sources into focused crawling of the BINGO! search engine, Master Thesis | 46.1 - MPII 024 | AG5 Seminar | ||||||
|
| ||||||||||
2003-01-14 | 14:15 | Nicola Wolpert | Algebraic tools in Computational Geometry (II/III) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2003-01-13 | 11:00 | Stefan Diehl | Software-Visualisierung | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2003-01-13 | 16:00 | Andreas Zeller | Warum stuerzt mein Programm ab? Automatisches Bestimmen von Fehlerursachen | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2003-01-10 | 10:00 | Marshall Mayberry | Incremental Nonmonotonic Parsing throughSemantic Self-Organization | 17.3 - Computerlinguistik 2.11 | Talk | ||||||
2003-01-10 | 14:15 | Nicola Wolpert | Algebraic tools in Computational Geometry (I/III) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2003-01-09 | 13:30 | Friedrich Eisenbrand | Clarksons algorithm for IP in fixed dimension | 46.1 - MPII 024 | Talk | ||||||
2003-01-09 | 16:15 | Norbert Zeh | LARGE DIRECTED GRAPHS - THE NEW FRONTIER? | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2003-01-07 | 13:30 | AG 1 | Group Meeting, AG 1 | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2003-01-07 | 14:15 | Peter Sanders | Polynomial time algorithms for network information flow | 46.1 - MPII 024 | Lecture | ||||||
| |||||||||||
|
| ||||||||||
2002-12-19 | 16:00 | Stefan Burkhardt | Filter Algorithms for Approximate String Matching | 46.1 - MPII 024 | Promotionskolloquium | ||||||
2002-12-19 | 16:15 | Manfred Jaeger | Probabilistic Decision Graphs | 45 - FR 6.2 HS 003 | Antrittsvorlesung | ||||||
2002-12-19 | 16:15 | Zenzi Griffin | How speakers' eyes reflect spoken language generation | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-12-17 | 11:15 | Friedrich Eisenbrand | Rounding. An introduction to the geometry of numbers II/II | 46.1 - MPII 007 | Lecture | ||||||
2002-12-17 | 13:00 | Ihrke | Digital Elevation Mapping using stereoscopic vision | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-12-17 | 14:15 | Debapriyo Majumdar | Shortest Paths on Terrains (others' work) | 46.1 - MPII 024 | Lecture | ||||||
2002-12-17 | 16:15 | Carsten Schuermann | Towards Proof Automation in Logical Frameworks | 46.1 - MPII 019 | Logik-Seminar | ||||||
|
| ||||||||||
2002-12-16 | 11:00 | R. Wilhelm | Annaeherung an das Nicht-Berechenbare - statische Programmanalyse | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2002-12-16 | 13:30 | AG I | AG I Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-12-16 | 14:00 | Piotr Krysta | Mechanism Design: An overview | 46.1 - MPII 024 | Lecture | ||||||
2002-12-16 | 16:00 | Rene Beier | Random Knapsack in Expected Polynomial Time | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-12-13 | 11:00 | Holger Bast | Retrieving Information from Complex Systems | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-12-12 | 16:15 | Simon Garrod | Interactive alignment as a model of dialogue processing | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-12-11 | 11:00 | Peter Sanders and Venkatesh Srinivasan | Graph Drawing, Property Testing, and Streaming Algorithms | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2002-12-10 | 13:30 | Jan Marien | The Architecture of the IceCube Storage Server | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-12-10 | 14:15 | Ulrich Meyer | Introduction to External Memory Computing 3/3 | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-12-09 | 11:00 | A.-W. Scheer | Process Engineering | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2002-12-09 | 14:15 | Ralf Blossey | Network Models for Complex Systems (A physicists view) | 46.1 - MPII 024 | Lecture | ||||||
2002-12-09 | 16:00 | Tobias Gaertner | Kolmogorov-Komplexitaet and Zufaellige Folgen auf der Basis Analytischer Maschinen | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-12-06 | 14:15 | Ulrich Meyer | Introduction to External Memory Computing 2/3 | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-12-05 | 11:15 | Friedrich Eisenbrand | Rounding. An introduction to the algorithmic geometry of numbers I/II | 46.1 - MPII 007 | Lecture | ||||||
2002-12-05 | 16:15 | Joseph van Genabith | LFG -f-structures for the Penn treebank | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-12-04 | 13:30 | Naveen Garg | A combinatorial algorithm for minimising submodular functions | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2002-12-03 | 10:00 | Bruno Blanchet | Introduction to abstract interpretation (fourth lecture) | 46.1 - MPII 401 | Lecture | ||||||
2002-12-03 | 13:00 | Asla Medeiros e Sá | Structured Light Color Boundary Coding for 3D Photography | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-12-03 | 14:15 | Ulrich Meyer | Introduction to External Memory Algorithms 1/3 | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-12-02 | 11:00 | H.-P. Lenhof | Bioinformatik: Vom Genom zum Medikament | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
| |||||||||||
|
| ||||||||||
2002-11-29 | 11:30 | Kurt Mehlhorn | Group Meeting: Complex Systems | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-11-29 | 14:15 | Holger Bast | Intelligent Search 4/4 | 46.1 - MPII 024 | Lecture | ||||||
2002-11-29 | 14:15 | Prof. Winfried Bruns | Die Berechnung von Pi | 27 - Hörsaal Gebäude HS II | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2002-11-27 | 13:00 | --- | Group Introduction: Graphics Group from University of Limburg | 46.1 - MPII 019 | AG4 Talk | ||||||
2002-11-27 | 14:00 | Frauke Friedrichs | "Learning with Neural Networks: Importance of the VC-Dimension and Methods of Bounding the VC-Dimension" | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-11-26 | 10:30 | Kevin Karplus | A protocol for evaluating local structure alphabets | 46.1 - MPII 024 | Talk - ZBI Kolloquium | ||||||
2002-11-26 | 14:15 | Holger Bast | Intelligent Search 3/4 | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-11-25 | 11:00 | Wolfgang Paul | Das Saarbruecker PRAM-Projekt | 45 - FR 6.2 HS 002 | Ringvorlesung Perspektiven der Informatik | ||||||
2002-11-25 | 13:30 | Rohit Khandekar | Fast Approximation Algorithms for Fractional Steiner Forest and Related Problems | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-11-25 | 16:00 | Jochen Lang | Deformable Models: Scanning of Physical Object Behaviour | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-11-22 | 10:30 | Kevin Karplus | A protocol for evaluating local stucture alphabets | 46.1 - MPII 024 | Talk | ||||||
2002-11-22 | 14:15 | Holger Bast | Intelligent Search 2/4 | 46.1 - MPII 024 | Lecture | ||||||
2002-11-22 | 14:15 | Prof. Falko Lorenz | Nachrichten von Buechern und Menschen: Chiungtse C. Tsen | 27 - Hörsaal Gebäude HS II | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2002-11-21 | 13:30 | Stefano Leonardi | Parallel Scheduling Problems in CDMA Wireless Networks | 46.1 - MPII 024 | Talk | ||||||
2002-11-21 | 16:15 | Katrin Erk + Andrea Kowalski | Constructing a corpus resource for lexical semantics | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-11-20 | 13:15 | Stefan Ratschan | A Control Engineering Problem Involving Quantified Constraints | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2002-11-19 | 14:15 | Holger Bast | Intelligent Search 1/4 | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-11-18 | 13:30 | Jia Jinyuan | Solving intersection problems on surfaces of revolution based on a quadric subdivision scheme | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-11-18 | 16:00 | Jochen Preiss | A Superpipelined Processor with a Stage Depth of 5 Gate Delays | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-11-15 | 14:00 | Sorin Istrail | Inferring Gene Transcription Networks: The Davidson Model | 46.1 - MPII 024 | Talk | ||||||
2002-11-15 | 14:15 | Prof. Rainer Schulze-Pillot-Ziemen | Das Waring'sche Problem | 27 - Hörsaal Gebäude HS II | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2002-11-14 | 09:15 | Dr. Martin Stahl | Docking und De Novo Design: How Good are our Predictions | 46.1 - MPII 024 | Talk | ||||||
2002-11-14 | 16:15 | Christoph Scheepers | TBA | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-11-13 | 13:15 | Stefan Ratschan | A Control Engineering Problem Involving Quantified Constraints | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
2002-11-13 | 13:30 | Venkatesh Srinivasan | Approximating the radii of point sets | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-11-11 | 16:00 | Harald Ganzinger | Decision Procedures in Automated Theorem Proving | 45 - FR 6.2 HS III | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-11-08 | 13:30 | Juha Kärkkäinen | Sorting strings and suffixes, Part 2 | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-11-08 | 14:15 | Prof. Ernst Albrecht | Neun Buecher arithmetischer Technik: Ein chinesisches Rechenbuch aus der fruehen Han-Zeit (202 v.Chr. - 9 n.Chr.) | 27 - Hörsaal Gebäude HS II | Ringvorlesung zur Geschichte der Mathematik | ||||||
|
| ||||||||||
2002-11-06 | 13:30 | Theocharis Malamatos | Expected-Case Planar Point Location | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-11-06 | 16:00 | Dr. Joachim José | Moleküle nach Maß - Evolutives Design von Wirkstoffen und Biotatlysatoren durch bakterielles Surface Display | 23-FR8.5 Kleiner Hörsaal, Anorganische Chemi | Talk | ||||||
|
| ||||||||||
2002-11-05 | 10:00 | Bruno Blanchet | Introduction to abstract interpretation | 46.1 - MPII 023 | Lecture | ||||||
2002-11-05 | 13:00 | Vladimir Garanzha | Application of quasi-isometric mappings to the problems of geometric modeling and computer graphics | 46.1 - MPII 023 | AG4 Group Meeting | ||||||
2002-11-05 | 13:30 | Juha Kärkkäinen | Sorting strings and suffixes, Part 1 | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-11-05 | 16:15 | Wilfried Sieg | Beyond Church Canons and Turing Calculators: Analyzing Computability without Theses | 46.1 - MPII 024 | Logik-Seminar | ||||||
|
| ||||||||||
2002-11-04 | 13:30 | Ag 1 | AG 1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-11-04 | 14:00 | Mathias Klauk | Voronoidiagramme von Kreisen | 46.1 - MPII 024 | Presentation | ||||||
2002-11-04 | 16:15 | Andreas Podelski | Abstraction for Software Model Checking | 45 - FR 6.2 HS 003 | Ringvorlesung Graduiertenkolleg | ||||||
| |||||||||||
|
| ||||||||||
2002-10-31 | 15:00 | Nicola Wolpert | An Exact and Efficient Approach for Computing a Cell in an Arrangement of Quadrics | 46.1 - MPII 024 | Promotionskolloquium | ||||||
2002-10-31 | 16:30 | Dr. Carsten Kneuer | Organic anion transporting Polypetides - Biopharmazeutisch relevante Transportproteine | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-10-30 | 13:15 | Manfred Jaeger | Relational Bayesian Networks: implementation (sneak preview) and new research topics | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
2002-10-30 | 16:30 | Dr. Carsten Kneuer | Organic anion transporting Polypeptides - Biopharmazeutisch relevante Transportproteine | 46.1 - MPII 024 | Talk | ||||||
2002-10-30 | 17:00 | Prof. Dr. Günter R. Fuhr | Offene Fragen der Zellbiologie mit Bezug zur Biotechnologie | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-10-28 | 11:15 | Konstantin Korovin | The Knuth-Bendix orders in automated deduction and term rewriting | 46.1 - MPII 024 | AG2 Working Group Seminar | ||||||
2002-10-28 | 14:00 | Denis Zorin | Curvature continuous flexible surfaces | 46.1 - MPII 019 | Talk | ||||||
2002-10-28 | 16:15 | Joachim Weickert | What can we learn from Two-Pixel Images? | 45 - FR 6.2 HS 003 | Ringvorlesung Graduiertenkolleg | ||||||
|
| ||||||||||
2002-10-25 | 13:30 | Kurt Mehlhorn | My Personal Research Agenda | 46.1 - MPII 024 | Lecture | ||||||
2002-10-25 | 14:00 | Christian Jacobi | Formal Verification of a Fully IEEE Compliant Floating Point Unit | 45 - FR 6.2 HS III | Promotionskolloquium | ||||||
|
| ||||||||||
2002-10-24 | 16:15 | Jamie Gabbay | Fraenkel-Mostowski techniques for syntax with binding | 46.1 - MPII 024 | Logik-Seminar | ||||||
2002-10-24 | 17:00 | Prof. Matthias Neufang | Von drei nicht mehr offenen banachalgebraischen Vermutungen | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-10-23 | 13:15 | Viorica Sofronie-Stokkermans | Terminological cycles in a description logic with existential restrictions (by Franz Baader) | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2002-10-22 | 11:00 | Dr. Bernd Ctortecka | From the Lab to the Stock Exchange | 46.1 - MPII 024 | Presentation | ||||||
2002-10-22 | 11:00 | Jan Erik Gewehr | Minimizing the Number of False Positives in Binding Site Prediction | 46.1 - MPII 021 | Talk | ||||||
2002-10-22 | 14:15 | Kavitha | Primes are in P | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-10-21 | 15:00 | Ulrich Meyer | Entwurf und Analyse Sequentieller und Paralleler Algorithmen für das Kürzeste-Wege Problem | 46.1 - MPII 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2002-10-16 | 13:30 | Jochen | Paper Discussion: R. Bhotika, D.J. Fleet, K.N. Kutulakos: A probablistic theory of occupancy and emptiness. | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-10-14 | 13:30 | AG 1 | Group Meeting AG1 | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2002-10-11 | 13:30 | Sunil Chandran | A parametrized variation of the asymmetric traveling salesman problem | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-10-08 | 13:00 | Yutaka Ohtake | A Multi-scale Approach to 3D Scattered Data Interpolation with Compactly Supported Basis Functions | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-10-08 | 13:30 | Robert Weismantel | Column operations for mixed integer programs | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-10-02 | 13:30 | Nordin | Wednesday's Paper Discussion Group: R. Ramamoorthi, P. Hanrahan: Analysis of Planar Light Fields From Homogeneous Convex Curved Surfaces Under Distant Illumination | 46.1 - MPII 233 | Meeting | ||||||
2002-10-02 | 19:00 | Kerstin Meyer-Ross | German Regular's Table / Deutsch-Stammtisch | pub "Im Viertel" Foersterstr / Blumenstr - | German Regular's table | ||||||
| |||||||||||
|
| ||||||||||
2002-09-26 | 16:15 | Ralf Blossey | Scale-free Protein networks | 46.1 - MPII 021 | Journal Club Talk | ||||||
|
| ||||||||||
2002-09-25 | 13:30 | Bastian G. | Wednesday's Paper Discussion Group: Matusik et al., "Image-based 3D Photography using Opacity Hulls", Siggraph 2002 | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-09-24 | 14:15 | Eric Minch | Biochemical Pathways: a systems approach? | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-09-20 | 17:00 | Paul/Voecking/Haber | Yearly assembly of the computer science alumni association "Freunde der Saarbruecker Informatik" Paul/Voecking/Haber | 45 - FR 6.2 HS1 | Talk and later celebration | ||||||
|
| ||||||||||
2002-09-18 | 13:30 | Christian Theobalt | Wednesday's Reading Group: S. Vedula, S. Baker, T. Kanade: Spatio-Temporal View-Interpolation | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-09-17 | 13:00 | Olga Sorkine | Bounded-distortion Piecewise Mesh Parameterization | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2002-09-12 | 16:15 | Hagit Shatkay | Using Information Retrieval for large Scale Gene Analysis | 46.1 - MPII 021 | Journal Club Talk | ||||||
|
| ||||||||||
2002-09-10 | 13:00 | Joachim Weickert | Diffusion Processes in Computer Vision | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2002-09-05 | 14:00 | Dr. Detlef Hofmann | Derivation of a melocular force field with data mining methods | 36.1 306 | Talk | ||||||
|
| ||||||||||
2002-09-04 | 13:30 | AG 1 | AG 1 Group Meeeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-09-04 | 19:00 | Miscellaneous | German Regular's table | Pub: 'Im Viertel' - | German Regular's table | ||||||
| |||||||||||
|
| ||||||||||
2002-08-29 | 14:00 | Christian Lavault | Quasi-Optimal Leader Election Algorithms in Radio Networks | 46.1 - MPII 024 | Talk | ||||||
2002-08-29 | 14:45 | Vlady Ravelomanana | Forbidden Subgraphs in Connected Graphs | 46.1 - MPII 024 | Talk | ||||||
2002-08-29 | 16:15 | Annette Höglund | Human and Chimpanzee, similar but different? | 46.1 - MPII 021 | Talk | ||||||
|
| ||||||||||
2002-08-28 | 13:30 | Alexander G. Belyaev | Paper Discussion Group: "Fast Bilateral Filtering for the Display of High Dynamic Range Images" of Frédo Durand, Julie Dorsey (MIT), Siggraph02 | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-08-27 | 14:00 | Cyril Banderier | Combinatorial structures via analytic combinatorics (Part 5) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-08-27 | 14:45 | Cyril Banderier | Combinatorial structures via analytic combinatorics (Part 6) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-08-27 | 16:15 | Chad Brown | Set Variables in Higher Order Logic | 46.1 - MPII 024 | Logik-Seminar | ||||||
|
| ||||||||||
2002-08-26 | 09:00 | Andreas Brieden | Non-linear optimization in theory and practice | 46.1 - MPII 024 | Miscellaneous | ||||||
|
| ||||||||||
2002-08-22 | 13:30 | Cyril Banderier | Combinatorial structures via analytic combinatorics (Part 2) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-08-22 | 14:00 | Cyril Banderier | Combinatorial structures via analytic combinatorics (Part 3) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-08-22 | 14:45 | Cyril Banderier | Combinatorial structures via analytic combinatorics (Part 4) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-08-21 | 13:30 | R. Ravi and Amitabh Sinha | Title: Buy-at-bulk Network Design and Variants | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-08-21 | 14:00 | Kay C. Wiese | Bioinformatics and Biocomputing - Intersections in the Structure Prediction Domain | 36.1 - RZ 306 | Talk | ||||||
|
| ||||||||||
2002-08-20 | 09:00 | Markus Bläser | Approximation Algorithms for Asymmetric Traveling Salesperson Problems | 46.1 - MPII 024 | Miscellaneous | ||||||
2002-08-20 | 13:00 | Holger Theisel | Constructing vector fields of arbitrary topology | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-08-20 | 13:30 | Cyril Banderier | Combinatorial structures via analytic combinatorics (Part 1) | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-08-20 | 14:15 | Renate Schmidt | A Principle for Incorporating Modal Axioms into the First-Order Translation of Modal Formulae | 46.1 - MPII 024 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2002-08-19 | 09:00 | Benajmin Dörr | Discrepancy Theory and Digital Halftoning | 46.1 - MPII 024 | Miscellaneous | ||||||
2002-08-19 | 09:45 | Matthias Müller-Hannemann | Combinatorial Algorithms for Hexahedral Mesh Generation | 46.1 - MPII 024 | Miscellaneous | ||||||
2002-08-19 | 10:45 | Martin Skutella | TBA | 46.1 - MPII 024 | Miscellaneous | ||||||
2002-08-19 | 13:30 | Jochen Koenemann | Approximating minimum-cost degree-bounded spanning trees without solving linear programs | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-08-14 | 13:30 | Chaitanya Swamy | Connected Facility Location | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-08-13 | 13:00 | Lukas Ahrenberg | Designing a system to let film makers capture and render 3D movie scenes | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2002-08-12 | 13:30 | Guy Even | Conflict-Free Colorings of Simple Geometric Regions with Applications to Frequency Assignment in Cellular Networks | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-08-08 | 20:00 | Julian Nida-Ruemelin u.a. | Chip, Chip, hurra! | Saarland Museum Bismarckstr. 4 Vortragsraum | Podiumsdiskussion | ||||||
|
| ||||||||||
2002-08-07 | 13:30 | Ag 1 | AG 1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2002-08-06 | 14:15 | Stefan Ratschan | Proving and Solving Formulae in the First-Order Predicate Language over the Real Numbers | 46.1 - MPII 024 | Logik-Seminar | ||||||
|
| ||||||||||
2002-08-05 | 13:30 | Frederic Pennerath | TBA | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2002-07-26 | 13:30 | Susan Hert | A Tool Set for Computational Experiments | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-07-25 | 13:30 | Stefan Funke | Computing the stable set in a t-perfect graph | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-07-23 | 10:00 | Randy Goebel | (What are) Practical Architectures for Anytime Algorithms | 43.1 - DFKI Turing (+1.01) | DFKI-Kolloquium | ||||||
|
| ||||||||||
2002-07-17 | 13:30 | Miguel Granados | Boolean Operations on 3D Surfaces using Nef Polyhedra | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-07-16 | 13:00 | Peter Hoffman | Select problems in 3d solid modeling with applications | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2002-07-15 | 13:30 | Joachim Giesen | The Flow Complex: A Data Structure for Geometric Modeling | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-07-15 | 14:15 | Lilia Georgieva | A New Clausal Class Decidable by Hyperresolution | 46.1 - MPII 024(?) | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2002-07-12 | 13:30 | Hirotachi ABO | Rank Two and Rank Three Vector Bundles on the Projective Fourspace | 27 - Hörsaal Gebäude HS IV | Promotionskolloquium | ||||||
2002-07-12 | 15:00 | Roman Mueller | "Eine geometrieunabhängige Strategie zur Filterentwicklung in der 3D-Tomographie und ihre Implementierung mittels objektorientierter Methoden" | 45 - FR 6.2 HS 002 | Promotionskolloquium | ||||||
2002-07-12 | 16:15 | Sebastian Winkel | ILP-based scheduling for Itanium Processor Family | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
2002-07-12 | 17:00 | Professor Jose Bonet | Linear Chaos on Infinite Dimensional Spaces | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-07-10 | 13:30 | Irit Katriel | A Practical Minimum Spanning Tree Algorithm Using the Cycle Property | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-07-10 | 14:00 | Dr. Werner Nutt | Datenintegration fuer das Monitoring von verteilten Systemen | 45 - FR 6.2 HS 001 | Antrittsvorlesung | ||||||
|
| ||||||||||
2002-07-08 | 16:00 | Sven Thiel | Efficient Enumeration of the Solved Forms of Dominance Graphs | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-07-05 | 14:00 | Peter-Michael Seidel | Logical Effort | 45 - FR 6.2 HS 002 | Antrittsvorlesung | ||||||
2002-07-05 | 16:00 | Rene Beier | Energy Optimal Routing in Radio Networks | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
2002-07-05 | 17:00 | Prof. Gerhard Frey | Brauergruppen von lokalen und globalen Koerpern und Datensicherheit | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-07-04 | 16:00 | Bob Levine | Adjunctvalents, cumulative scopings and impossible descriptions | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-07-03 | 13:00 | Michael Hoehl | Efficient Multiple Genome Alignment | 46.1 - MPII 024 | AG-3 Talk | ||||||
|
| ||||||||||
2002-07-02 | 13:30 | Christian Scheideler | Dynamic Networks | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-07-01 | 16:00 | Christoph Berg | Formal Verification of Operating Systems and Microprocessors | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
| |||||||||||
|
| ||||||||||
2002-06-28 | 16:00 | Tim Priesnitz | Non-Structural Subtype-Entailment | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
2002-06-28 | 17:00 | Rainer Kress | Eindeutigkeit bei inversen Streuproblemen | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-06-27 | 16:15 | Ann Copestake | Towards compatible semantics for deep and shallow processing | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-06-26 | 14:00 | Dr. Christian Merkwirth | Machine Learning - An overview | 46.1 - MPII 21 | AG3-Talk | ||||||
|
| ||||||||||
2002-06-25 | 11:00 | Naveen Sivadasan | Randomized Persuit-Evasion in Graphs | 46.1 - MPII 024 | Talk | ||||||
2002-06-25 | 12:00 | Marc Alexa | Linear Combination of Transformations | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-06-25 | 14:15 | Katja Markert | Corpus-based metonymy resolution | 10 Dekanatssitzungssaal | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-06-24 | 16:00 | Berthold Voecking | Selfish Routing: Knapsack-Like Equilibria | 45 - FR 6.2 HS 003 | Lecture | ||||||
|
| ||||||||||
2002-06-21 | 11:00 | Dinesh Manocha | Fast and Accurate Computations with Algebraic Primitives and Predicates | 46.1 - MPII 024 | Talk | ||||||
2002-06-21 | 17:00 | Ernst Albrecht | Lokale Spektraleigenschaften linearer Differentialoperatoren in LP (R)N | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-06-20 | 13:30 | Seth Pettie | A New Approach to the All-Pairs Shortest Path Problem | 46.1 - MPII 021 | AG1 Mittagsseminar (own work) | ||||||
2002-06-20 | 16:15 | Thomas Pechmann | The activation of syntactic features of words during language production | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-06-19 | 13:30 | Nordin Zakaria | Siggraph Paper Discussion Group: Bridson, Fedkiw, Anderson: Robust Treatment of Collisions, Contact, and Friction for Cloth Animation | 46.1 - MPII 233 | Meeting | ||||||
2002-06-19 | 15:00 | Sariel Har-Peled | Optimally cutting a surface into a disk | 46.1 - MPII 023 | SIG Meeting | ||||||
|
| ||||||||||
2002-06-18 | 16:30 | Herbert Edelsbrunner | Bio-Geometric Computation: Weighted Area Derivative of a Space Filling Diagram | 46.1 - MPII 024 | MPI-Kolloquium | ||||||
|
| ||||||||||
2002-06-17 | 11:00 | Michael Backes | Cryptographically Sound Analysis of Security Protocols | 45 - FR 6.2 Seminar Room 528 | Promotionskolloquium | ||||||
2002-06-17 | 13:30 | Galinescu | to be announced | 46.1 - MPII 024 | Lecture | ||||||
2002-06-17 | 16:00 | Michael Ohlmann | Variability of Network Properties | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-06-14 | 13:00 | Marc Pollefeys | Visual 3D Modeling from Images | 46.1 - MPII 019 | Talk | ||||||
2002-06-14 | 13:30 | Spyros Kontogiannis & Piotr Krysta | Conference Report: ACM STOC 2002 | 46.1 - MPII 024 | Talk | ||||||
2002-06-14 | 15:30 | Siu-Wing Cheng | Hierarchy of Surface Models and Irreducible Triangulation | 46.1 - MPII 024 | SIG Meeting | ||||||
2002-06-14 | 16:00 | Timo von Oertzen | Move it All - Constructions in CEDRIC | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
2002-06-14 | 17:00 | Henri Cohen | Enumeration of number fields | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-06-13 | 16:00 | Vladislav Kubon + Martin Platek | Parameters of parsinf complexity of free-work-order languages | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-06-12 | 13:30 | Christian Theobalt | Siggraph Paper Discussion: Pullen, Bregler: Motion Capture Assisted Animation: Texturing and Synthesis | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-06-11 | 12:30 | Judith Muehl | A software engineering approach to multi-modal interaction | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-06-11 | 14:15 | Hans Boas | The FrameNet project and its applications | 10 Dekanatssitzungssaal | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-06-10 | 13:30 | AG I | AGI Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-06-10 | 16:00 | P. Slussalek | Interactive Lighting Simulation | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-06-07 | 16:00 | Ulrich Meyer | Graph Traversal in External Memory | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahm en des Graduiertenkollegs | ||||||
2002-06-07 | 17:00 | Prof. Noriko Yui (Ms) | The Modularity of Calabi-Yau varieties | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-06-06 | 16:15 | Jon Oberlander | Interactional context in graphical communication | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-06-05 | 13:30 | Hendrik | Siggraph paper discussion: Yung-Yu Chuang, Aseem Agarwala, Brian Curless, David H. Salesin, Richard Szeliski: Video Matting of Complex Scenes | 46.1 - MPII 233 | Meeting | ||||||
2002-06-05 | 13:30 | television | Fussball WM Deutschland--Irrland | 46.1 - MPII 024 | Other | ||||||
2002-06-05 | 15:30 | Holger Lichau | "Spektroskopische und theoretische Untersuchungen zu Struktur und Dynamik von kovalenten Fulminaten" | 46.1 - MPII 021 | AG3-Talk | ||||||
2002-06-05 | 16:00 | Rasmus Pagh | One-Probe Search | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-06-05 | 17:00 | Prof. Zbigniew Semadeni | On the triple nature of mathematics: deep constructions, surface constructions, and formal constructions | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-06-04 | 13:00 | Mark Pauly | Pointshot 3D: An Interactive System for Point-Based Surface Editing | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-06-04 | 13:30 | Juha Kärkkäinen | Selected Topics in algorithms: Filter Algorithms for Approximate String Matching | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-06-03 | 16:00 | Jan Kautz | Hardware-accelerated Rendering | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
| |||||||||||
|
| ||||||||||
2002-05-29 | 13:15 | Patrick Maier | More on the Assume-Guarantee Framework | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
2002-05-29 | 13:30 | Michael Gösele | Siggraph Paper Discussion Group: Erik Reinhard, Michael Stark, Peter Shirley, Jim Ferwerda: Photographics Tone Reproduction for Digital Images | 46.1 - MPII 233 | Meeting | ||||||
2002-05-29 | 13:30 | Nikolay Sorokin | ESOLID - A System for Exact Boundary Evaluation | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2002-05-28 | 13:00 | Robert Strzodka | Graphics Cards Usage for Image Processing Applications | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-05-28 | 13:30 | Juha Kärkkäinen | Selected Topics in algorithms: Filter Algorithms for Approximate String Matching | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-05-27 | 13:30 | Sanjiv Kapoor | Approximate Weighted Shortest Paths | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-05-27 | 16:00 | Li Ming | Real time 3 D reconstruction of real scenes | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-05-24 | 16:00 | Wolfgang Paul | Formal Verification of Processors and of Low Level Software | 45 - FR 6.2 HS 003 | Lecture | ||||||
2002-05-24 | 17:00 | Prof. Ricardo Baeza | Verallgemeinerte Hermitesche Konstanten | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-05-23 | 11:00 | Rene Weiskircher | Neue Anwendungen von SPQR-Bäumen im Graphenzeichnen | 45 - FR 6.2 HS002 | Promotionskolloquium | ||||||
2002-05-23 | 13:30 | Juha Kärkkäinen | Selected Topics in algorithms: Filter Algorithms for Approximate String Matching | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-05-22 | 13:30 | Li Ming | Siggraph Paper Discussion Group: Wei-Chao Chen, Radek Grzeszczuk, Jean-Yves Bouguet: Light Field Mapping: Efficient Representation and Hardware Rendering of Surface Light Fields | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-05-21 | 13:30 | Stefan Burkhardt | Selected Topics in algorithms: Filter Algorithms for Approximate String Matching | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-05-17 | 14:15 | Uli Heid | On the acquisition of collocatiobs from German text corpora | 31 101 | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-05-16 | 10:00 | Kirsten Roomp | "Developing Customized Bioinformatic Resources" | 46.1 - MPII 021 | AG3 Talk | ||||||
2002-05-16 | 13:30 | Csanad Imreh | Special Topics on algorithms: Minicourse on online algorithms IV | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-05-16 | 16:15 | Mark Swerts | Prosody and error handling in spoken interactions | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-05-15 | 11:00 | Moderation: Cyrille | Siggraph Paper Discussion: Tole, Pellacini, Walter, Greenberg: Interactive Global Illumination in Dynamic Scenes | 46.1 - MPII 233 | Meeting | ||||||
2002-05-15 | 13:00 | Dr William L. Martens | Structural Representation of Perceptual Similarity and Preference | 46.1 - MPII 019 | AG4 Talk | ||||||
2002-05-15 | 13:30 | Martin Dietzfelbinger | The probability of a rendezvous is minimal in complete graphs | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-05-15 | 14:15 | Lenore Zuck | Translation Validation of Optimizing Compilers | 46.1 - MPII 021 | Logik-Seminar | ||||||
|
| ||||||||||
2002-05-14 | 13:30 | Csanad Imreh | Special Topics on algorithms: Minicourse on online algorithms III. | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
2002-05-14 | 14:15 | Lenore Zuck | Automatic Verification of Parametrized Systems | 46.1 - MPII 021 | Logik-Seminar | ||||||
|
| ||||||||||
2002-05-13 | 11:15 | Sajjad Hussain | Spatial Reasoning using Point Interval Logic | 46.1 - MPII 024 | AG2 Working Group Seminar | ||||||
2002-05-13 | 13:30 | AG1 | Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-05-13 | 16:00 | Mateu Villaret | Kontext-Unifikation | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-05-10 | 15:15 | Yevgeny Kazakov | Logic of Proofs (Part II) | 46.1 - MPII HS 023 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2002-05-08 | 13:30 | Moderation: Jochen | Siggraph Paper Discussion: Allen, Curless, Popovic; Articulated Body Deformation from Range Scan Data | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-05-07 | 13:30 | Csanad Imreh | Special topics on algorithms: Minicourse on online algorithms II | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-05-06 | 16:00 | Guido Schaefer | Matchings in Bipartite Random Graphs: A Survey | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-05-04 | 10:00 | Edmund M.Clarke | Temporal Logic Model Checking | 43.1 - DFKI Vortragsraum TURING (1.01) | Talk | ||||||
|
| ||||||||||
2002-05-03 | 13:30 | Gianpaolo Oriolo | On a Superclass of Interval Graphs and the Frequency Assignment Problem | 46.1 - MPII 024 | Talk | ||||||
2002-05-03 | 16:15 | Daniel Kaestner | Machine Code Optimization by Integer Linear Programming | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
| |||||||||||
|
| ||||||||||
2002-04-30 | 13:00 | Shin Yoshizawa | On Variational and Free-Form Shape Modeling | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
2002-04-30 | 13:30 | Csanad Imreh | Selected topics in Algorithms: Minicourse on online algorithms | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-04-29 | 16:00 | Babak Mougouie | Case Based Reasoning and Optimization | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-04-25 | 14:00 | Harald Ganzinger | Miscellaneous (Fachbeirat, Teaching, Nelson-Oppen procedure) | 46.1 - MPII 007 | AG2 Group Meeting | ||||||
2002-04-25 | 16:00 | John LAVER | Writing the Backwell Encyclopedic Dictionary of Speech | 17.3 - Computerlinguistik Seminarraum | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-04-24 | 13:30 | Fabrizio Grandoni | Local consistency based filtering | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2002-04-24 | 13:30 | None | Siggraph 2002 Paper Reading Group | 46.1 - MPII 233 | Meeting | ||||||
|
| ||||||||||
2002-04-23 | 13:00 | Vlastimil Havran | On Temporal Coherence used for Hidden Surface Removal based on Ray Casting: Techniques, Results and Limitations | 46.1 - MPII 019 | AG4 Group Meeting | ||||||
|
| ||||||||||
2002-04-22 | 13:30 | Hisao Tamaki | Alternating cycles contribution: a tour-improving strategy for the traveling salesman problem | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-04-22 | 14:00 | Steven Greenberg | Beyond the Phoneme: A Juncture-Accent Model of Spoken Language | 43.8 -2.17 | Kolloquium DFKI Institut fuer Phonetik und EGK | ||||||
2002-04-22 | 16:00 | Anja Feldmann | Locating Internet Performance Problems | 45 - FR 6.2 HS003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-04-18 | 14:00 | Harald Ganzinger | Perspectives in Computer Science (Berlin, April 2002) / Shostak Light | 46.1 - MPII 007 | AG2 Group Meeting | ||||||
|
| ||||||||||
2002-04-16 | 13:00 | Yutaka Ohtake | Mesh Optimization based on Fitting Normals | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
|
| ||||||||||
2002-04-15 | 16:00 | Prof. Dr. H.-P. Seidel | A Framework for the Acquisition, Processing, and Interactive Display of High Quality 3 D Models | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-04-12 | 13:30 | Dariusz Kowalski | Topics in Distributed Algorithms | 46.1 - MPII 024 | Talk | ||||||
2002-04-12 | 18:00 | div. | Oeffentliche Promotions- und Diplomfeier der Fak. 6 | 45 - FR 6.2 HS 002 | Fest | ||||||
|
| ||||||||||
2002-04-11 | 13:30 | Kurt Mehlhorn | Special Topics in Algorithms: Geometric Rounding, Part II | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-04-10 | 13:00 | Mihaly Markot | New interval methods for constrained global optimization | 46.1 - MPII 024 | Talk | ||||||
2002-04-10 | 14:00 | Mahesh Kumar | Computational challenges in structural & functional genomics | 46.1 - MPII 021 | Vortrag | ||||||
|
| ||||||||||
2002-04-09 | 13:30 | Kurt Mehlhorn | Special Topics in Algorithms: Geometric Rounding | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2002-04-08 | 13:30 | AG 1 | AG 1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2002-04-05 | 13:30 | Paolo Ventura | A compact linear programming formulation for testing optimality of perfect matchings | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-04-03 | 13:00 | Li Ming | Combining Stereo and Visual Hull for On-line Reconstruction of Dynamic Events | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
| |||||||||||
|
| ||||||||||
2002-03-28 | 11:15 | Bala Krishnamurthy | Vortrag im Rahmen des Projektgruppentreffens des Lehrstuhls Feldmann aus dem Themengebiet: Flashcrowds/Content Distribution Networks/DNS | 36 - Informatik 307 | Talk | ||||||
|
| ||||||||||
2002-03-27 | 13:00 | Frederic Drago | A Psychovisual Evaluation of Tone Mapping Operators | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
|
| ||||||||||
2002-03-25 | 11:15 | Yevgeny Kazakov | Logic of Proofs | 46.1 - MPII 024 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2002-03-22 | 10:00 | Jörg Rahnenführer | Efficient Screening for differentially expressed genes using microarrays | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-03-21 | 10:00 | Francisco Silva Domingues | Applied Bioinformatics: Protein Structure Prediction and Sequence | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-03-20 | 13:30 | AG1 | AG1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-03-20 | 13:30 | Hannah Bast | Report on STACS 2002 | 46.1 - MPII 024 | AG1 Conference Report | ||||||
|
| ||||||||||
2002-03-18 | 11:15 | Bican Xia | Pseudo-division machine: a model of symbolic computation | 46.1 - MPII 024 | AG2 Working Group Seminar | ||||||
2002-03-18 | 13:30 | Ron Wein | High-Level Filtering for Arrangements of Conic Arcs | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-03-13 | 13:00 | Dirk Reiners | OpenSG | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
2002-03-13 | 13:30 | Thomas Kasper | Optimization in Supply Chain Management | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-03-11 | 11:15 | Michael Backes | Verifikation kryptographischer Protokolle | 46.1 - MPII 024 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2002-03-06 | 13:30 | Thomas Warken | Quadric-Torus Intersection Test and Dynamic Collision Detection for Quadrics | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-03-04 | 13:30 | Srinivasa Rao | Succinct Indexable Dictionaries | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-03-01 | 13:30 | Pankaj K. Agarwal | Pseudo-Line Arrangements: Duality, Algorithms and Applications | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
| |||||||||||
|
| ||||||||||
2002-02-27 | 13:30 | Christian Lennerz | Distance computation between quadratic curves and surfaces | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2002-02-25 | 13:30 | Edgar Ramos | Geometric Separators, and Packing and Piercing for Fat Objects | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2002-02-25 | 15:15 | Johanna Moore | Managing Tutorial Dialogue | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
2002-02-25 | 16:15 | Jochen Preiss | Design of a Pipelined Nonblocking Cache | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-02-22 | 13:00 | Bianca Spille | A Combinatorial Algorithm for the Independent Path-Matching Problem | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-02-22 | 14:00 | Berthold Voecking | The Price of selfish Routing | 46.1 - MPII 024 | Antrittsvorlesung | ||||||
2002-02-22 | 16:15 | Prof. Alfons Kemper | ObjectGlobe: Verteilte Anfrageauswertungsdienste im Internet | 45 - FR 6.2 HS 003 | Informatik-Kolloquium | ||||||
2002-02-22 | 17:00 | Prof. Cedric Villani | Regularity theory for non-cutoff Boltzmann equation | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-02-21 | 14:00 | Witold Charatonik | On name generation and set-based analysis in the Dolev-Yao model | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
2002-02-21 | 16:15 | Jens Allwood | Some challenges for a grammar of spoken language | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-02-20 | 13:00 | Udo Diewald | A Cascadic Geometric Filtering Approach to Subdivision | 46.1 - MPII 024 | AG4 Group Meeting | ||||||
2002-02-20 | 13:30 | Fritz Eisenbrand | An approximation algorithm for scheduling unrelated parallel machines | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2002-02-20 | 16:15 | Rene Beier | Approximating Fractional Multicommodity Flow | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2002-02-19 | 16:15 | Prof. Elmar Cohors-Fresenborg | Mathematik als Werkzeug zur Wissensrepraesentation: das Osnabruecker Curriculum | 27 - Hörsaal Gebäude HS IV | Kolloquium zur Didaktik der Mathematik | ||||||
|
| ||||||||||
2002-02-18 | 13:30 | Piyush Kumar | Cache Oblivious Algorithms | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2002-02-18 | 16:15 | Gerhard Weikum | Database Recovery | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-02-15 | 14:15 | Prof. Wolfram Decker | Historische Wurzeln der Computeralgebra | 27 - Hörsaal Gebäude HS II | Ringvorlesung Geschichte der Mathematik | ||||||
|
| ||||||||||
2002-02-14 | 14:00 | Xia Bican | A Complete Algorithm for Automated Discovering of a Class of Inequality-type Theorems | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
2002-02-14 | 16:15 | Marc Light | Question Answering Technology: Getting to Know the New Kid on the Block | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-02-13 | 13:00 | Cyrille Damez | Space-Time Hierarchical Radiosity | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
2002-02-13 | 13:30 | Susan Hert | A Summary of Some Results Regarding Polygons and Conic Arcs | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2002-02-13 | 16:15 | Peter Sanders | Fast Algorithms for Collective Communication | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-02-12 | 16:15 | Witold Charatonik | Direktionale Typen in der Logischen Programmierung | 46.1 - MPII 024 | Antrittsvorlesung | ||||||
|
| ||||||||||
2002-02-08 | 13:30 | Kurt Mehlhorn | Convincing Graph Recognition Algorithms | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-02-08 | 14:15 | Prof. Christa Binder | Platonische und Archimedische Koerper | 27 - Hörsaal Gebäude HS II | Ringvorlesung Geschichte der Mathematik | ||||||
2002-02-08 | 17:00 | Prof. Frank Duzaar | Seifenblasen - ein mathematisches Thema? | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-02-07 | 10:30 | Jonnakuty Sunitha | In-silico prediction and characterization of proteins | 46.1 - MPII 024 | Presentation | ||||||
2002-02-07 | 13:30 | Priti Talwar | Presenting the task of the projects listet in abstract below, overview of the system and future direction | 46.1 - MPII 022 | Presentation | ||||||
2002-02-07 | 16:00 | Harindar Singh Keer | Topic I: A Fuzzy Set Theory Approach for the Analysis of Biological Literature and Topic I: Extraction of Molecular Biology features from the full text of scientific papers | 46.1 - MPII 024 | Presentation | ||||||
2002-02-07 | 16:15 | Cathrine Fabricius-Hansen | Information 'portioning' in a Cross-linguistic Perspective (German-English-Norwegian) | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-02-06 | 13:30 | Stefan Funke | Protocols for Asymmetric Communication Channels | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2002-02-06 | 16:15 | Edgar A. Ramos | "PTAS for Packing and Piercing Fat Objects" by T. Chan | 46.1 - MPII 024 | SIG Meeting | ||||||
|
| ||||||||||
2002-02-05 | 16:15 | Prof. Heinz Schumann | Computerrepraesentierte Raumgeometrie | 27 - Hörsaal Gebäude HS IV | Kolloquium zur Didaktik der Mathematik | ||||||
|
| ||||||||||
2002-02-04 | 13:30 | AG 1 | AG 1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2002-02-01 | 11:00 | Paul Zimmermann | Exact rounding of mathematical functions | 46.1 - MPII 024 | Talk | ||||||
2002-02-01 | 11:45 | Sylvain Lazard | Robust intersection of quadrics | 46.1 - MPII 024 | Talk | ||||||
2002-02-01 | 14:15 | Prof. Michael Grueter | Das Isoperimetrische Problem - Ein Streifzug durch die Geschichte der Variationsrechnung | 27 - Hörsaal Gebäude HS II | Ringvorlesung Geschichte der Mathematik | ||||||
2002-02-01 | 16:15 | Kurt Mehlhorn | The Theory behind LEDA | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
| |||||||||||
|
| ||||||||||
2002-01-31 | 09:00 | Iris Antes | Statistical mechanics studies of biological systems | 46.1 - MPII 024 | Presentation | ||||||
2002-01-31 | 14:30 | Andreas Fiser | Evolution and physics in comparative protein structure modeling | 46.1 - MPII 023 | Presentation | ||||||
2002-01-31 | 16:15 | Anne Abeille | The Linguistic Relevance of an Annotated Corpus for French | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-01-30 | 13:00 | Carsten Benthin | A Flexible and Scalable Rendering Engine for Interactive 3D Graphics | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
2002-01-30 | 13:30 | Spyros Kontogiannis | Lower Bounds & Competitive Algorithms for Online Scheduling of Unit-size Tasks to Related Machines | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-01-30 | 16:00 | Timo Kosch | Kontext-Sensitivitaet in Fahrzeug Ad Hoc Netzwerken | 36 - Informatik 1.21 | Presentation | ||||||
2002-01-30 | 16:15 | Edgar Ramos | Approximate Voronoi Diagrams | 46.1 - MPII 024 | SIG Meeting | ||||||
|
| ||||||||||
2002-01-29 | 10:30 | Sivanesan Dakshanamurthy | Computer Models on Bioactive Compounds | 46.1 - MPII 24 | Presentation | ||||||
|
| ||||||||||
2002-01-28 | 13:30 | Timo von Oertzen | Efficiently Dealing with Periods | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-01-28 | 14:00 | Kirill Alexandrovich Dmitriev | Interactive Global Illumination using Selective Photon Tracing | 46.1 - MPII 022 | AG4 Talk | ||||||
|
| ||||||||||
2002-01-25 | 13:30 | Piotr Krysta | Conference Report SODA'02 | 46.1 - MPII 024 | AG1 Conference Report | ||||||
2002-01-25 | 14:15 | Prof. Horst Hischer | Zur Geschichte des Funktionsbegriffs | 27 - Hörsaal Gebäude HS II | Ringvorlesung Geschichte der Mathematik | ||||||
|
| ||||||||||
2002-01-24 | 16:00 | Daniel Hardt | The Structure and Interpretation of Discourse: Evidence from Ellipsis | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-01-23 | 13:00 | Bastian Goldluecke | ON A C++-PACKAGE FOR STUDYING THE BEHAVIOUR OF ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
2002-01-23 | 13:30 | Michiel Hagedoorn | Efficient Nearest-Neighbour Search | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-01-23 | 16:15 | Piotr Krysta | Approximability of Dense and Sparse Instances of Minimum 2-Connectivity, TSP and Path Problems | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-01-21 | 13:30 | Tibor Csendes | Efficient and reliable computational procedures for the circles packing in the unit square | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-01-21 | 16:15 | Domagoj Matijevic | Internet Traffic Engineering by Optimizing OSPF Weights | 46.1 - MPII 024 | Lecture | ||||||
2002-01-21 | 16:15 | Tobias Gaertner | Approximation of Infinite Strings by Computable Ones - A New Variant of Chaitin-Kolmogorov Complexity | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-01-18 | 14:15 | Prof. Jean-Paul Pier | Analysis, ein Rueckgrat fuer vielseitige Aspekte der Mathematik im 20. Jahrhundert | 27 - Hörsaal Gebäude HS II | Ringvorlesung Geschichte der Mathematik | ||||||
2002-01-18 | 16:15 | Reinhard Wilhelm | Run-time Guarantees for Real-Time Systems | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
2002-01-18 | 17:15 | Prof. Peter Rentrop | Differential-Algebraische Systeme in der numerischen Netzwerksimulation | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2002-01-17 | 11:00 | Anguraj Sadanandam | Fourier Spectral Analysis of DNA Sequences: Coding regions, Intron-Exon Boundaries and Protein Domains | 46.1 - MPII 24 | Presentation | ||||||
2002-01-17 | 13:30 | Somak Ray | Analysis of hydrogen bond interacion in protein protein complexes to develop a docking algorithm using graph theoretic techniques | 46.1 - MPII 24 | Presentation | ||||||
2002-01-17 | 16:15 | Barbara Grosz | Planning and Acting Together: Getting Computer Systems to Function as Team Players | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
2002-01-17 | 16:30 | Abhishek Kumar | Temperature factor analysis of outer membrane beta-stranded porins | 46.1 - MPII 24 | Presentation | ||||||
|
| ||||||||||
2002-01-16 | 13:30 | AG 1 | AG 1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
2002-01-16 | 16:15 | Artur Czumaj | Abstract Combinatorial Programs and Efficient Property Testers | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2002-01-14 | 09:00 | Prof. Thomas M. Stricker | Zero Copy - Effizienz und Performance Engineering im Bereich Kommunikationssoftware | 45 - FR 6.2 HS 02 | Informatik-Kolloquium | ||||||
2002-01-14 | 11:00 | Dr. Rainer Lienhart | Content-based Video Information Retrieval | 45 - FR 6.2 HS 03 | Informatik-Kolloquium | ||||||
2002-01-14 | 15:15 | Petr Matousek | Verification of Business Process Models | 46.1 - MPII 007 | AG2 Working Group Seminar | ||||||
2002-01-14 | 16:15 | German Shegalov | Recovery Guarantees for Internet Applications | 45 - FR 6.2 HS 003 | Ringvorlesung im Rahmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-01-11 | 13:30 | Lutz Kettner | One Sided Error Predicates in Geometric Computing | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2002-01-11 | 16:15 | Harald Ganzinger | Logical Algorithms | 45 - FR 6.2 HS 003 | Ringvorlesung im Arhmen des Graduiertenkollegs | ||||||
|
| ||||||||||
2002-01-10 | 16:00 | Kai Alter | Speech Segmentation: The influence of Intonational Phrase Boundaries and Pitch Accents on Human's Brain Reaction | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2002-01-09 | 09:00 | Dr. Frank Stephan | Robustes Lernen | 45 - FR 6.2 HS 03 | Informatik-Kolloquium | ||||||
2002-01-09 | 11:00 | Dr. Bernd Finkbeiner | Verifikation reaktiver Systeme | 45 - FR 6.2 HS 01 | Informatik-Kolloquium | ||||||
2002-01-09 | 13:00 | Dr. Michael Steiner | Sicherer Schlüsselaustausch | 45 - FR 6.2 HS 02 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2002-01-08 | 09:00 | Dr. Holger Hermanns | Quantitative Verifikation von verteilten Systemen | 45 - FR 6.2 HS 01 | Informatik-Kolloquium | ||||||
2002-01-08 | 11:00 | Dr. Stefan Lucks | Der Entwurf praktikabler und beweisbar sicherer Kryptosysteme | 45 - FR 6.2 HS 02 | Informatik-Kolloquium | ||||||
2002-01-08 | 13:30 | Dr. Wolfgang Merkle | Autoreduktionen zufaelliger Mengen | 45 - FR 6.2 HS 02 | Informatik-Kolloquium | ||||||
2002-01-08 | 15:00 | Dr. Heike Wehrheim | Kombinierte formale Methoden -- Spezifikation und Verifikation | 45 - FR 6.2 HS 02 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2002-01-07 | 09:00 | Dr. Daniel Kröning | Formale Verifikation von ANSI-C Programmen | 46.1 - MPII R 021 | Informatik-Kolloquium | ||||||
2002-01-07 | 11:00 | Dr. Susanne Wetzel | Security and Privacy Issues in Wireless Communications | 45 - FR 6.2 HS 03 | Informatik-Kolloquium | ||||||
2002-01-07 | 13:00 | Dr. Bernhard Beckert | Integration objekt-orientierter Modellierung und formaler Verifikation | 45 - FR 6.2 HS 02 | Informatik-Kolloquium | ||||||
2002-01-07 | 15:00 | Dr. Helmut Veith | Verfahren zur Komplexitätsreduktion im Model Checking | 45 - FR 6.2 HS 01 | Informatik-Kolloquium | ||||||
2002-01-07 | 16:30 | Dr. Martin Mauve | Verteilte Interaktive Anwendungen | 45 - FR 6.2 HS 01 | Informatik-Kolloquium | ||||||
| |||||||||||
|
| ||||||||||
2001-12-20 | 09:00 | Prof. Wolfgang Wiechert | Modellierung und Simulation Metabolischer Netzwerke | 46.1 - MPII 0.24 | Informatik-Kolloquium | ||||||
2001-12-20 | 11:00 | Dr. Volkhard Helms | Simulation biologischer Erkennung: von der Femtowelt zur Mikrowelt | 45 - FR 6.2 002 | Informatik-Kolloquium | ||||||
2001-12-20 | 14:00 | Dr. Matthias Rarey | Algorithmen fuer den computergestuetzten Wirkstoffentwurf | 46.1 - MPII 0.24 | Informatik-Kolloquium | ||||||
2001-12-20 | 14:00 | H.-P. Lenhof | Berufungskommission Bioinformatik | 46.1 - MPII 024 | Miscellaneous | ||||||
2001-12-20 | 16:00 | Dr. Knut Reinert | Differentielle Analyse von komplexen Mixturen mit Hilfe von high-throughput-Massenspektronomie | 45 - FR 6.2 HS 003 | Informatik-Kolloquium | ||||||
2001-12-20 | 16:00 | James Allen | A Dialogue Model based on Collaborative Problem Solving | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-12-18 | 14:00 | HD Dr. Jens Timmer | Datengestuetzte Modellierung der Dynamik der zellulaeren Signaltransduktion am Beispiel des Epo-Rezeptors | 45 - FR 6.2 HS 001 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2001-12-17 | 13:30 | Sven Thiel | A non-overlapping constraint between convex polygons | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2001-12-16 | 13:30 | Artur Czumaj | TBA | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2001-12-14 | 14:00 | Catia Cucchiarini und Helmer Strik | Automatic Speech Recognition and Pronunciation | 17.2 - Computerlinguistik R 5.09 | Phonetisches Kolloquium | ||||||
2001-12-14 | 14:15 | Alexander Gamkrelidze | Einige Optimierungsmethoden hierarchischer Schaltkreise | 45 - FR 6.2 014 | Promotionskolloquium | ||||||
2001-12-14 | 14:15 | Jochen Bruening | Mathematik und kulturelle Entwicklung | 27 - Hörsaal Gebäude HS II | Ringvorlesung Geschichte der Mathematik | ||||||
2001-12-14 | 16:15 | Joern Hopf | Photomaskenlayout fuer eine 3D-Grauton-Lithographie als kombinatorisches Optimierungsproblem | 46.1 - MPII 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2001-12-13 | 11:00 | Neil Gatenby | Tales from the coal face | MPI-I 46.1 024 | Talk | ||||||
2001-12-13 | 13:30 | Cyril Banderier | The Game of Go. From ancient Asia to modern Computers. | 46.1 - MPII 024 | Presentation | ||||||
2001-12-13 | 16:15 | John Carroll | High Precision Extraction of Grammatical Relations | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
2001-12-13 | 16:15 | Rene Beier | Smoothed analysis | 46.1 - MPII 024 | AG1 Advanced Mini-Course | ||||||
|
| ||||||||||
2001-12-12 | 13:00 | Joerg Haber | Facial Animation and Modeling | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
2001-12-12 | 16:15 | Cyril Banderier | Probability Theory and Internet | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2001-12-11 | 16:15 | Prof. Thomas Weth | Die "n-1-Strategie" als heuristisches Werkzeug am Computer | 27 - Hörsaal Gebäude HS IV | Kolloquium zur Didaktik der Mathematik | ||||||
|
| ||||||||||
2001-12-07 | 14:15 | Ernst Albrecht | Die Suche nach nichttrivialen invarianten Unterraeumen | 27 - Hörsaal Gebäude HS II | Ringvorlesung Geschichte der Mathematik | ||||||
|
| ||||||||||
2001-12-06 | 14:15 | Aarne Ranta | GF, a Type-Theoretical Grammar Formalism | 46.1 - MPII 022 | Lecture | ||||||
2001-12-06 | 16:15 | Klaus Failenschmid | Challenges in Moving Speech Recognition Applications into the Field | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-12-05 | 13:00 | Ioannis Ivrissimtzis | The support of recursive subdivision | 46.1 - MPII 021 | AG4 Group Meeting | ||||||
2001-12-05 | 13:30 | Peter Sanders | Approximating the Minimum Spanning Tree Weight in Sublinear Time | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2001-12-05 | 14:15 | David Traum | Ideas on Multi-layer dialogue management for Multi-party, Multi-conversation, Multi-modal communication | DFKI -2.17 | Computerlinguistisches Kolloquium | ||||||
2001-12-05 | 16:00 | Michael Seel | Planare Nef Polyeder und generische hoeherdimensionale Geometrie | 46.1 - MPII 024 | Promotionskolloquium | ||||||
|
| ||||||||||
2001-12-04 | 11:15 | Raffaella Bernardi | A Proof Theoretical Account of Polarity Items and Monotonic Inference | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
2001-12-04 | 16:15 | Prof. Gerhard Holland | Konstruieren, Berechnen und Beweisen - GEOLOG 5.0 als Beispiel eines elektronischen Geometriebuches | 27 - Hörsaal Gebäude IV | Kolloquium zur Didaktik der Mathematik | ||||||
| |||||||||||
|
| ||||||||||
2001-11-30 | 16:15 | Winfried Scharlau | Etwas ueber Knoten | 27 - Hörsaal Gebäude HS II | Ringvorlesung 'Geschichte der Mathematik' | ||||||
2001-11-30 | 17:15 | Prof. Michael Langenbruch | Surjektive partielle Differentialoperatoren auf Raeumen reellanalytischer Funktionen | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2001-11-29 | 16:00 | Gregory Grefenstette | Very Large Lexiconsfrom the WWW | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-11-28 | 13:00 | Lutz Latta | Factorization of BRDF-based Lighting Computation | 46.1 - MPII 021 | AG4 Group Meeting | ||||||
2001-11-28 | 13:30 | Dimitris Fotakis | Minimum Congestion Redundant Assignments to Tolerate Random Faults | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2001-11-28 | 16:15 | Csanad Imreh | Algorithmic problems in congestion control. | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2001-11-26 | 13:30 | Joachim Reichel | Optimale Hüllkörper für Objekte mit gekrümmten Oberflächen (Diplomarbeit) | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2001-11-26 | 16:15 | Paul Spirakis | TBA | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2001-11-23 | 14:15 | Hans Schupp | Daniel Schwenter - Leben, Zeit und Werk eines Mathematikers im Frühbarock". | 27 - Hörsaal Gebäude HS II | Ringvorlesung 'Geschichte der Mathematik' | ||||||
2001-11-23 | 17:00 | Prof. Norbert Schappacher | Beweis einer Vermutung von Mazur ueber Heegner-Punkte | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2001-11-22 | 14:00 | Ursula Sondhauss | How Statisticians and Machine Learners translate Real World Problems | 46.1 - MPII 007 | AG2 Noon Meeting | ||||||
|
| ||||||||||
2001-11-21 | 13:30 | Stefan Immich | Berechnung der Momente von quadratischen Komplexen (Diplomarbeit) | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2001-11-21 | 14:15 | Dov Gabbay | Goal-directed Proof Mechanisms II | 43.1 - DFKI +2.07 | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-11-20 | 14:00 | Roger Tam | 2-D Shape Representation using unions of circles | MPI-I 46.1 022 | Talk | ||||||
2001-11-20 | 16:15 | Prof. Hans-Wolfgang Henn | Warum manchmal Katzen vom Himmel fallen...oder..von guten und von schlechten Modellen | 27 - Hörsaal Gebäude HS IV | Kolloquium zur Didaktik der Mathematik | ||||||
|
| ||||||||||
2001-11-19 | 13:30 | Csanad Imreh | Scheduling problems on two sets of identical machines | 46.1 - MPII 024 | AG1 Mittagsseminar (own work) | ||||||
2001-11-19 | 16:15 | Ahmed Bouajjani | Verification by computing languages closures under rewriting systems | 46.1 - MPII 021 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2001-11-16 | 15:00 | Robert Schneider | Effiziente Verfahren zum Glätten von Polygonnetzen | 46.1 - MPII 024 | Talk | ||||||
2001-11-16 | 16:15 | Alfred K. Louis | Von Johann Radon zur Computertomographie". | 27 - Hörsaal Gebäude HS II | Ringvorlesung 'Geschichte der Mathematik' | ||||||
2001-11-16 | 17:00 | Michael Grueter | Die Prinzipien der Variationsrechnung | 27 - Hörsaal Gebäude HS IV | Mathematisches Kolloquium | ||||||
|
| ||||||||||
2001-11-15 | 16:15 | Dov Gabbay | Goal-directed Proof Mechanisms I | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-11-14 | 13:00 | Katja Daubert | Efficient Cloth Modeling and Rendering | 46.1 - MPII 022 | AG4 Group Meeting | ||||||
2001-11-14 | 13:30 | Cyril Banderier | Analytic combinatorics: a surveychen | 46.1 - MPII 024 | AG1 Mittagsseminar (others' work) | ||||||
2001-11-14 | 16:15 | Paul Spirakis | Introduction to Game Theory with Applications to the Internet | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2001-11-12 | 16:00 | Peeter Laud | Formal Encryption and Pseudorandom Permutations | 36 - Informatik 306 | Seminar des Graduiertenkollegs | ||||||
|
| ||||||||||
2001-11-09 | 13:00 | Michael Gillmann | Konfiguration verteilter Workflow-Management-Systeme mit Leistungsgarantien | 45 - FR 6.2 HS 001 | Promotionskolloquium | ||||||
2001-11-09 | 14:15 | Olaf Neumann | 200 Jahre Carl Friedrich Gauß: 'Disquisitiones arithmeticae' - ein epochemachendes Meisterwerk der Mathematik". | 27 - Hörsaal Gebäude HS II | Ringvorlesung 'Geschichte der Mathematik' | ||||||
2001-11-09 | 16:15 | Patrick Hanks | Norms and Exploitations: Linking Word Meaning to Word Use | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
2001-11-09 | 16:15 | Prof. Dr. Peter Dadam | ADEPT: Realisierung flxibler und zuverlaessiger unternehmensweiter Workflow-Anwendungen | 45 - FR 6.2 HS 001 | Informatik-Kolloquium | ||||||
|
| ||||||||||
2001-11-08 | 16:15 | Theodora Alexopoulou | Relative Clauses with Quantifiers and Definiteness | 17.3 - Computerlinguistik | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-11-07 | 13:30 | AG 1 | AG 1 Group Meeting | 46.1 - MPII 024 | AG1 Group Meeting | ||||||
|
| ||||||||||
2001-11-06 | 16:15 | Prof. Wilfried Herget | Die etwas andere Mathematik-Aufgabe | 27 - Hörsaal Gebäude HS IV | Kolloquium zur Didaktik der Mathematik | ||||||
|
| ||||||||||
2001-11-05 | 14:00 | Anke Koelzer | Vortrag | 43.1 - DFKI 1.23 | Talk | ||||||
2001-11-05 | 16:15 | Gerald Penn | Topological Parsing | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-11-02 | 14:15 | Ernst-Ulrich Gekeler | Primzahlen von Euklid bis heute | 27 - Hörsaal Gebäude HS II | Ringvorlesung 'Geschichte der Mathematik' | ||||||
| |||||||||||
|
| ||||||||||
2001-10-31 | 13:00 | Roland Schregle | The Photon Map in Daylighting Simulation | MPII 46.1 022 | Talk | ||||||
2001-10-31 | 14:00 | Harald Ganzinger | Coffee, cake, and courses | 46.1 - MPII 007 | AG2 Group Meeting | ||||||
2001-10-31 | 16:15 | Paul Spirakis | Stability and non-stability of the FIFO protocol | 46.1 - MPII 024 | Lecture | ||||||
|
| ||||||||||
2001-10-29 | 11:15 | Eva Hajicova | The Current Status of the Prague Treebank | 10 Dekanatssitzungssaal | Computerlinguistisches Kolloquium | ||||||
2001-10-29 | 16:15 | Paul Spirakis | Efficient communication in ad hoc mobile networks | MPI 024 | Lecture | ||||||
|
| ||||||||||
2001-10-26 | 14:15 | Christin Schäfer | Support Vektor Maschine und Zeitreihen | 46.1 - MPII 021 | AG2 Working Group Seminar | ||||||
|
| ||||||||||
2001-10-25 | 16:15 | Harald Ganzinger | The visit of the Fachbeirat last week | 46.1 007 | AG2 Group Meeting | ||||||
|
| ||||||||||
2001-10-24 | 13:00 | Jochen Lang | Visual Acquisition of Deformable Models | MPI-I 46.1 022 | Lecture | ||||||
2001-10-24 | 13:30 | Christian Fink | Oberflaechenrekonstruktion aus planaren Konturen (Diplomarbeit) | MPI 024 | AG1 Mittagsseminar (own work) | ||||||
2001-10-24 | 16:15 | Mark T. Maybury | Adaptive Multimedia Information Access | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-10-23 | 16:15 | Prof.Thomas Sonar | Modellierung fuer die Schule | 27 - Hörsaal Gebäude HS IV | Kolloquium zur Didaktik der Mathematik | ||||||
|
| ||||||||||
2001-10-22 | 13:30 | AG1 | AG1 Group Meeting | MPI 024 | AG1 Group Meeting | ||||||
2001-10-22 | 16:15 | Silvio Ranise | Uniform Derivation of Decision Procedures by Superposition | 46.1 024 | Logik-Seminar | ||||||
|
| ||||||||||
2001-10-17 | 16:15 | Frank Pfenning | Verifying Program Invariants with Refinement Types | 46.1 024 | Logik-Seminar | ||||||
|
| ||||||||||
2001-10-16 | 16:15 | Simon Colton | Automatic Generation of First Order Theorems | DFKI Turing (-2.17) | Talk | ||||||
|
| ||||||||||
2001-10-10 | 16:00 | Leonid Iomdin | ETAP-3 Machine Translation System: An Overview | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-10-08 | 14:15 | Annie Zaenen | Displaced Subjects: Equality and inequality in LFG | 17.3 - Computerlinguistik t.b.a. | Talk - Computerlinguistik | ||||||
|
| ||||||||||
2001-10-04 | 16:15 | Igor Boguslavski | Interaction between Lexical Semantics and Syntax | 17.3 - Computerlinguistik Seminar Room | Computerlinguistisches Kolloquium | ||||||
|
| ||||||||||
2001-10-01 | 15:00 | Bernd Girod | Image Compression, Vision, and Computer Graphics | MPII 46.1 024 | Talk | ||||||
2001-10-01 | 15:00 | Bernd Girod | Image Compression, Vision, and Computer Graphics | MPII 46.1 024 | Talk | ||||||
| |||||||||||
|
| ||||||||||
2001-09-27 | 13:30 | Piotr Berman | Calculating probabilistic properties of trees without Jensen inequality | MPII 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2001-09-26 | 13:30 | Jop Sibeyn | Fault Tolerant Routing on Satelites | 44 Wie immer | AG1 Mittagsseminar (others' work) | ||||||
|
| ||||||||||
2001-09-25 | 13:30 | Dennis Weber | Exact solutions to sparse linear systems | MPI 024 | AG1 Mittagsseminar (own work) | ||||||
2001-09-25 | 16:15 | Alexey Nogin | Markov's principle for propositional type theory | 46.1 - MPII 024 | Talk | ||||||
|
| ||||||||||
2001-09-24 | 14:00 | AG1 | AG1 Group Meeting (unusual starting time) | MPI 024 | AG1 Group Meeting | ||||||
2001-09-24 | 14:00 | Mary Dalrymple | Modification at the Syntax-Semantics Interface | 17.3 - Computerlinguistik Seminar Room CoLi | Talk - Computerlinguistik | ||||||
|
| ||||||||||
2001-09-19 | 13:30 | Friedrich Eisenbrand | 0/1 Optimization and 0/1 Primal Separation are Equivalent | MPI 024 | AG1 Mittagsseminar (own work) | ||||||
|
| ||||||||||
2001-09-08 | 09:00 | David Shmoys | Approximation algorithms for clustering problems: a case study in algorithm design techniques - II | 45 HS003 | Lecture | ||||||
2001-09-08 | 14:30 | Bruce Maggs | Network problems in theory and practice - II | 45 HS003 | Lecture | ||||||
|
| ||||||||||
2001-09-07 | 09:00 | David Shmoys | Approximation algorithms for clustering problems: a case study in algorithm design techniques - I | 45 HS003 | Lecture | ||||||
2001-09-07 | 14:30 | Bruce Maggs | Network problems in theory and practice - I | 45 HS003 | Lecture | ||||||
|
| ||||||||||
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 | ||||||
|
|