Date | Time | | Speaker | | Event, Title, Topic | Building, Room | Event Type |
10/29/2009 | 17:00 | s.t. | Sergiy Byelozyorov | | Realization and Application of XML3D | E1 4, 024 | Talk |
10/29/2009 | 11:30 | s.t. | Shin Yoshizawa | | A Novel Approach for Fast and Accurate Bilateral Filtering | E1 4, 019 | Talk |
10/29/2009 | 11:00 | s.t. | Takehiro Tawara | | Natural 3D User Interaction Using Mixed Reality | E1 4, 019 | Talk |
10/28/2009 | 17:00 | s.t. | Dr. Jürgen Pahlke | | How to quantify information transfer in signaling systems | E1 4, 024 | ZBI Kolloquium |
10/27/2009 | 13:00 | | Saurabh Ray | | Enumerating Minimal Transversals of Geometric Hypergraphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/23/2009 | 13:00 | | Amr Elmasry | | Optimal Prefix Codes with Fewer Distinct Codeword Lengths are Easier to Construct | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/22/2009 | 17:00 | s.t. | Bahjat Saliba | | Visual Differences of Graphs | E1 4, 024 | IMPRS Research Seminar |
10/22/2009 | 16:00 | | Chinmoy Dutta | | Lower Bounds for Combinatorial Auctions via VC Dimension | E1 4, Rotunda, 3rd floor | Talk |
10/20/2009 | 13:00 | | Meena Mahajan | | Counting paths in pebbled mountain ranges | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/19/2009 | 16:00 | | Leonardo de Moura | | SMT@Microsoft | E1 4, 019 | Virtual Seminar |
10/19/2009 | 09:00 | s.t. | Javor Kalojanov | | Parallel Grid Construction for Ray Tracing on GPUs | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Laszlo Kozma | | Binary Logistic PCA for Collaborative Filtering | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Martin Suda | | External Sources of Axioms in Automated Theorem Proving | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Megha Khosla | | Message Passing Algorithms | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Mohamed AbdelMaksoud | | Generating Code from Abstract VHDL Models | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Souvik Debnath | | Feature Weighting in Content Based Recommendation System Using Social Network Analysis | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Stefan Schmidt | | The Holumbus Framework: Distributed computing with MapReduce in Haskell | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Xia Hu | | Exploiting Internal and External Semantics for the Clustering of Short Texts Using World Knowledge | E1 4, 024 | PhD Application Talk |
10/19/2009 | 09:00 | s.t. | Young-Jun Ko | | Stability of Feature Selection | E1 4, 024 | PhD Application Talk |
10/16/2009 | 16:15 | | Johannes Lengler | | Die Cohen-Lenstra-Heuristik für endliche abelsche Gruppen | E2 5 - Mathematik, HS III | Promotionskolloquium |
10/16/2009 | 13:00 | | Holger Dell | | Satisfiability Allows No Nontrivial Sparsification Unless The Polynomial-Time Hierarchy Collapses | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/15/2009 | 17:00 | s.t. | Alekh Jindal | | Interesting Phrase Mining | E1 4, 024 | IMPRS Research Seminar |
10/15/2009 | 17:00 | s.t. | Bastian Beggel | | Bioinformatic Systems for the Improvement of Hepatitis B Therapy | E1 4, 024 | IMPRS Research Seminar |
10/15/2009 | 14:00 | | Timo Kötzing | | Computational Learning in the Limit: Memory Limited Learners | E1 4, Rotunda, 3rd floor | Lecture |
10/14/2009 | 17:00 | | Yanay Ofran | | From a single residue to disease, a multilevel approach to function prediction | E1 4, 024 | Talk |
10/14/2009 | 15:30 | s.t. | Ingo Wald | | Fast Ray Tracing on Larrabee using Multi-Frustum Traversal | E1 4, 024 | Talk |
10/13/2009 | 13:00 | | Anton Eremeev | | Evolutionary FPRAS based on dynamic programming | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/12/2009 | 14:15 | | Brigitte Pientka | | Beluga: programming with dependent types and higher-order data | E1 3, 528 | Talk |
10/09/2009 | 13:00 | | AG 1 | | AG1 Group Meeting | E1 4, 024 | Lecture |
10/08/2009 | 14:00 | | Timo Kötzing | | Computational Learning in the Limit: The Inconsistency Phenomenon | E1 4, Rotunda, 3rd floor | Lecture |
10/08/2009 | 11:00 | s.t. | Heinz Köppl | | Rule-based models for signal transduction - applications and challenges | E1 3 - Hörsaal Gebäude, HS 002 | Talk |
10/08/2009 | 11:00 | | Graham Steel | | Differential attacks on PIN Processing APIs | E1 5, 5th floor | SWS Colloquium |
10/07/2009 | 16:00 | | Julian Mestre | | Matching Problems | E1 4, 024 | Senior Researcher Series |
10/07/2009 | 11:00 | | Prof. Dr. Iryna Gurevych | | Collective Intelligence for Applied Lexical Semantic Processing - Can We Actually Learn from the „Crowds“ on the Web ? | E1 4, 433 | Talk |
10/06/2009 | 13:00 | | Benjamin Doerr | | Quasirandom Rumor Spreading - Open Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/02/2009 | 13:00 | | Rob van Stee | | Maximizing the Minimum Load: The Cost of Selfishness | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/30/2009 | 14:00 | | Timo Kötzing | | Computational Learning in the Limit: Basics | E1 4, Rotunda, 3rd floor | Lecture |
09/29/2009 | 13:00 | | Chinmoy Dutta | | Lower Bounds via Sampling Algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/29/2009 | 13:00 | s.t. | Arno Zinke | | Towards Virtual Hair - Principles, Achievements and Visions | E1 4, 019 | Talk |
09/28/2009 | 16:00 | | Daniel Johannsen | | Clicking through CLIX | E1 4, 024 | Presentation |
09/28/2009 | 13:00 | | Kazuhisa Makino | | A Fast and Simple Parallel Algorithm for the Monotone Duality Problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/25/2009 | 13:00 | | AG 1 | | Group Meeting, AG 1 | E1 4, 024 | Lecture |
09/22/2009 | 13:00 | | Timo Kötzing | | Introduction to Algorithmic Learning in the Limit | E1 4, 024 | AG1 Mittagsseminar (basic education) |
09/18/2009 | 11:00 | | Bruce Maggs | | "Cutting the Electrical Bill for Internet-Scale Systems" | E1 5, 5th floor | SWS Colloquium |
09/17/2009 | 12:30 | | Julian Mestre | | Robust Scheduling | E1 3 - CS, HS003 | Talk |
09/17/2009 | 12:15 | | Pascal Schweitzer | | Graph isomorphism, Feedback Vertex Sets and Fixed Parameter Tractability | E1 3 - CS, HS003 | Talk |
09/17/2009 | 12:00 | | Konstantinos Panagiotou | | Random Structures in Computer Science | E1 3 - CS, HS003 | Talk |
09/17/2009 | 11:30 | | Frank Neumann | | Bio-inspired Computing | E1 3 - CS, HS003 | Talk |
09/17/2009 | 11:00 | | Kurt Mehlhorn | | Geometric Computing — The Science of Making Geometric Algorithms Work | E1 3 - CS, HS003 | Talk |
09/16/2009 | 09:00 | s.t. | Dr. Bill Andreopoulos | | Clustering by common friends finds locally significant proteins mediating modules | E1 4, 019 | Talk |
09/11/2009 | 13:15 | | Angelina Vidali | | Designing Mechanisms for Scheduling | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/10/2009 | 14:00 | | Eijiro Sumii | | A complete characterization of observational equivalence in polymorphic lambda-Calculus with general references | E1 5, 5th floor | SWS Colloquium |
09/08/2009 | 13:00 | | Nicole Megow | | On Eulerian Extension Problems and their Application to Sequencing Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/04/2009 | 13:00 | | Daniel Johannsen | | The Degree Sequence of Random Planar Maps | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/04/2009 | 11:00 | | Virgilio Almeida | | *Looking over the evolution of Internet workloads* | E1 5, 5th floor | SWS Colloquium |
09/03/2009 | 10:30 | | Manuel Holtgreve | | A Scalable Contraction Phase for Parallel Graph Partitioning | E1 4, 024 | Talk |
09/02/2009 | 16:00 | | Kurt Mehlhorn | | Assigning Papers to Referees | E1 4, 024 | Senior Researcher Series |
09/02/2009 | 09:00 | s.t. | Dr. Jan Baumbach | | Computational Systems Biology - Reconstruction and Analysis of Gene Regulatory Networks | E1 4, 019 | Talk |
09/01/2009 | 13:00 | | Naoki Katoh | | A proof of the Molecular Conjecture | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/31/2009 | 10:00 | | Bernd Girod | | Mobile Image Matching - Towards Mobile Augmented Reality | E1 4, 024 | MPI Distinguished Lecture Series |
08/28/2009 | 16:45 | s.t. | Reinhard Wilhelm | | Polynomial Precise Interval Analysis Revisited | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 16:05 | s.t. | Raimund Seidel | | Maintaining Ideally Distributed Random Search Trees without Extra Space | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 16:00 | s.t. | Oliver Schall | | Robust and Efficient Processing Techniques for Static and Dynamic Geometric Data | E1 4, 019 | Promotionskolloquium |
08/28/2009 | 15:30 | s.t. | Wolfgang Paul | | Pervasive Theory of Memory | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 14:40 | s.t. | Günter Hotz | | Random Sequences | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 14:05 | s.t. | Benjamin Doerr | | Introducing Quasirandomness to Computer Science | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 13:30 | s.t. | Knut Reinert | | Sequence –Structure RNA Alignments using Lagrangian Relaxation | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 13:00 | | Naoki Katoh | | to be announced | E1 4, 024 | Lecture |
08/28/2009 | 12:10 | s.t. | Emo Welzl | | The Lovasz Local Lemma and Satisfiability | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 11:35 | s.t. | Athanasios Tsakalidis | | Some Results for Elementary Operations | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 11:00 | s.t. | Franco P. Preparata | | Self-matched patterns, Golomb rulers, and sequence reconstruction | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 10:10 | s.t. | Ian Munro | | Reflections on Optimal and Nearly Optimal Binary Search Trees | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 09:35 | s.t. | Asano Tetsuo | | Finding nearest larger neighbors: a case study in algorithm design and analysis | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/28/2009 | 09:00 | s.t. | Petra Mutzel | | The Crossing Number of Graphs: Theory and Computation | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 16:45 | s.t. | Stefan Schirra | | Much Ado about Zero | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 16:05 | s.t. | Peter Sanders | | Algorithm Engineering - An Attempt at a Definition | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 15:30 | s.t. | Ulrich Meyer | | Via Detours to I/O-Efficient Shortest Paths | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 15:00 | s.t. | Eftychios Sifakis | | Dynamic digital faces and bodies: Challenges, applications and broader impact of biomechanical modeling and simulation technology. | E1 4, 019 | Talk |
08/27/2009 | 14:40 | s.t. | Naveen Garg | | Minimizing Average Flow-time | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 14:05 | s.t. | Rudolf Fleischer | | Is the world linear? | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 13:30 | s.t. | Susanne Albers | | Energy-Efficient Algorithms | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 12:10 | s.t. | Michiel Smid | | The Weak Gap Property in Metric Spaces of Bounded Doubling Dimension | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 11:35 | s.t. | Stefan Naeher | | Multi-Core Implementation of Geometric Algorithms | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 11:00 | s.t. | Michael Kaufmann | | On Map Labeling with Leaders | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 10:10 | s.t. | Torben Hagerup | | A pictorial description of Cole's parallel merge sort | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 09:35 | s.t. | Norbert Blum | | On Negations in Boolean Networks | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/27/2009 | 09:00 | s.t. | Helmut Alt | | The Computational Geometry of Comparing Shapes | E1 3 - Hörsaal Gebäude, HS001 | Talk |
08/25/2009 | 13:00 | s.t. | Oussama Moslah | | Urban Environnements Reconstruction | E1 4, 019 | Talk |
08/24/2009 | 14:00 | | Ben Galehouse | | Approximation of Non-Singular Implicit Surfaces | E1 4, 024 | Talk |
08/21/2009 | 13:00 | | Kurt Mehlhorn | | Fast Multiplication of Sparse Matrices (work by Yuster and Zwick) | E1 4, 024 | AG1 Mittagsseminar (others' work) |
08/14/2009 | 13:00 | | Jian Li | | A Unified Approach to Ranking in Probabilistic Databases | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/11/2009 | 13:00 | | Jens Schmidt | | A (slow but) simple certifying test on the 3-connectedness of graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/31/2009 | 13:00 | | Nikolaos Fountoulakis | | 3-connected cores in random biconnected graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/29/2009 | 14:00 | | Brendan Meeder | | Maximizing the Spread of a Rumor in Social Networks | E1 4, 024 | Talk |
07/29/2009 | 13:05 | s.t. | Luis Kuhn Cuellar | | Detecting patterns in functionally annotated protein structures | E1 4, 024 | Masterseminar |
07/28/2009 | 13:00 | s.t. | Imran Rauf | | On the Readability of Monotone Boolean Formulae | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/27/2009 | 16:45 | s.t. | Vlastimil Havran | | MPII Building Model as Data for Your Research | E1 4, 024 | Talk |
07/24/2009 | 16:00 | | Pascal Schweitzer | | Problems of Unknown Complexity: Graph isomorphism and Ramsey theoretic numbers | E1 4, 024 | Promotionskolloquium |
07/24/2009 | 13:00 | | Fritz Eisenbrand | | Diameter of Polyhedra: Limits of Abstraction | E1 4, 024 | Lecture |
07/22/2009 | 16:00 | | Josiane Xavier Parreira | | Decentralized Link Analysis in Peer-to-Peer Web Search Networks | E1 4, 024 | Promotionskolloquium |
07/21/2009 | 13:00 | | Magnus M. Halldorsson | | Scheduling of Wireless Networks | E1 4, 024 | Lecture |
07/21/2009 | 11:00 | s.t. | Andreas Argyriou | | Multi-Task Learning and Matrix Regularization | E1 4, 019 | Talk |
07/17/2009 | 13:00 | s.t. | Michael Sagraloff | | Real Roots of Real Polynomials | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/16/2009 | 13:00 | | Julian Mestre | | News from ICALP | E1 4, 024 | AG1 Mittagsseminar (others' work) |
07/15/2009 | 13:05 | s.t. | Luis de la Garza | | Near-Optimal Dynamic Replication in Unstructured Peer-to-Peer Networks | E1 4, 024 | Masterseminar |
07/14/2009 | 13:00 | s.t. | Jochen Bomm | | CG-Production at the Stuttgart Media University (HdM) | E1 4, 019 | Talk |
07/14/2009 | 11:00 | s.t. | Gordon L. Kindlmann | | Sampling and Visualizing Creases with Scale-Space Particles | E1 4, 019 | Talk |
07/14/2009 | 09:00 | s.t. | Francis Gasse | | Rewriting Logical Rules as SROIQ Axioms: Theory and Implementation | E1 4, 024 | PhD Application Talk |
07/14/2009 | 09:00 | s.t. | Mengyu Qiao | | Feature Mining and Intelligent Computing of Audio Steganalysis | E1 4, 024 | PhD Application Talk |
07/14/2009 | 09:00 | s.t. | Mohamed Amir Josef | | Android Location Platform Power Consumption | E1 4, 024 | PhD Application Talk |
07/14/2009 | 09:00 | s.t. | Piotr Danilewski | | Binned SAH kd-tree construction on GPU | E1 4, 024 | PhD Application talk |
07/14/2009 | 09:00 | s.t. | Prithvi Mani | | A study on relevance of G-Quadruplex DNA in recombinogenic regions | E1 4, 024 | PhD Application Talk |
07/14/2009 | 09:00 | s.t. | Rossen Dimov | | On query optimal BVH construction algorithms | E1 4, 024 | PhD Application Talk |
07/14/2009 | 09:00 | s.t. | Tomasz Jurkiewicz | | Cycle Bases in Graphs | E1 4, 024 | PhD Application Talk |
07/14/2009 | 09:00 | s.t. | Tomasz Tylenda | | Time-aware Link Prediction in Evolving Social Networks | E1 4, 024 | PhD Application Talk |
07/14/2009 | 09:00 | s.t. | Wonsang You | | Real-time Object Detection, Tracking and Human Pose Estimation | E1 4, 024 | PhD Application Talk |
07/13/2009 | 14:00 | | Ratul Mahajan | | "Using Redundancy to Enable Interactive Communication for Moving Vehicles" | E1 5, 5th floor | SWS Colloquium |
07/13/2009 | 14:00 | s.t. | Zachi Karni | | Energy-Based Image Deformation | E1 4, 019 | Talk |
07/10/2009 | 13:00 | | Telikepalli Kavitha | | Dynamic matrix rank with partial lookahead | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/10/2009 | 10:00 | | Naveed Ahmed | | "High Quality Dynamic Reflectance and Surface Reconstruction from Video" | E1 4, 019 | Promotionskolloquium |
07/09/2009 | 10:15 | | Alexey Pospelov | | Multiplicative Complexity of Group Algebras | E1 3 - CS, 415 (4th floor) | Talk |
07/08/2009 | 13:05 | s.t. | Vinay Setty | | Efficiently Identifying Interesting Time-Points for Text Archive Search | E1 4, 024 | Master Seminar Talk |
07/07/2009 | 14:00 | s.t. | Juergen Gall | | Filtering and Optimization Strategies for Markerless Human Motion Capture with Skeleton-based Shape Models | E1 4, 019 | Promotionskolloquium |
07/07/2009 | 13:00 | | Raghav Kulkarni | | Evasiveness and the music of prime numbers | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/03/2009 | 13:00 | s.t. | Yann Lorion | | The Effects of Local Randomness in the Adversarial Queueing Model | E1 4, 023 | AG1 Mittagsseminar (own work) |
07/03/2009 | 11:00 | | Peter Baumgartner and Uwe Waldmann | | Superposition and Model Evolution Combined | E1 4, Rotunda, 6th floor (R633) | Talk |
07/03/2009 | 11:00 | s.t. | Christine Law | | Toward 0-Norm Reconstruction, and Nullspace Technique for Compressive Sampling | E1 4, 019 | Talk |
07/02/2009 | 10:15 | | Bodo Manthey | | Multi-Criteria TSP: Min and Max Combined | E1 3 - CS, 415 (4th floor) | Talk |
07/01/2009 | 16:00 | | Karol Myszkowski | | Perception Issues in Rendering and High Dynamic Range Imaging | E1 4, 024 | Senior Researcher Series |
07/01/2009 | 13:00 | c.t. | Julia Boettcher | | Embedding large graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/30/2009 | 13:00 | | Anna Huber | | Quasirandom rumour spreading on the complete graph is as fast as randomized rumour spreading | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/24/2009 | 17:00 | | Dr. Christoph Bock | | Epigenome analysis with bioinformatic methods and applications to cancer biomarker discovery | E1 4, 024 | Talk |
06/24/2009 | 14:00 | | Prof. Eugene Myers | | Machine-Vision and Molecular Biology | E1 4, 024 | Talk |
06/24/2009 | 13:00 | | Lap-Kei Lee | | Sleep with Guilt and Work Faster to Minimize Flow plus Energy | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/23/2009 | 13:00 | | Hosam Mahmoud | | The Polya Process and Applications | E1 4, 024 | AG1 Mittagsseminar (basic education) |
06/23/2009 | 12:30 | | Claudia Perlich | | Breast cancer prediction on mammography images | E1 4, 024 | Talk |
06/22/2009 | 13:00 | | Piyush Kurur | | Fast Integer multiplication using modular arithmetic | E1 4, 024 | Talk |
06/19/2009 | 15:30 | | Hans-Christian Hege | | Reconstruction, Representation, Utilization and Visualization of Morphologies | E1 3, HS 001 | Talk |
06/19/2009 | 13:00 | | S. Anand | | Non-clairvoyant scheduling | E1 4, 023 | AG1 Mittagsseminar (own work) |
06/18/2009 | 16:00 | | Dipl.-Inform. Thomas Schultz | | "Feature Extraction for Visual Analysis of DW-MRI Data" | E1 4, 019 | Promotionskolloquium |
06/18/2009 | 13:00 | | Prajakta Nimbhorkar | | A log-space algorithm for planar graph isomorphism | E1 4, 024 | Talk |
06/18/2009 | 10:15 | | Mahmoud Fouz | | Item Pricing with Partial Orders | E1 3 - CS, 415 | Talk |
06/17/2009 | 13:05 | s.t. | Megha Khosla | | Message Passing Algorithms | E1 4, 024 | Master Seminar |
06/16/2009 | 13:00 | | Hubert Chan | | Approximating TSP with Neighborhoods in Doubling Metrics | E1 4, 023 | AG1 Mittagsseminar (own work) |
06/12/2009 | 15:30 | s.t. | Prof. Ullman | | Cluster-Based Computation of Relational Joins | Uni Kaiserlautern [KL], Geb. 42, Raum110 | Talk |
06/12/2009 | 13:00 | | Surender Baswana | | Approximating arbitrary metric by tree metric | E1 4, 024 | AG1 Mittagsseminar (others' work) |
06/12/2009 | 11:00 | s.t. | Guillaume Burel | | Good proofs in deduction modulo | E1 4, 024 | Talk |
06/10/2009 | 14:00 | s.t. | Nikhil Garg | | ClusterRank: A graph based method for meeting summarization | E1 4, Rotunde D5 - 4th floor | Talk |
06/10/2009 | 13:05 | s.t. | Piotr Danilewski | | Kd-tree construction on graphics hardware | E1 4, 024 | Master Seminar Talk |
06/09/2009 | 13:00 | | Naveen Garg | | Online scheduling with speed augmentation | E1 4, 023 | AG1 Mittagsseminar (own work) |
06/09/2009 | 10:00 | s.t. | Emiran Curtmola | | Democratic Community-based Search with XML Full-Text Queries | E1 4, 433 | Talk |
06/08/2009 | 16:00 | | Ali R. But | | Rethinking Storage Space Management in High-Performance Computing Centers | E1 5, 5th floor | SWS Colloquium |
06/08/2009 | 10:15 | | Kai Plociennik | | A Probabilistic PTAS for Shortest Common Superstring | E1 3 - CS, HS 002 | Talk |
06/05/2009 | 13:00 | | Guy Kortsarz | | Augmenting the connectivity of a graph from 1 to 2 | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/03/2009 | 16:00 | | Viorica Sofronie-Stokkermans | | Modularity in Automated Reasoning and the Verification of Complex Systems | E1 4, 024 | Senior Reseacher Series |
06/02/2009 | 13:00 | | Kurt Mehlhorn | | AG1 group meeting | E1 4, 024 | AG1 Group Meeting |
05/29/2009 | 14:00 | | Dipl.-Inform. Christian Fuchs | | Capturing and Reconstructing the Appearance of Complex 3D Scenes | E1 4, 019 | Promotionskolloquium |
05/28/2009 | 13:00 | | Ben Y. Zhao | | Online Social Networks and Applications: a Measurement Perspective | E1 5, 5th floor | SWS Colloquium |
05/28/2009 | 09:45 | | Bodo Manthey | | k-Means has Polynomial Smoothed Complexity | E2 4 - Math, Seminar Room 10 (012) | Talk |
05/27/2009 | 17:00 | s.t. | Dr. Alice McHardy | | Computational methods for the analysis of metagenome sequence samples | E1 4, 024 | Talk |
05/27/2009 | 14:00 | | AG 1 | | Teaching Winter Term 2009/2010 | E1 4, Rotunde | AG1 Group Meeting |
05/27/2009 | 13:00 | | Neelesh Khanna | | On shortest paths avoiding single node failure | E1 4, 023 | Talk |
05/26/2009 | 13:00 | s.t. | Michael Kerber | | Reliable Root Approximation | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/26/2009 | 13:00 | s.t. | Hao Li | | Animation Reconstruction From A Single View | E1 4, 019 | Talk |
05/25/2009 | 16:30 | s.t. | Saurabh Ray | | Weak and Strong Epsilon Nets for Geometric Range Spaces | E1 3, Hörsaal 003 | Promotionskolloquium |
05/22/2009 | 13:00 | | Rajiv Raman | | Subcoloring Interval Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/20/2009 | 15:00 | | Olga Brukman | | Self-Stabilizing Autonomic Recoverers | E1 5, 5th floor | SWS Colloquium |
05/20/2009 | 13:05 | s.t. | Violeta Ivanova | | Comparing Methods for Finding Relevant Aberrations For Cancer | E1 4, 024 | Master Seminar Talk |
05/19/2009 | 13:00 | | Reto Spöhel | | Small Subgraphs in the Achlioptas Process | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/18/2009 | 14:00 | s.t. | 1. Frederik Siekmann - 2. Sascha Simon | | Title 1: Multi-Scale Rectangular Map Approximations of the WorldTitle 2; Interactive Exploration of the network behavior of personal machines | E1 4, 022 | Bachelor Seminar |
05/18/2009 | 14:00 | | Dr. Jeff Bilmes | | Approximate Submodular k-Partitions: Application to SNP Prediction | E1 4, 019 | Talk |
05/15/2009 | 15:00 | | John Wilkes | | Traveling to Rome: a retrospective on the journey | E1 5, Wartburg, 5th floor | SWS Colloquium |
05/15/2009 | 13:00 | | Konstantinos Panagiotou | | The Speed of Broadcasting on Random Networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/15/2009 | 11:00 | | Balachander Krishnamurthy | | "Internet Privacy Diffusion: A longitudinal perspective" | E1 5, Wartburg, 5th floor | SWS Colloquium |
05/13/2009 | 15:00 | | Zaynah Dargaye | | Formal Verification of Realistic Compilers | E1 5, Wartburg, 5th floor | SWS Colloquium |
05/13/2009 | 13:05 | s.t. | Andi Scharfstein | | Determining Tempo Characteristics of Expressive Music Recordings: An Algorithmic Approach | E1 4, 024 | Talk |
05/12/2009 | 12:00 | s.t. | diverse | | Demonstrations Intel Visual Computing Institute | A3.3 (Aula), Aula | Demonstrations |
05/12/2009 | 11:30 | s.t. | Intel | | Press Conference Intel Visual Computing Institute | A2.3, A2.3 | Press Conference |
05/12/2009 | 10:00 | s.t. | Volker Linneweber, Justin Rattner, Peter Müller, Charlotte Britz, Wolf-Dieter Lukas, Thorsten Herfet, Philipp Slusallek | | Opening of the Intel Visual Computing Institute at Saarland University | A3.3 (Aula), Aula | Miscellaneous |
05/11/2009 | 16:00 | | Moises Goldszmidt | | Fingerprinting performance crises in the datacenter | E1 5, 5th floor | SWS Colloquium |
05/08/2009 | 13:00 | | Kurt Mehlhorn | | Moser and Tardos: A Constructive Proof for Lovacz Local Lemma | E1 4, 024 | AG1 Mittagsseminar (others' work) |
05/06/2009 | 16:00 | | Mario Albrecht | | Utilizing Network Data for Biological Research | E1 4, 024 | Senior Reseacher Series |
05/06/2009 | 13:05 | s.t. | Yulya Patenko | | Improving defect prediction by code clustering | E1 4, R024 | Master Seminar Talk |
05/05/2009 | 13:00 | | Vincenzo Bonifaci | | Routing in a partially selfish network | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/04/2009 | 16:00 | | John C. Mitchell | | JavaScript Isolation and Web Security | E1 4, 019 | SWS Colloquium |
04/29/2009 | 16:00 | | David Molnar | | Theory Plus Practice in Computer Security : Radio FrequencyIdentification and Whitebox Fuzzing | E1 4, 019 | SWS Colloquium |
04/28/2009 | 13:00 | | Daniel Marx | | Movement Problems | E1 4, 024 | Talk |
04/27/2009 | 16:00 | | Sachin Katti | | "Network Coded Wireless Architecture" | G26 [KL], 204 | SWS Colloquium |
04/24/2009 | 16:00 | | Thomas Hillenbrand | | Superposition and Decision Procedures Back and Forth | E1 4, 024 | Promotionskolloquium |
04/24/2009 | 13:00 | | Madhusudan Manjunath | | Voronoi diagram of lattices under a simplicial distance function and its relation to graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/21/2009 | 13:00 | | Paolo Penna | | Optimal collusion-resistant mechanisms with verification | E1 4, 023 | AG1 Mittagsseminar (own work) |
04/20/2009 | 13:30 | | Neelakantan R. Krishnaswami | | "Proving GUIs Correct: Verifying Higher-Order Imperative Programs withHigher-Order Separation Logic" | E1 5, Wartburg OG 5 | SWS Colloquium |
04/17/2009 | 13:00 | | Julian Mestre | | Selfish bin packing and the subset sum algorithm | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/16/2009 | 16:00 | | Umut A. Acar | | Self - Ajusting Computation | E1 4, 019 | SWS Colloquium |
04/16/2009 | 14:00 | s.t. | Tobias Gärtner | | Analytic Machines and Computability of Analytic Functions | E1.3, HS 003 | Promotionskolloquium |
04/14/2009 | 16:00 | | Aleksandar Nanevski | | Programming with Hoare Type Theory | E1 4, 019 | SWS Colloquium |
04/07/2009 | 15:00 | | Leah Epstein | | Bin packing with general cost structures | E1 4, 024 | Talk |
04/07/2009 | 13:00 | | Kurt Mehlhorn | | AG1 group meeting | E1 4, 024 | AG1 Group Meeting |
04/06/2009 | 14:00 | | Jane Gao | | Orientation of Random Hypergraphs and the Load Balancing Problem | E1 4, 024 | Talk |
04/06/2009 | 13:00 | | Arash Farzan | | Towards Universal Succinct Representations of Trees | E1 4, 024 | Talk |
04/03/2009 | 13:00 | | Magnus Wahlström | | Graph Homomorphism for Bounded Cliquewidth | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/02/2009 | 11:00 | s.t. | Alejandro Salinger | | Design and Analysis of Algorithms for Multicore Architectures | E1 4, 024 | Talk |
04/01/2009 | 16:00 | | Martin Theobald | | SpotSigs - Robust and Efficient Near-Duplicate Detection in Large Web Collections | E1 4, 024 | Senior Reseacher Series |
04/01/2009 | 14:00 | s.t. | Edda Happ | | Analyses of Evolutionary Algorithms | E1 4, 024 | Promotionskolloquium |
03/31/2009 | 13:00 | | Timo Koetzing | | The Complexity of Trial-and-Error Function Learning | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/27/2009 | 13:30 | | Andreas Karrenbauer | | Real-Time Scheduling | E1 4, 021 | AG1 Mittagsseminar (own work) |
03/26/2009 | 13:00 | s.t. | Olivier Koch | | Body-relative Navigation Using Uncalibrated Cameras | E1 4, 019 | Talk |
03/25/2009 | 14:00 | | Erik Jan van Leeuwen | | Domination on Geometric Intersection Graphs | E1 4, 022 | Talk |
03/24/2009 | 13:00 | s.t. | Matthias Seeger | | Approximate Bayesian Inference and Measurement Design Optimization for Low-Level Computer Vision and Imaging | E1 4, 019 | Talk |
03/23/2009 | 16:00 | | Matthew Fluet | | Functional Programming Perspectives on Concurrency and Parallelis | E1 4, 019 | SWS Colloquium |
03/23/2009 | 14:00 | | Christophe Weibel | | Minkowski sums of polytopes oriented in general directions | E1 4, 021 | AG1 Mittagsseminar (own work) |
03/19/2009 | 16:00 | | Serge Egelman | | "Usable Security Lessons for Creating Effective Browser Warnings" | E1 5, 019 | SWS Colloquium |
03/19/2009 | 13:00 | | Dimo Brockhoff | | Evolutionary Multiobjective Optimization: from Practice to Theory | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/17/2009 | 16:15 | | Dines Bjorner | | The Role of Domain Engineering in Software Development - or why current ideas of Requirements Engineering are all wrong ! | E1 3, 001 | Talk |
03/17/2009 | 15:00 | s.t. | Djoerd Hiemstra | | Highly Discriminative Keys for Collection Selection in Distributed Retrieval | E1 4, 024 | Talk |
03/17/2009 | 14:00 | | Giorgos Christodoulou | | On the performance of approximate equilibria in congestion games | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/17/2009 | 13:00 | s.t. | Björn Schuller | | Audiovisual Data Processing for Robust Human-Machine-Communication and Media Retrieval | E1 4, 019 | Talk |
03/13/2009 | 13:30 | | Evangelia Pyrga | | Contention Resolution under Selfishness | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/12/2009 | 11:15 | s.t. | Ivan Titov | | Exploiting Weak Supervision in NLP tasks: Application to Sentiment Summarization | E1 4, 024 | Talk |
03/12/2009 | 10:30 | s.t. | Marco Pennacchiotti | | Distributional and pattern-based techniques for unsupervised expansion of semantic resources | E1 4, 024 | Talk |
03/12/2009 | 09:15 | s.t. | Panos Papadimitratos | | Securing Wireless Networked Systems | E1 4, 024 | Talk |
03/12/2009 | 08:30 | s.t. | Verena Wolf | | Approximation of Stochastic Models in Systems Biology | E1 4, 024 | Talk |
03/11/2009 | 12:00 | s.t. | Jérôme Waldispühl | | Ensemble predictions of RNA and Protein Structures | E1 4, 024 | Talk |
03/11/2009 | 11:15 | s.t. | Ville Mustonen | | From fitness landscapes to seascapes: Non-equilibrium dynamics of selection and adaption | E1 4, 024 | Talk |
03/11/2009 | 10:00 | s.t. | Christopher Zach | | 3D Reconstruction meets GPGPU meets Image Analysis | E1 4, 024 | Talk |
03/11/2009 | 09:15 | s.t. | Jens Krüger | | The Future of Visualization - Looking at "weird data" on "strange devices" | E1 4, 024 | Talk |
03/11/2009 | 08:30 | s.t. | Ivo Ihrke | | Acquisition and Rendering of Optically Complex Objects and Phenomena | E1 4, 024 | Talk |
03/10/2009 | 16:00 | | Amal Ahmed | | Logical Relations: A Step Towards More Secure and Reliable Software | E1 4, 019 | SWS Colloquium |
03/10/2009 | 14:00 | s.t. | Sebastian Michel | | Distributed Similarity Search in High Dimensions | E1 4, 024 | Talk |
03/10/2009 | 14:00 | | Katrina Ligett | | Differentially Private Approximation Algorithms | E1 4, 022 | Talk |
03/10/2009 | 12:00 | s.t. | Philippe Cudré-Mauroux | | Data Management Infrastructures for Non-Relational Formats | E1 4, 024 | Talk |
03/10/2009 | 11:15 | s.t. | Claudia Plant | | Parameter-free Clustering | E1 4, 024 | Talk |
03/10/2009 | 10:00 | s.t. | Jiong Guo | | Polynomial-Time Data Reduction and Problem Kernels | E1 4, 024 | Talk |
03/10/2009 | 09:15 | s.t. | Martin Gairing | | Approximation through Non-Cooperation | E1 4, 024 | Talk |
03/09/2009 | 15:30 | | Ross Kang | | The t-dependence and t-improper chromatic numbers of random graphs | E1 4, 024 | Talk |
03/03/2009 | 14:00 | | Kurt Mehlhorn | | AG1 group meeting | E1 4, 024 | AG1 Group Meeting |
02/27/2009 | 14:00 | | Georgiana Ifrim | | Statistical Learning Techniques for Text Categorization with Sparse Labeled Data | E1 1 - Informatik, 024 | Promotionskolloquium |
02/25/2009 | 14:00 | | Khaled Elbassioni | | Testing polyhedral properties and approximation algorithms for hard optimization problems | E1 4, 024 | Lecture |
02/25/2009 | 11:00 | | Bruce Allen | | "A distributed file system wish-list" | E1 5, conf.room 5th floor | SWS Colloquium |
02/24/2009 | 16:00 | | Krishnendu Chatterjee | | Stochastic Games in Synthesis and Verification | E1 4, 019 | SWS Colloquium |
02/24/2009 | 14:00 | | Ho-Leung Chan | | Nonclairvoyant Speed Scaling for Flow and Energy | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/20/2009 | 14:00 | | Prof. Davide Sangiorgi | | A historical perspective on bisimulation and coinduction | E1 4, 019 | Virtual Seminar |
02/20/2009 | 13:30 | | Stefan Kratsch | | Polynomial Kernelizations for MINF+Pi1 and MAX NP | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/18/2009 | 14:00 | | Xinhui Wang | | Exact algorithms for the Steiner tree problem | E1 4, 024 | Talk |
02/17/2009 | 14:00 | | Khaled Elbassioni | | The Negative Cycles Polyhedron and Hardness of Testing Polyhedral Properties | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/17/2009 | 13:00 | s.t. | Michael Schwarz | | Advances towards realistic real-time rendering | E1 4, 019 | Talk |
02/17/2009 | 09:00 | s.t. | Aris Van Dijk | | Concepts for computers | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | s.t. | Kanchanna Ramasamy Balraj | | A brief introduction to the development of System, Application and Network Monitoring Solution –Netx 2.0 and subsequently, the analysis on extending the monitoring application | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | s.t. | Mishbah Mubarak | | Strong Mobility in Autonomous Decentralized Systems | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | s.t. | Raveendra Holla K | | Equivalence of pointwise and continuous semantics for FO with linear constraints | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | s.t. | Sarath Kumar Kondreddi | | Summarization of XML Documents | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | s.t. | Sebastian Gerling | | Acoustic Side-channel Attacks on Printers | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | s.t. | Sinan Egilmez | | Matching Biomedical Ontologies for Translational Medicine | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | s.t. | Stephan Seufert | | Solving Repeated Games | E1 4, 024 | PhD Application Talk |
02/17/2009 | 09:00 | | Tianxiang Lu | | ParSemKB: Integrating Text mining results using extended OWL-DL | E1 4, 024 | PhD Application Talk |
02/13/2009 | 13:30 | | Kurt Mehlhorn | | A Faster Algorithm for Minimum Cycle Bases | E1 4, 024 | Lecture |
02/12/2009 | 13:00 | s.t. | Matthias Dietzen | | Molecular Docking Including Backbone Flexibility | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
02/11/2009 | 14:00 | | Martin Dörnfelder | | On the Maximum Number of Alternative Solutions for the k-best Method and the Penalty Method | E1 4, Rotunde 3rd floor | Talk |
02/10/2009 | 14:00 | | Rolf Harren | | An Absolute 2-Approximation for Two-dimensional Bin Packing | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/09/2009 | 19:00 | | Hans Schupp | | Mathematik und das Mühlespiel - Zur Geometrie der Mühlefiguren | Rathaus, Festsaal | Ringvorlesung |
02/09/2009 | 12:00 | | Piotr Danilewski | | Acceleration structures in CUDA | E1 4, 024 | Talk |
02/06/2009 | 13:30 | | Kurt Mehlhorn | | Assigning Papers to Referees | E1 4, 024 | Lecture |
02/05/2009 | 13:00 | s.t. | Prof. Dr. Bernd Finkbeiner | | Reactive Synthesis | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
02/04/2009 | 16:00 | | Michael Wand | | Statistical Geometry Processing | E1 4, 024 | Senior Researcher Series |
02/03/2009 | 14:00 | | Kurt Mehlhorn | | AG1 group meeting | E1 4, 024 | AG1 Group Meeting |
02/02/2009 | 15:00 | | Lydia E. Kavraki | | Robots, Molecules and Physical Computing | E1 5, 019 | SWS Distinguished Lecture Series |
01/29/2009 | 13:00 | s.t. | Sabine Schmaltz | | Verifying the Microsoft Hypervisor | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
01/28/2009 | 13:30 | | Alejandro Lopez-Ortiz | | Parameterized Analysis of Paging and List Update Algorithms | E1 4, 024 | Lecture |
01/27/2009 | 14:00 | | Meinolf Sellmann | | Feasibility in Combinatorial Optimization | E1 4, 024 | Lecture |
01/26/2009 | 19:00 | | Helmut Rüßmann | | Mathematik und Recht - Nützt dem Juristen die Mathematik? | Rathaus, Festsaal | Ringvorlesung |
01/26/2009 | 12:00 | s.t. | Tomasz Jurkiewicz | | Cycle Bases in Graphs | E1 4, 024 | Master Seminar Talk |
01/23/2009 | 13:30 | | Nicole Megow | | Robust Sequencing on a Single Machine | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/22/2009 | 13:00 | s.t. | Patrick Wischnewski | | Fuzzy Reasoning is Possibilistic Reasoning | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
01/22/2009 | 10:15 | | Bodo Manthey | | On Approximating Multi-Criteria TSP | E1 3 - CS, 014 | Talk |
01/20/2009 | 14:00 | s.t. | Imran Rauf | | Polynomial-time Dualization of $r$-Exact Hypergraphs with Applications in Geometry | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/19/2009 | 11:00 | | Dr. Antti Ukkonen | | Algorithms for Finding Orders and Analyzing Sets of Chains | E1 4, 433 | Talk |
01/16/2009 | 13:30 | | Jyrki Katajainen | | Comparison complexity of priority-queue operations | E1 4, 024 | Talk |
01/15/2009 | 13:00 | s.t. | Anna Huber | | On Quasirandom Rumor Spreading | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
01/14/2009 | 16:00 | | Mario Albrecht | | ! Cancelled ! Utilizing Network Data for Biological Research | E1 4, 024 | Senior Researcher Series |
01/12/2009 | 19:00 | | Ernst-Ulrich Gekeler | | Mathematik der Moleküle - Geometrische und kombinatorische Probleme in der Chemie | Rathaus, Festsaal | Ringvorlesung |
01/12/2009 | 12:00 | s.t. | Christine Rizkallah | | Proof Representations for Higher Order Logic | E1 4, 024 | Master Seminar Talk |
01/09/2009 | 13:30 | | Reinhard Wilhelm | | Abstract Interpretation with Applications to Timing Analysis | E1 4, 019 | Virtual Seminar |
01/08/2009 | 13:00 | s.t. | Henning Lars Zimmer | | PDE-Based Anisotropic Disparity-Driven Sterea Version | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
01/06/2009 | 14:00 | | Brendan Meeder | | Influencing the Flow of Information in Social Networks | E1 4, 024 | Talk |
12/22/2008 | 14:00 | c.t. | Rouven Naujoks | | NP-hard Networking Problems - Exact and Approximate Algorithms | E1 4, 024 | Promotionskolloquium |
12/22/2008 | 11:30 | s.t. | Eric Berberich | | Robust and Efficient Software for Problems in 2.5-Dimensional Non-Linear Geometry | E1 4, 024 | Promotionskolloquium |
12/22/2008 | 11:00 | | Edilson De Aguiar | | Animation and Performance Capture Using Digitized Models | E1 4, 019 | Promotionskolloquium |
12/22/2008 | 09:00 | | Hans Raj Tiwary | | Complexity of Some Poyhedral Enumeration Problems | E1 4, 024 | Promotionskolloquium |
12/22/2008 | 09:00 | | Wolfram Alexander Freiherr Von Funck | | Shape Deformations Based On Vector Fields | E1 4, 019 | Promotionskolloquium |
12/21/2008 | 11:00 | | Deepak Ajwani | | Traversing large graphs in realistic settings | E1 4, 024 | Promotionskolloquium |
12/19/2008 | 17:00 | | Fabian Suchanek | | Defense Fabian Suchanek | E1 4, 024 | Promotionskolloquium |
12/19/2008 | 17:00 | | Fabian Suchanek | | YAGO: A Core of Semantic Knowledge | E1 4, 024 | Promotionskolloquium |
12/19/2008 | 15:00 | | Julia Luxenburger | | Defense Julia Luxenburger | E1 4, 024 | Promotionskolloquium |
12/19/2008 | 13:30 | | Ariel Levavi | | Pegging Numbers for Various Tree Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/18/2008 | 17:00 | | Prof. Dr. Christoph Weidenbach | | MathFilmFestival: Julia Robinson and Solving Hilbert's 10th Problem | E2 5, Mathematik, HS II | MathFilmFestival |
12/18/2008 | 16:00 | | Dipl.-Math. Torsten Langer | | "On Generalized Barycentric Coordinates and Their Applications in Geometric Modeling" | E1 4, 019 | Promotionskolloquium |
12/18/2008 | 13:00 | s.t. | Prof. Dr. Kurt Mehlhorn | | Assigning Papers to Referees | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
12/16/2008 | 16:00 | | Akiko Yoshida | | Evaluation and Enhancement of HDR Image Appearance on Displays of VaryingDynamic Range | E1 4, 019 | Promotionskolloquium |
12/16/2008 | 14:00 | | Amr Elmasry | | Pairing Heaps with O(log log) decrease Cost | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/15/2008 | 19:00 | | Helmut Neunzert | | Mathematik und Wirtschaft - Mathematik und die Innovationskraft unserer Wirtschaft | Rathaus, Festsaal | Ringvorlesung |
12/15/2008 | 16:30 | | Dipl.-Inform. Martin Fuchs | | Advanced Methods for Relightable Scene Representations in Image Space | E1 4, 019 | Promotionskolloquium |
12/15/2008 | 14:00 | | Robert Harper | | Mechanizing the Metatheory of Programming Languages | E1 5, 019 | SWS Distinguished Lecture Series - Winter |
12/15/2008 | 12:00 | s.t. | Tomasz Tylenda | | Maximum Entropy Approach to Time Aware Link Prediction | E1 4, 024 | Master Seminar Talk |
12/12/2008 | 14:00 | | Thomas Annen | | Efficient Shadow Map Filtering | E1 4, 019 | Promotionskolloquium |
12/12/2008 | 13:30 | | Rudolf Berghammer | | Combining Relation Algebra and RelView in Formal Algorithm Development | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/11/2008 | 13:00 | s.t. | Prof. Dr. Holger Hermanns | | Probalistic CEGAR | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
12/11/2008 | 13:00 | | M.Sc Kaleigh Smith | | Contours and Contrast | E1 4, 019 | Promotionskolloquium |
12/10/2008 | 16:00 | | M.Sc.Kuanyu Shi | | Path-line Oriented Visualization of Dynamical Flow Fields | E1 4, 019 | Promotionskolloquium |
12/10/2008 | 11:00 | s.t. | Mikael Kalms | | CUDA - a hands-on introduction | E1 4, 019 | Talk |
12/08/2008 | 14:00 | | Ag 1 | | AG 1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
12/05/2008 | 13:30 | | Spyros Angelopoulos | | On the design of interruptible algorithms (and related problems in AI) | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/05/2008 | 13:30 | | Roberto Segala | | Analysis of Cryptographic Protocols with Probabilistic Automata | E1 4, 019 | Virtual Seminar |
12/04/2008 | 13:00 | s.t. | Matthias Hullin | | 3D Scanning of "unscannable" materials | E1 3 - Hörsaal Gebäude, 0.16 | Ringvorlesung |
12/03/2008 | 16:00 | | Srikanta Bedathur | | It's about Time: Searching and Mining the Evolving Web | E1 4, 024 | Senior Researcher Series |
12/02/2008 | 16:00 | | Tongbo Chen | | New 3D Scanning Techniques for Complex Scenes | E1 4, 019 | Promotionskolloquium |
12/02/2008 | 14:00 | | Bodo Manthey | | Smoothed Analysis of k-Means Clustering | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/02/2008 | 13:00 | s.t. | Olaf Kähler | | Tracking and Reconstruction in a Combined Optimization Approach | E1 4, 019 | AG4 Seminar |
12/01/2008 | 19:00 | | Ernst Albrecht | | Mathematik und Bildende Kunst - Künstler im Umgang mit der Mathematik | Rathaus, Festsaal | Ringvorlesung |
12/01/2008 | 14:00 | | Meinard Müller | | Beethoven, Bach und Billionen Bytes – Neue Allianzen zwischen Musik und Informatik | E1 4, 024 | Antrittsvorlesung |
11/28/2008 | 13:30 | | Pascal Schweitzer | | Paging and List Update under Bijective Analysis | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/28/2008 | 11:30 | | Dipl.-Inf. Robert Bargmann | | Learning-Based Facial Animation | E1 4, 019 | Promotionskolloquium |
11/25/2008 | 17:00 | | Amir Pnueli | | Abstraction Methods for Liveness | E1 4, 007 | Virtual Seminar |
11/25/2008 | 14:00 | | Michael Ernst | | Self-defending software: Automatically patching security vulnerabilities | E1 5, Room 019 | SWS Distinguished Lecture Series - Winter |
11/24/2008 | 12:00 | s.t. | Javor Kalojanov | | A Scalable Approach to Ray Tracing Dynamic Scenes | E1 4, 024 | Master Seminar Talk |
11/24/2008 | 10:30 | | Anton V. Eremeev | | Comparing Evolutionary Algorithms to the (1+1)-EA | E1 4, 023 | Talk |
11/21/2008 | 14:00 | | Dejan Kostic | | "CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems" | E1 5, rotunda 6th floor | SWS Colloquium |
11/19/2008 | 14:00 | | Konstantinos Panagiotou | | Random Graphs from Classes with Constraints | E1 4, Rotunda 3rd floor | Meeting |
11/18/2008 | 14:00 | | Frank Neumann | | Computational Complexity of Bio-inspired Computation in Combinatorial Optimization | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/17/2008 | 19:00 | | Kurt Mehlhorn | | Mathematik und Verkehr - Schnellste Verbindungen und das Packen von Kofferräumen | Rathaus, Festsaal | Ringvorlesung |
11/17/2008 | 12:00 | s.t. | Irem Arikan | | Exploiting Temporal References in Text Retrieval | E1 4, 024 | Masterseminar |
11/14/2008 | 14:00 | | Michael Walfish | | Defending Networked Resources Against Floods of Unwelcome Requests | E1 5, Rotunda 6th floor | SWS Colloquium |
11/14/2008 | 12:00 | s.t. | Irem Arikan | | Exploiting Temporal References in Text Retrieval | E1 4, R 024 | Master Seminar Talk |
11/14/2008 | 11:30 | | Tobias Jacobs | | Making Rigid Hierarchies Flatter | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/14/2008 | 10:00 | s.t. | Mario Albrecht | | Mining Network Data in the Life Sciences | E1 4, 024 | Talk |
11/14/2008 | 09:30 | s.t. | Michael Wand | | Statistical Geometry Processing | E1 4, 024 | Talk |
11/14/2008 | 09:00 | s.t. | Kurt Mehlhorn | | Reliable and Efficient Computations with Algebraic Curves | E1 4, 024 | Talk |
11/13/2008 | 14:15 | | Domagoj Matijevic | | Improved Approximations for Guarding 1.5-Dimensional Terrains | E1 4, Rotunda 3rd floor | AG1 Mittagsseminar (own work) |
11/13/2008 | 14:00 | | Ricardo Jimenez-Peris | | "Boosting Database Replication through Snapshot Isolation" | E1 5, rotunda 6th floor | SWS Colloquium |
11/13/2008 | 11:00 | c.t. | Wolfgang Wahlster | | Tangible Multimodal Communication in a Car2X Context | E1 4, 024 | Talk |
11/13/2008 | 10:30 | c.t. | Meinard Müller | | Multimedia Information Retrieval & Music Processing | E1 4, 024 | Talk |
11/13/2008 | 10:15 | | Bodo Manthey | | Smoothed Analysis of Selection: Why Finding the Maximum is Harder Than Finding the Median | E1 3 - CS, 014 | Talk |
11/13/2008 | 10:00 | s.t. | Ralf Schenkel | | Managing Social Wisdom: Efficient and Effective Search in Social Tagging Networks | E1 4, 024 | Talk |
11/13/2008 | 09:30 | s.t. | Hannah Bast | | Fast and Intelligent Search in Very Large Amounts of Data | E1 4, 024 | Talk |
11/13/2008 | 09:30 | s.t. | Hannah Bast | | Fast and Intelligent Search in Very Large Amounts of Data | E1 4, 024 | Talk |
11/13/2008 | 09:00 | s.t. | Gerhard Weikum | | Gerhard Weikum | E1 4, 024 | Talk |
11/12/2008 | 15:30 | c.t. | Dominique Unruh | | Secure Incoercible Protocols | E1 4, 024 | Talk |
11/12/2008 | 15:00 | c.t. | Matteo Maffei | | Analysis of modern cryptographic applications | E1 4, 024 | Talk |
11/12/2008 | 14:30 | c.t. | Peter Druschel; Michael Backes | | Security and Accountability in Distributed Systems | E1 4, 024 | Talk |
11/12/2008 | 14:00 | s.t. | Alexander Koller | | Natural Language Generation as Planning | E1 4, 024 | Talk |
11/12/2008 | 13:30 | s.t. | Caroline Sporleder | | Computing Meaning from Text | E1 4, 024 | Talk |
11/12/2008 | 13:00 | s.t. | Hans Uszkoreit | | Where Understanding Meets Learning: Getting at Some Meaning in Texts | E1 4, 024 | Talk |
11/12/2008 | 11:30 | s.t. | Michael Kipp | | Embodied Agents - Motion, Control, Application | E1 4, 024 | Talk |
11/12/2008 | 11:00 | s.t. | Elmar Eisemann | | Optimized Representations for the Acceleration of Display- and Occlusion Queries | E1 4, 024 | Talk |
11/12/2008 | 10:30 | s.t. | Matthias Seeger | | Bayesian Optimization of Magnetic Resonance Imaging Sequences | E1 4, 024 | Talk |
11/12/2008 | 09:30 | c.t. | Joachim Weickert | | A Principled Approach to Correspondence Problems in Computer Vision | E1 4, 024 | Talk |
11/12/2008 | 09:00 | s.t. | Hans-Peter Seidel | | The Cluster of Excellence MMCI-Opening | E1 4, 024 | Talk |
11/11/2008 | 14:00 | | Tobias Gärtner | | Analytic Machines and Computability of Analytic Functions | E1 4, 024 | Lecture |
11/10/2008 | 14:00 | | Dieter Kratsch | | "Fast exponential-time algorithms to solve NP-hard Problems exactly | E1 4, 024 | Lecture |
11/06/2008 | 20:15 | | Prof. Dr. Gunter Dueck | | Vom Lehrsatz zum Geschäft | E2 5 (Hörsaalgebäude der Mathematik), HS I | Talk |
11/05/2008 | 16:00 | | Robert Strzodka | | Integrative Scientific Computing - From Differential Equations to Hardware Circuits | E1 4, 024 | Senior Researcher Series |
11/05/2008 | 16:00 | | Robert Strzodka | | Integrative Scientific Computing - From Differential Equations to Hardware Circuits | E1 4, 024 | Senior Researcher Series |
11/04/2008 | 14:15 | | Rene Sitters | | Approximation algorithms for scheduling on unrelated machines | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/03/2008 | 19:00 | | Teresa Melo | | Mathematik im Krankenhaus - Planungsunterstützung in der Krankenhauslogistik | Rathaus, Festsaal | Ringvorlesung |
11/03/2008 | 16:00 | c.t. | Johannes Lengler | | Factoring integers with a Quantum Computer | E2.4 - math building, HS IV | Talk |
11/03/2008 | 12:00 | s.t. | Roxana Ragneala | | Defect Prediction using Temporal Aspects | E1 4, 024 | Master Seminar Talk |
10/31/2008 | 15:30 | | Silke Wagner | | Stability Proofs for Hybrid Systems | E1 4, 024 | Promotionskolloquium |
10/30/2008 | 16:00 | | Manolis Koubarakis | | Storing and querying RDFS data on top of DHTs: the Case of Atlas | E1 4, 433 | Talk |
10/30/2008 | 10:15 | | Christian Hoffmann | | Computing the Interlace Polynomial Using Tree Decompositions | E1 3 - CS, 014 | Talk |
10/30/2008 | 10:00 | | Christian Zimmer | | Approximate Information Filtering in Structured Peer-to-Peer Networks | E1 4, 024 | Promotionskolloquium |
10/29/2008 | 16:00 | | Gerard Berry | | The evolution of the synchronous programming model | E1 5, 204 | SWS Distinguished Lecture Series - Winter |
10/27/2008 | 16:00 | c.t. | Johannes Lengler | | Quantum Computing and Quantum Complexity | E2.4 - math building, HS IV | Talk |
10/27/2008 | 12:05 | s.t. | Avishek Anand | | "Peer-to-Peer Infrastructure for Web Archives and Time-Travel Search" | E1 4, 024 | Master Seminar Talk |
10/24/2008 | 13:30 | | Ho-Leung Chan | | Weighted flow time does not admit $O(1)$-competitive algorithms | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/22/2008 | 14:00 | | Chien-Chung Huang | | Equilibria of Collusive Flow Games are not Unique | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/20/2008 | 12:00 | s.t. | Jennifer Gerling | | IMPRS-CS Master Seminar | E1 4, R024 | Welcome Meeting for IMPRS-CS Students |
10/17/2008 | 13:30 | | Nikolaos Fountoulakis | | Critical conditions for the emergence of a giant component in random graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/16/2008 | 17:30 | | Prof. Thomas Lengauer | | Modellierung und Simulation biologischer Prozesse | E1 4, 024 | Öffentlicher Vortrag |
10/16/2008 | 16:45 | | Prof. Arndt Bode | | IT-Perspektiven aus Sicht der TU München | E1 4, 024 | Öffentlicher Vortrag |
10/16/2008 | 16:00 | | Prof. Henning Kagermann | | IT-Perspektiven aus Sicht der SAP | E1 4, 024 | Öffentlicher Vortrag |
10/16/2008 | 13:30 | | Prof. Hans-Peter Seidel et al. | | Präsentation des Exzellenz-Clusters "Multimodal Computing and Interaction | E1 4, 024 | Öffentlicher Vortrag |
10/15/2008 | 16:00 | | Rob van Stee | | The effects of selfishness on scheduling problems | E1 4, 024 | Senior Researcher Series |
10/15/2008 | 14:00 | | Wojciech Jarosz | | Efficient Monte Carlo Rendering Techniques | E1 4, 024 | Talk |
10/14/2008 | 09:00 | s.t. | Avishek Anand | | Peer-to-Peer Infrastructure for Web Archives and Time-Travel Search | E1 4, 024 | PhD Application Talk |
10/14/2008 | 09:00 | s.t. | Chinmay Narayan | | Approaches for designing extensible static code analyzers | E1 4, 024 | PhD Application Talk |
10/09/2008 | 14:00 | | Alexander Reuter | | "Design and Implementation of an Efficient Scientific HDR Image Viewer" | E1 4, 019 | Talk |
10/09/2008 | 11:00 | | Michael Fellows | | More on W[1]-hardness | E1 4, 023 | Talk |
10/08/2008 | 11:15 | | Michael Fellows | | Parameterized approximation | E1 4, 3rd-floor rotunda | Talk |
10/07/2008 | 11:15 | s.t. | Michael Fellows | | Graph minors and well-quasi-ordering 2 | E1 4, 3rd-floor rotunda | Lecture |
10/06/2008 | 15:15 | | Heiko Röglin | | Congestion Games: Optimization in Competition | E1 3 - CS, 016 | Talk |
10/06/2008 | 11:15 | s.t. | Michael Fellows | | Graph minors and well-quasi-ordering 1 | E1 4, 3rd-floor rotunda | Lecture |
10/02/2008 | 11:15 | s.t. | Michael Fellows | | Open problems and emerging frontiers in parameterized complexity | E1 4, 024 | Talk |
10/01/2008 | 10:30 | s.t. | Michael Fellows | | W-hardness: a tutorial | E1 4, 024 | Talk |
09/30/2008 | 10:30 | s.t. | Michael Fellows | | Connections between parameterized complexity and approximability | E1 4, 024 | Talk |
09/29/2008 | 10:30 | s.t. | Michael Fellows | | An introduction to parameterized complexity | E1 4, 024 | Talk |
09/24/2008 | 14:00 | | Elena Kleiman | | Selfish Bin Packing | E1 4, 024 | Talk |
09/23/2008 | 13:00 | | Verschiedene | | Bundeswettbewerb für Informatik 22. - 26.9.08 | E1 4, 024 | Miscellaneous |
09/22/2008 | 15:00 | s.t. | Prof Dr Nicole Schweikardt | | Logic and Data Exchange: Which solutions are "good" solutions? | E1 4, 024 | Distinguished Speaker Series Max
Planck Institute for Informatics and Cluster of Excellence Multimodal Computing and Interaction |
09/22/2008 | 11:00 | s.t. | Dr. Cordelia Schmid | | Large Scale Image Search | E1 4, 024 | Distinguished Speaker Series Max
Planck Institute for Informatics and Cluster of Excellence Multimodal Computing and Interaction |
09/19/2008 | 13:30 | | Anna Huber | | On Quasirandom Rumor Spreading | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/18/2008 | 15:30 | | Dalibor Topic | | The Evolution of Java(TM) software on GNU/Li | E1 5, Rotunda, 6th floor | SWS Colloquium |
09/17/2008 | 11:00 | | Dr. Hisashi Kashima | | Link Propagation: A Semi-supervised Learning Algorithm for Link Prediction | E1 4, 023 | Talk |
09/12/2008 | 11:00 | s.t. | Matthias Horbach | | Superposition for Fixed Domains | E1 4, Rotunda 6th floor | RG1 Group Meeting |
09/10/2008 | 10:15 | | Justin Rattner | | The Rise of Visual Computing at Intel | Aula, A 3.3, Lecture hall | Lecture |
09/08/2008 | 10:00 | | Harry Li | | FlightPath: Obedience vs. Choice | E1 5, rotunda 6th floor | SWS Colloquium |
09/05/2008 | 17:00 | | not specified | | Fiesta Latina | E1 4, Ground Floor | Fest |
09/05/2008 | 13:30 | | Konstantinos Panagiotou | | Adequate Performace Measures for the Paging Problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/03/2008 | 16:00 | | Thomas Lengauer | | Chasing the virus - Computer help for treating AIDS patients | E1 4, 024 | Senior Researcher Series |
09/03/2008 | 13:30 | | Benjamin Doerr | | A souvenir from Hungary (other's work) | E1 4, 024 | Talk |
08/28/2008 | 16:00 | | Soeren Laue | | Approximation Algorithms for Geometric Optimization Problems | E1 4, 024 | Promotionskolloquium |
08/27/2008 | 16:00 | | Geoffrey Washburn | | "Foundations for the Scala Language" | E1 5, rotunda 6th floor | SWS Colloquium |
08/27/2008 | 13:30 | | Ag 1 | | AG 1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
08/26/2008 | 16:00 | | Patrick Cousot | | Static Software Analysis, in the Large | E1 5, 019 | SWS Distinguished Lecture Series - Spring |
08/26/2008 | 13:00 | s.t. | Serhii Kosov | | The optic flow field in computer vision and non-destructive testing | E1 4, 019 | AG4 Seminar |
08/12/2008 | 11:00 | | Aleksejs Kontijevskis | | A look inside HIV resistance and cytochrome P450s pharmacogenetics using proteochemometrics approach | E1 4, 024 | Talk |
08/11/2008 | 13:30 | | Ross McConnell | | Split Decomposition of Graphs | E1 4, 024 | Lecture |
08/08/2008 | 13:30 | | Kurt Mehlhorn | | Assigning Papers To Reviewers | E1 4, 024 | Lecture |
08/06/2008 | 10:00 | s.t. | Christopher Lynch | | Active Intruders with Caps | E1 4, Rotunda, 6th floor | Talk |
07/25/2008 | 11:00 | | Daniel Kroening | | Verifying C++ programs that use the STL | E1 5, 007 | SWS Colloquium |
07/22/2008 | 10:00 | c.t. | Thomas Sauerwald | | Something on Broadcasting | E1 4, 3rd floor rotunda | Forschungsseminar |
07/18/2008 | 14:00 | | Rajeev Alur | | Architecture-aware Analysis of Concurrent Software | E1 5, 019 | SWS Distinguished Lecture Series - Spring |
07/17/2008 | 15:00 | | Michael Ernst | | Practical pluggable types for Java | E1 5, Rotunda 6th floor | SWS Colloquium |
07/17/2008 | 14:00 | | Ina Schaefer | | Integrating Formal Verification into the Model-based Development of Adaptive Embedded Systems | E1 5, 007 | SWS Colloquium |
07/17/2008 | 13:00 | | Daniel Dumitriu | | How much Geometry it takes to reconstruct a 2-Manifold in 3-Space | E1 3 -Inf. Geb, 003 | Ringvorlesung |
07/16/2008 | 16:00 | s.t. | Michael Kipp | | Synthesizing and validating nonverbal behavior for virtual characters | E1 4, 024 | Talk |
07/16/2008 | 14:00 | | Kavitha Telikepalli | | Faster algorithms for all-pairs min cuts | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/16/2008 | 14:00 | c.t. | Adrian Barbu | | Training an Active Random Field for Real-Time Image Denoising | MPI, 019 | Talk |
07/14/2008 | 16:00 | | Athicha Muthitacharoen | | The Expandable Network Disk | E1 5, Rotunda 6th floor | SWS Colloquium |
07/14/2008 | 16:00 | | Jonathan Cohen | | Visually Turbulent Fluid Simulation using CUDA | E1 3 Comp. Science, Lect.Hall 002 | Talk |
07/14/2008 | 10:00 | | Jonathan Cohen | | SpiderMan-3: Applied Appearance Modeling | E1 3 Comp. Science, Lect.Hall 002 | Lecture |
07/11/2008 | 11:00 | s.t. | Patrick Wischnewski | | Contextual Rewriting in SPASS | E1 4, Rotunda 6th floor | Talk |
07/10/2008 | 13:00 | | Thorsten Herfet | | Transmission Control for the Future Media Internet | E1 3 -Inf. Geb, 003 | Ringvorlesung |
07/10/2008 | 11:15 | | Konstantinos Morfonios | | Cube-Lifecycle Management and Applications | E1 4, 433 | Talk |
07/10/2008 | 10:15 | | Nicoleta Preda | | XML processing in DHT networks | E1 4, 433 | Talk |
07/09/2008 | 16:00 | c.t. | Christoph Hartmann | | Modeling of Flexible Side Chains for Protein-Ligand Docking | E1 4, 024 | Promotionskolloquium |
07/09/2008 | 14:00 | | Holger H. Hoos | | Taming the complexity monster | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/08/2008 | 10:00 | | Andrea Campagna | | Dynamic maintenance of approximate solutions for the traveling salesman problem | E1 1 - Informatik, 407 | Talk |
07/08/2008 | 10:00 | | Arjun Jain | | Automatic Trademark Detection and Recognition in Sport Videos | E1 1 - Informatik, 407 | Talk |
07/08/2008 | 10:00 | | Bilyana Taneva | | Conjoint Analysis: A Tool for Preference Analysis | E1 1 - Informatik, 407 | Talk |
07/08/2008 | 10:00 | | Gabriel Manolache | | Index-based Snippet Generation | E1 1 - Informatik, 407 | Talk |
07/04/2008 | 13:30 | s.t. | Rouven Naujoks | | An O(1)-Approximation Algorithm for the k-Set Broadcast Problem | E1 4, D1 Rotunde | AG1 Mittagsseminar (own work) |
07/03/2008 | 15:00 | | Neal Glew | | Ct and Pillar: Building a Foundation for Many-Core Programming | E1 5, Rotunda 6th floor | SWS Colloquium |
07/03/2008 | 13:00 | | Stefan Popov | | Real Time Ray Tracing and Global Illumination on Highly Parallel Machines | E1 3 -Inf. Geb, 003 | Ringvorlesung |
07/02/2008 | 17:00 | | Kurt Mehlhorn | | Homecoming Party | E1 4, Ground Floor | Meeting |
07/02/2008 | 16:00 | s.t. | Prof Dr Bernt Schiele | | Perceptual Computing and Computer Vision | E1 4, 024 | Distinguished Speaker Series Max
Planck Institute for Informatics and Cluster of Excellence Multimodal Computing and Interaction |
07/02/2008 | 13:00 | s.t. | Jeppe Revall Frisvad | | Light Scattering by Turbid Materials | E1 4, 024 | Talk |
06/30/2008 | 17:00 | | Corneliu Popeea | | Disjunctive Invariants for Modular Static Analysis | E1 5, Rotunda 6th floor | SWS Colloquium |
06/27/2008 | 15:15 | | Xing Xie | | Understanding User Behavior Geospatially | E1 4, Rotunda 4th floor | Talk |
06/26/2008 | 16:15 | s.t. | Colas Le Guernic | | Zonotopes for Hybrid Systems Reachability Analysis | E1 4, Rotunda 6th floor | Talk |
06/26/2008 | 16:00 | | Amit Kumar | | Minimizing average flow-time : the unrelated case | E1 4, Rotunda 3rd floor | Lecture |
06/26/2008 | 13:00 | | Konstantin Halachev | | Applying Bioinformatics Methods to Epigenetics | E1 3 -Inf. Geb, 003 | Ringvorlesung |
06/24/2008 | 13:05 | s.t. | Rossen Dimov | | On query optimal BVH construction algorithms | E1 4, 024 | Master Seminar Talk |
06/23/2008 | 15:30 | | Sriram Pemmaraju | | The Randomized Coloring Procedure with Symmetry-Breaking. | E1 4, Rotunda 3rd floor | AG1 Mittagsseminar (own work) |
06/23/2008 | 14:00 | s.t. | Prof Dr Klaus-Robert Müller | | Machine Learning and Applications | E1 4, 024 | Distinguished Speaker Series Max
Planck Institute for Informatics and Cluster of Excellence Multimodal Computing and Interaction |
06/20/2008 | 15:00 | s.t. | Steve Marschner | | Rendering materials with complex 3D structure | E1 4, 024 | Talk |
06/20/2008 | 10:30 | | Pham Hung Son & Robert Luce | | Stundenplanerzeugung | E1 4, Rotunde 3rd floor | Lecture |
06/19/2008 | 14:30 | | Dieter Brunotte | | Masterseminar: Propp-Maschine in Higher-dimensional grids | E1 4, 3rd floor rotunda | Miscellaneous |
06/19/2008 | 13:00 | | Shady Elbassuoni | | Task Aware Search Personalization | E1 3 -Inf. Geb, 003 | Ringvorlesung |
06/18/2008 | 16:00 | | Bodo Rosenhahn | | Markerless Motion Capture: the goals, the vision and (reaching) the impossible | E1 4, 024 | AG4 Group Meeting |
06/18/2008 | 16:00 | | Maurice Herlihy | | Is Transactional Memory Scalable | E1 5, 019 | SWS Distinguished Lecture Series - Spring |
06/18/2008 | 14:00 | | Marjan Celikik | | Fast Error-Tolerant Search on Very Large Texts | E1 4, 022 | AG1 Mittagsseminar (own work) |
06/18/2008 | 11:00 | | Tomasz Müldner | | "Secure Publishing using Role Based Access Control Policies for Fragments of XML Documents" | E1 4, room 21 | Talk |
06/18/2008 | 10:30 | | Liuba Shrira | | "Split Snapshots: A New Approach to Time Travel in Storage" | E1 5, rotunda 6th floor | SWS Colloquium |
06/17/2008 | 13:05 | s.t. | Qi Gao | | Video Compression using PDEs and Optic Flow | E1 3 - Hörsaal Gebäude, 003 | Master Seminar Talk |
06/17/2008 | 13:00 | s.t. | Prof Dr Leonid Libkin | | Databases Meet Verification: What do we have in common, and how can we help each other? | E1 4, 024 | Distinguished Speaker Series Max
Planck Institute for Informatics and Cluster of Excellence Multimodal Computing and Interaction |
06/17/2008 | 13:00 | s.t. | Cristina Nader Vasconcelos | | Early vision processing on the GPU | E1 4, 019 | AG4 Group Meeting |
06/13/2008 | 13:30 | | Seth Pettie | | Analyzing Splay Trees Using Davenport-Schinzel Sequences | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/13/2008 | 11:00 | | Rostislav Rusev | | Bitvector Reasoning with SPASS | E1 4, Rotunda 6th floor | Talk |
06/12/2008 | 15:00 | | Prof. Dr. Wolfgang Maass | | Smartening Retail Communications: Building a Bridge From RFID Data Via Semantic Product Descriptions to Consumer Communications | DFKI, -2.17 (Reuse) | Talk |
06/12/2008 | 13:00 | | Catalin Hritcu | | Automated Verification of Remote Electronic Voting Protocols | E1 3 -Inf. Geb, 003 | Ringvorlesung |
06/12/2008 | 13:00 | | Prof. Andreas Butz | | Interaction with Computers and Media in our Everyday Environments | DFKI, -2.17 (Reuse) | Talk |
06/12/2008 | 10:30 | | Prof. Dr. Ralph Bergmann | | Intelligent Product Recommendation | DFKI, -2.17 (Reuse) | Talk |
06/12/2008 | 10:00 | | miscellaneous | | Minisymposium Evolutionary Algorithms | E1 4, rotunde 3rd floor | Miscellaneous |
06/12/2008 | 08:30 | | Prof. Dr. Antonio Krueger | | Designing Assistive Technologies for Instrumented Spaces | DFKI, -2.17 (Reuse) | Talk |
06/11/2008 | 14:15 | | Laurent Demaret | | Contextual Image Compression based on Adaptive Delaunay Triangulations | E1 1, 3.06 | Talk |
06/11/2008 | 14:00 | | miscellaneous | | Minisymposium Evolutionary Algorithms | E1 4, 024 | Miscellaneous |
06/10/2008 | 13:05 | s.t. | Marek Lech Hamerlik | | Anonymity and Censorship-resistance in Semantic Overlay Networks | E1 4, 024 | Talk |
06/09/2008 | 13:00 | | Gero Greiner | | Evolutionary Algorithms for the Graph Bisection Problem | E1 4, 024 | Talk |
06/06/2008 | 15:00 | s.t. | Ramesh Raskar | | Camera Culture | E1 4, 024 | Talk |
06/06/2008 | 14:00 | | Khaled Elbassioni | | A complete characterization of Nash-solvability of bimatrix games in terms of the exclusion of certain $2\times 2$ subgames | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/05/2008 | 16:00 | | Dr. Iris Antes | | Strukturelle Flexibilität in Wirkstoffdesign und Proteinmodellierung | E1 4, 024 | Habilitationsvortrag und Kolloquium |
06/05/2008 | 13:00 | | Michael Backes | | On Machine-assisted Verification of Cryptography, and on Novel Eavesdropping Techniques | E1 3 -Inf. Geb, 003 | Ringvorlesung |
06/04/2008 | 16:00 | | Uwe Waldmann | | First-order proof systems and backround theories | E1 4, 024 | Senior Researcher Series |
06/04/2008 | 14:00 | s.t. | Imran Rauf | | Some fixed-parameter tractable classes of hypergraph duality and related problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/03/2008 | 13:05 | s.t. | Minko Torodov Dudev | | Personalization of Search on Structured Data | E1 4, 024 | Talk |
06/03/2008 | 13:00 | | Mike Sips | | Consistent Class Embeddings | E1 4, 019 | AG4 Group Meeting |
05/30/2008 | 13:30 | | Michael Kerber | | Exact Arrangements on Tori and Dupin Cyclides | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/29/2008 | 15:00 | | Rob Sherwood | | "Securing and Understanding the Internet" | E1 5, rotunda 6th floor | SWS Colloquium |
05/29/2008 | 13:00 | | Rüdiger Ehlers | | Using Total Informedness for Partial Design Verification | E1 3 -Inf. Geb, 003 | Ringvorlesung |
05/27/2008 | 16:00 | | Virgile Prevosto | | Specification and Analysis of C(++) programs with Frama-C and ACSL. | E1 5, rotunda 6th floor | SWS Colloquium |
05/27/2008 | 13:05 | s.t. | Ivan Popov | | Riemann-Roch Theorem for Graphs and Tropical Curves | E1 4, 024 | Talk |
05/23/2008 | 14:00 | | Edda Happ | | Evolutionary Algorithms and Sorting | E1 4, 023 | AG1 Mittagsseminar (own work) |
05/21/2008 | 14:00 | | Deepak Ajwani | | Characterizing the performance of flash memory storage devices | E1 4, 022 | AG1 Mittagsseminar (own work) |
05/21/2008 | 13:00 | | Mahmoud Fouz | | Applications of Kolmogorov Complexity | E1 4, 024 | Ringvorlesung |
05/20/2008 | 13:05 | s.t. | Dmytro Puzhay | | Algorithmic Analysis in Continuous-Time Markov Decision Processes | E1 4, R024 | Talk |
05/16/2008 | 16:00 | | Byron Cook | | "Proving that software eventually does something good" | Fraunhofer-Zentrum [KL], Auditorium | SWS Distinguished Lecture Series - Spring |
05/15/2008 | 15:00 | | Arno Eigenwillig | | Real Root Isolation for Exact and Approximate Polynomials Using Descartes' Rule of Signs | E1 1 - Informatik, 407 - Konferenzraum | Promotionskolloquium |
05/15/2008 | 13:00 | | Fabian Suchanek | | YAGO - A Core of Semantic Knowledge | E1 3 -Inf. Geb, 00 | Ringvorlesung |
05/14/2008 | 14:00 | | Pascal Schweitzer | | The Incompressibility Method and Lovász' Local Lemma | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/13/2008 | 13:05 | s.t. | Olha Hocharova | | Data-Flow Based Detection of Loop Bounds on C code | E1 4, R024 | Talk |
05/09/2008 | 13:30 | | Christine Chung | | The Price of Stochastic Anarchy | E1 4, 024 | Talk |
05/08/2008 | 13:00 | | Andrzej Wasylkowski | | Mining Operational Preconditions | E1 3 -Inf. Geb, 003 | Ringvorlesung |
05/07/2008 | 16:00 | | Thorsten Thormählen | | Camera Tracking and 3 D Reconstruction from Video | E1 4, 024 | Senior Researcher Series |
05/07/2008 | 14:00 | | Katrina Ligett | | Regret Minimization and the Price of Total Anarchy | E1 4, 024 | Talk |
05/06/2008 | 13:00 | s.t. | Oliver Grau | | 3D content creation for broadcast applications | E1 4, 019 | AG4 Group Meeting |
05/05/2008 | 11:00 | | Thomas Reps | | WYSINWYX: What You See Is Not What You eXecute | E1 5, 019 | SWS Distinguished Lecture Series - Spring |
04/30/2008 | 16:00 | s.t. | Andreas Krause | | Optimizing Sensing from Water to the Web | E1 4, 024 | Talk |
04/30/2008 | 14:00 | | Rajiv Raman | | Drawing Interval Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/30/2008 | 11:00 | c.t. | Himabindu Pucha | | Rethinking bulk data transfers for next-generation applications | E1 5, 019 | SWS Colloquium |
04/28/2008 | 16:00 | | Rupak Majumdar | | Dataflow Analysis for Asynchronous Programs | G26 [KL], 57/210 | SWS Distinguished Lecture Series - Spring |
04/25/2008 | 14:30 | | Tobias Friedrich | | Verwendung und Vermeidung von Zufall (German Battlezone Talk) | E1 4, 3rd floor rotunda | Meeting |
04/24/2008 | 13:00 | | Joachim Weickert | | Image Compression with Differential Equations | E1 3 -Inf. Geb, 003 | Ringvorlesung |
04/23/2008 | 14:00 | | Magnus Wahlstrom | | Upper bound analysis of branching algorithms | E1 4, 024 | AG1 Mittagsseminar (others' work) |
04/22/2008 | 14:00 | | Manfred Jaeger | | Probabilistic modeling and learning in relational domains | E1 4, 021 | Talk |
04/22/2008 | 13:00 | | Stefan Holder | | Replication in Unstructured P2P Networks with Availability Constraints | E1 4, 024 | Masterseminar |
04/18/2008 | 13:30 | | Spyros Angelopoulos | | Paging and list update with locality of reference | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/18/2008 | 11:00 | | Viorica Sofronie-Stokkermans | | On local reasoning in verification | E1 4, Rotunda 6th floor | Talk |
04/17/2008 | 13:30 | | AG 1 | | AG 1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
04/17/2008 | 13:00 | | Eyad Alkassar | | Formal Pervasive Verification of a Paging Mechanism | E1 3 -Inf. Geb, 003 | Ringvorlesung |
04/16/2008 | 14:00 | | Dr. Paul Debevec | | New Techniques for Acquiring, Rendering, and Displaying Human Performances | E1 4, 024 | Talk |
04/11/2008 | 16:00 | | Thomas Ball | | Systematic Testing of Concurrent Programs with CHESS | E1 5, 019 | SWS Distinguished Lecture Series - Spring |
04/11/2008 | 13:30 | | Stefan Kratsch | | A short introduction to parameterized approximation | E1 4, 024 | AG1 Mittagsseminar (others' work) |
04/09/2008 | 14:00 | | Rolf Harren | | Cutting Christmas Cookies | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/09/2008 | 14:00 | | Kashi Vishwanath | | Demystifying Internet Traffic | E1 5, 019 | SWS Colloquium |
04/09/2008 | 11:00 | | David Kirk | | NVIDIA CUDA Software and GPU Parallel Computing Architecture | A3 3 (Aula), 024 | Talk |
04/08/2008 | 13:00 | | Hanno Ackermann | | Efficient Computational Scheme for 3-D Shape Reconstruction from Video Images | E1 4, 019 | AG4 Group Meeting |
04/07/2008 | 15:00 | | Dimitrios Vytiniotis | | Practical Type Inference for first-class Polymorphism | E1 5, Rotunda | SWS Colloquium |
04/04/2008 | 16:00 | | Patrice Godefroid | | Software Model Checking 2.0 | 42, 110 | SWS Distinguished Lecture Series - Spring |
04/03/2008 | 14:30 | | Kevin Chang | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
04/02/2008 | 16:00 | | Ralf Schenkel | | Managing Social Wisdom: Efficient and Effective Search in Social Tagging Networks | E1 4, 024 | Senior Researcher Series |
04/02/2008 | 14:00 | | Vikram Sharma | | Real Root Isolation Using Continued Fractions | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/01/2008 | 14:00 | | Christian Liebchen | | Lower Bounds for Strictly Fundamental Cycle Bases in Grid Graphs | E1 4, 024 | Talk |
03/28/2008 | 13:30 | | Peter Richter | | Quantum walks and their applications | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/27/2008 | 14:30 | | Khaled Elbassioni | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/26/2008 | 14:00 | | Benjamin Doerr | | Parking for Dummies and a square-root n for Kurt | E1 4, 3rd floor rotunda | Forschungsseminar |
03/25/2008 | 16:00 | | Greg Morrisett | | Ynot: integrating effects with dependent types | E 1 4, 019 | SWS Distinguished Lecture Series - Spring |
03/20/2008 | 16:00 | | Johannes Gehrke | | Scalability in Computer Games and Virtual Worlds | E1 5, 019 | SWS Distinguished Lecture Series |
03/20/2008 | 15:00 | | Mikael Kalms | | Developing technology for computer games in a sensible manner | E1 4, 019 | Talk |
03/20/2008 | 14:30 | | Hubert Chan | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/19/2008 | 14:00 | | Pascal Schweitzer | | Counting Defective Parking Functions | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/17/2008 | 13:00 | | Verschiedene | | Deduktionstreffen 2008 17. und 18.3.08 | E1 4, R 024 | Meeting |
03/14/2008 | 15:00 | | Dr. Sihem Amer-Yahia | | Efficiency and Effectiveness of Socially Meaningful Recommendations | E1 5, 433 | Talk |
03/14/2008 | 14:15 | | Dr. Divesh Srivastava | | The Bellman data quality browser | E1 5, 433 | Talk |
03/13/2008 | 14:30 | | Khaled Elbassioni | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/12/2008 | 14:00 | | Nicole Megow | | Coping with Incomplete Information in Scheduling: Stochastic and Online Models | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/11/2008 | 13:00 | | Ruxandra Lasowski | | Optimized visualization for needle guidance in Radiofrequency (RF) Liver Ablation | E1 4, 019 | AG4 Talk |
03/06/2008 | 16:00 | | Bryan Ford | | Intuitive Global Connectivity for Personal Mobile Devices | E1 5, 019 | SWS Colloquium |
03/06/2008 | 14:30 | | Julian Mestre | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/05/2008 | 16:00 | | Khaled Elbassioni | | How to price items: mechanisms, complexity, and algorithms | E1 4, 024 | Senior Researcher Series |
03/05/2008 | 14:00 | | Kazuhisa Makino | | Berge Multiplication for Monotone Boolean Dualization | E1 4, 024 | Talk |
03/03/2008 | 16:00 | | Matthew Might | | "Static analysis of higher-order programs" | E1 5, 019 | SWS Colloquium |
02/29/2008 | 11:00 | | Petr Kuznetsov | | "Failure Detectors and Topology of Distributed Computing" | E1 5, 019 | SWS Colloquium |
02/28/2008 | 15:00 | c.t. | Holger Bast | | Was alles hinter der neuen DBLP Suche steckt | E1.3 (neue Informatik), HS001 | Antrittsvorlesung |
02/28/2008 | 14:30 | | Spyros Angelopoulos | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/25/2008 | 09:00 | | Christoph Wagner | | PhD Application Talk: Tree 2-Hop Cover. An index structure for connectivity tests in graph databases | E1 4, 024 | Talk |
02/25/2008 | 09:00 | | David Koch | | PhD Application Talk: Device Log Mining | E1 4, 024 | Talk |
02/25/2008 | 09:00 | | Ernst Moritz Hahn | | PhD Application Talk: PASS: Predicate Abstraction in Probabilistic Model Checking | E1 4, 024 | Talk |
02/25/2008 | 09:00 | | Mahmoud Fouz | | The Geometric Cover Polynomial - Hardness and Inapproximability | E1 4, 024 | Talk |
02/25/2008 | 09:00 | | Michael Roth | | PhD Application Talk: Representing FrameNet in Semantic Space. | E1 4, 024 | Talk |
02/25/2008 | 09:00 | | Miguel Granados | | PhD Application Talk: Background Estimation from Photographs with Application to GhostRemoval in High Dynamic Range Image Reconstruction | E1 4, 024 | Talk |
02/25/2008 | 09:00 | | Oana Ciobotaru | | PhD Application Talk: Efficient long-term secure universally composable commitments | E1 4, 024 | Talk |
02/22/2008 | 13:30 | | Daniel Dumitriu | | How much Geometry it takes to Reconstruct a 2-Manifold in R^3 | E1 4, 021 | AG1 Mittagsseminar (own work) |
02/21/2008 | 17:00 | | Joachim Rippel et al. | | Preisverleihung des Journalistenpreises Informatik | E1 4, Foyer | Festkolloquium |
02/21/2008 | 14:30 | | Kevin Chang | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/21/2008 | 13:00 | | Peter Druschel | | tba | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
02/19/2008 | 13:15 | | Gabriel Manolache | | Information retrieval | E1 4, 024 | Masterseminar/Talk |
02/15/2008 | 14:15 | | Film | | Filmvorführung: Wolfgang Doeblin – ein Mathematiker wird wiederentdeckt | E2 5 - Mathematik, HS I (!) | Ringvorlesung |
02/14/2008 | 14:30 | | Giorgos Christodoulou | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/14/2008 | 14:15 | | Alexis Heloir | | "The taking into account of role-shift in sign language generation : insights from Embodied Conversational Agents" | D3 1 - DFKI, -2.17, ground level | Talk |
02/14/2008 | 13:00 | | Yassen Assenov | | Computational Epigenetics in Cancer Research | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
02/12/2008 | 13:15 | | Laura Andreescu | | Modeling Peer to Peer Systems | E1 4, 024 | Masterseminar/Talk |
02/08/2008 | 14:15 | | Anselm Lambert | | Die Coß nach Michael Stifel als Anregung für den heutigen Mathematikunterricht | E2 5 - Mathematik, HS II | Ringvorlesung |
02/08/2008 | 13:30 | | Julian Mestre | | SODA report | E1 4, 024 | Lecture |
02/08/2008 | 11:00 | | Fabrice Nahon | | Proof by induction in sequent calculus modulo | E1 4, Rotunda 6th floor | Talk RG1 Group Meeting |
02/07/2008 | 14:30 | | Julian Mestre | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/07/2008 | 13:00 | | Mathias Möhl | | RNA Structure Alignment including Pseudoknots | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
02/06/2008 | 16:00 | | Meinard Müller | | Multimedia Retrieval - Music and Motion | E1 4, 024 | Senior Researcher Series |
02/06/2008 | 14:00 | | Soeren Laue | | Geometric Set Cover and Hitting Sets for Polytopes in R^3 | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/01/2008 | 14:15 | | Winfried Scharlau | | Leben und Werk von Alexander Grothendieck | E2 5 - Mathematik, HS II | Ringvorlesung |
01/31/2008 | 14:30 | | Khaled Elbassioni | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
01/31/2008 | 13:00 | | Julia Luxenburger | | Personalization of Web Search | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
01/28/2008 | 13:30 | | Jan Foniok | | Looking for the unique sink of a cube | E1 4, 24 | Talk |
01/24/2008 | 14:30 | | Rajiv Raman | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
01/24/2008 | 13:00 | | Guoping Tan | | Adaptive Hybrid Error Correction Scheme under Strict Delay | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
01/22/2008 | 14:00 | | Prof. Überla | | "Current state and difficulties in HIV vaccine development" | E1 4, 021 | AG3 Talk |
01/22/2008 | 13:15 | | Qi Gao | | DCT based watermarking | E1 4, 024 | Masterseminar/Talk |
01/21/2008 | 15:00 | s.t. | Prof. Dr. Rolf Backofen | | Translational Control: Non-Coding RNAs and Alternative Splicing | E1 4, 024 | AG3 Talk |
01/21/2008 | 11:00 | | Lutz Kettner | | Software in Computational Geometry | E1 4, 024 | Antrittsvorlesung |
01/18/2008 | 14:00 | | Paul Francis | | Scaling Internet Routing with Legacy Protocols | G26 [KL], 57/210 | SWS Distinguished Lecture Series |
01/18/2008 | 13:15 | | Hala Skaf-Molli | | Supporting Collaborative Writing of XML Documents | E1 4, HS 021 | Logik-Seminar |
01/18/2008 | 11:00 | | Thomas Sturm | | An Invitation to Discover REDLOG for Your Work | E1 4, Rotunda 6th floor | Talk RG1 Group Meeting |
01/17/2008 | 16:00 | | Stefan Kratsch | | "Kernelizations for Chordal Completion | E1 4, 024 | Lecture |
01/17/2008 | 15:00 | | Julian Mestre | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
01/17/2008 | 13:00 | | Shady Elbassuoni | | Search Personalization in Graph IR | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
01/17/2008 | 12:30 | | Madhusudan Manjunath | | Optimizing absolute Gaussian curvature locally | E1 4, 024 | Lecture |
01/16/2008 | 14:00 | | Michael Kerber | | Exact and Efficient 2D-Arrangements of Arbitrary Algebraic Curves | E1 4, 024 | AG1 Mittagsseminar (own work) |
01/15/2008 | 13:15 | | Richard Socher | | A Learning Based Hierarchical Model for Vessel Segmentation | E1 4, 024 | Talk/Masterseminar |
01/15/2008 | 13:00 | | Christoph Garbe | | Highly accurate approaches to motion estimation – quantifying fluid dynamical transport phenomena | E1 4, 019 | Lecture |
01/10/2008 | 16:30 | | Stefanie Scherzinger | | Efficient Main Memory-based XML Stream Processing | E1 1 - Informatik, 407 | Promotionskolloquium |
01/10/2008 | 13:00 | | Oliver Vogel | | Perspective Shape from Shading | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
01/09/2008 | 16:00 | | Alice McHardy | | Data-driven research in computational biology: from metagenomics to influenza research | E1 4, 024 | Senior Research Series |
01/08/2008 | 13:15 | | Sebastian Limbach | | Field: Computational Geometry | E1 4, 024 | Masterseminar/Talk |
12/20/2007 | 14:00 | | Juan Navarro Perez | | "Encodings of Bounded LTL Model Checking in EffectivelyPropositional Logic" | E1 5, rotunda 6th floor | SWS Colloquium |
12/20/2007 | 13:00 | | Jasmina Bogojeska | | Methods for Removing bias from Clinical Datasets | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
12/18/2007 | 13:15 | | Bilyana Taneva | | Field: Machine Learning, Algorithms & Data Structure (Conjoint Analysis: A Tool for Preference Analysis) | E1 4, 024 | Masterseminar/Talk |
12/18/2007 | 13:00 | | Elmar Eisemann | | Efficient Represenstations for Interactive Visiblity-Related Queries | E1 4, 019 | AG4 Group Meeting |
12/14/2007 | 14:15 | | Ernst Albrecht | | Zur Geschichte der Wiederentdeckung der archimedischen Körper | E2 5 - Math, HS II | Ringvorlesung |
12/14/2007 | 14:15 | | Dr. Christian Urban | | Nominal Techniques in the Theorem Prover Isabelle | E1 3 - Hörsaal Gebäude, 528 | Talk |
12/14/2007 | 13:30 | s.t. | Ophir Setter | | Exact and Effcient Construction of General Two-Dimensional Voronoi Diagrams via Divide and Conquer of Envelopes in Space | E1 4, 024 | Talk |
12/14/2007 | 13:00 | | Matthias Hein | | Machine learning and computer graphics | E1 4, 019 | AG4 Group Meeting |
12/13/2007 | 16:00 | s.t. | Tobias Friedrich | | Use and Avoidance of Randomness | E1 4, 024 | Promotionskolloquium |
12/13/2007 | 15:30 | | Chad Brown | | Semantics for Higher Order Abstract Syntax | E1 3, 528 | Talk |
12/13/2007 | 14:30 | | Julian | | Approximation Algorithms Reading Group | E1 4, Rotunda 3rd floor | Lecture |
12/13/2007 | 14:15 | | Dr. Christian Urban | | Nominal Techniques in the Theorem Prover Isabelle | E1 3 - Hörsaal Gebäude, 528 | Talk |
12/13/2007 | 13:00 | | Gerhard Weikum | | Integrating DB and IR Technologies for Entity Search and Ranking | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
12/13/2007 | 09:00 | | Meeyoung Cha | | "Trace-driven analysis of streaming services: A deep look into YouTube and a nationwide IPTV" | E1 5, 019 | SWS Colloquium |
12/12/2007 | 17:00 | | Moshe Vardi | | From Lowenheim to PSL | G26 [KL], building 42, lecture hall 110 | SWS Distinguished Lecture Series |
12/12/2007 | 16:00 | | Gerhard Wesp | | The Flight Simulator in Google Earth | E1 3, HS 002 | Talk |
12/12/2007 | 14:00 | | Omid Amini | | Minors, Duality of Width-parameters and Algorithmic Applications | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/11/2007 | 13:15 | | Osama Sammodi | | Incremental relevance feedback for top X | E1 4, 024 | Masterseminar/Talk |
12/11/2007 | 13:00 | | Tobias Pfaff | | Interfacing Geophysics and Hydrology by Inverse Modelling | E1 4, 019 | Lecture |
12/10/2007 | 16:00 | c.t. | Ernst Althaus | | Algorithmen für NP-schwere Probleme | E1 3, 003 | Antrittsvorlesung |
12/07/2007 | 14:15 | | Ernst Albrecht | | Bildende Künstler der italienischen Renaissance als Mathematiker | E2 5 - Math, HS II | Ringvorlesung |
12/07/2007 | 13:30 | | Rajiv Raman | | Max-coloring and online coloring | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/07/2007 | 13:00 | | Andrei Lintu | | Realistic Rendering and Reconstruction of Astronomical Objects and an Augmented Reality Application for Astronomy | E1 4, 019 | AG4 Group Meeting |
12/06/2007 | 15:00 | | Omid Amini | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
12/06/2007 | 13:00 | | Daniel Johannsen | | Combinatorial Enumeration: The Carparking Problem | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
12/05/2007 | 14:00 | | Evangelia Pyrga | | Regret Minimization and Applications | E1 4, 024 | AG1 Mittagsseminar (basic education) |
12/05/2007 | 13:00 | | Adreas Baak | | Efficient Keyframe-based Motion Retrieval | E1 4, 019 | AG4 Group Meeting |
12/04/2007 | 13:15 | | Miguel Granados | | Background estimation from non-time sequence images | E1 4, 024 | Masterseminar/Talk |
12/04/2007 | 13:00 | | Thorsten Herfet | | About CASA & Dynamic Shannon Bounds -- A Get2Know-Event | E1 4, 019 | AG4 Group Meeting |
11/30/2007 | 23:00 | | Ramki Gummadi | | Reliable and efficient programming abstractions for sensor networks | E1 5, 024 | SWS Colloquium |
11/30/2007 | 15:00 | c.t. | Grzegorz Krawczyk | | Perception-inspired Tone Mapping | E1 4, 019 | Promotionskolloquium |
11/30/2007 | 14:15 | | Jörg Eschmeier | | John von Neumann: Von Ordinalzahlen in Quantensprüngen zu Rechenmaschinen | E2 5 - Math, HS II | Ringvorlesung |
11/30/2007 | 13:30 | | Aaron Bradley | | Reasoning about Arrays | E1 4, 024 | Avacs Virtual Seminar |
11/30/2007 | 13:30 | s.t. | Christian Klein | | A Tight Analysis of the (1+1)-EA for the Single Source Shortest Path Problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/30/2007 | 10:00 | | Alessandro Tiberi | | Extracting Semantic Relations from Query Logs | E1 4, 433 | Talk |
11/29/2007 | 15:00 | s.t. | Fachschaft Informatik | | First Official Signing Party | E1 3 - Hörsaal Gebäude, 107 | Meeting |
11/29/2007 | 14:30 | | Julian Mestre | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
11/29/2007 | 13:00 | | Andreas Zeller | | Learning from Software | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
11/29/2007 | 11:30 | | Arturas Mazeika | | Estimating the Selectivity of Approximate String Queries | E1 4, 433 | Talk |
11/27/2007 | 13:15 | | Levan Kasradze | | Implementation of a File-Based Indexing Framework for the TopX Search Engine | E1 4, 024 | Masterseminar/Talk |
11/23/2007 | 14:15 | | Michael Hortmann | | Gleichungen dritten Grades | E2 5 - Math, HS II | Ringvorlesung |
11/23/2007 | 13:30 | | Alantha Newman | | New methods for rounding large-domain SDPs | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/22/2007 | 14:30 | | Anders Gidenstam | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
11/22/2007 | 13:00 | | Dorit Merhof | | Reconstruction and visualization of neuronal pathways from diffusion tensor data | E1 4, 019 | AG4 Group Meeting |
11/22/2007 | 13:00 | | Christian Hoffmann | | Graph Polynomials and Computational Complexity | E1 3 Hörsaal Gebäude, 003 | Ringvorlesung |
11/21/2007 | 14:00 | | Kanela Kaligosi | | Bitonic Sorting | E1 4, 024 | AG1 Mittagsseminar (basic education) |
11/20/2007 | 14:00 | | Andrew D. Gordon | | Baltic: Service Combinators for Farming Virtual Machines | G26 [KL], bldg. 57, rotunda | SWS Distinguished Lecture Series |
11/20/2007 | 13:15 | | Mohammed Abujarour | | Efficient XML query processing and full text search | E1 4, 024 | Masterseminar/Talk |
11/19/2007 | 14:00 | | Ales Smrcka | | Transforming RTL Design to Counter Automaton | E1 5, Rotunda 6th floor | SWS Colloquium |
11/16/2007 | 15:00 | s.t. | Ingmar Weber | | Efficient Index Structures for and Applications of the CompleteSearch Engine | E1 4, 024 | Promotionskolloquium |
11/16/2007 | 14:15 | | Hans Schupp | | Zur Geschichte der magischen Quadrate II | E2 5 - Math, HS II | Ringvorlesung |
11/16/2007 | 10:00 | | Zoltan Miklos | | Understanding tractable decompositions for constraint satisfaction | E1 4, 433 | Talk |
11/15/2007 | 13:00 | | Matthias Hein | | Manifold-valued Thin-plate Splines | E1 3 Hörsaal Gebäude, 003 | Ringvorlesung |
11/14/2007 | 14:00 | | Hubert Chan | | Approximation Algorithms for Bounded Dimensional Metric Spaces | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/13/2007 | 13:15 | | Momchil Rusinov | | tba | E1 4, 024 | Masterseminar/Talk |
11/13/2007 | 13:00 | | Prof. Rheinhard Koch | | Structure from motion and 3D reconstruction by combining2D-visual and 3D-range cameras | E1 4, 019 | AG4 Group Meeting |
11/13/2007 | 11:00 | | Daniel Weinland | | Motion History Volumes and Action Recognition from Arbitrary Views using 3D Exemplars | E1 4, 019 | Lecture |
11/12/2007 | 14:00 | | Debrapriyo Majumdar | | On Spectral Retrieval and Efficient Top-k Query Processing | E1 4, 024 | Promotionskolloquium |
11/09/2007 | 14:15 | | Hans Schupp | | Zur Geschichte der magischen Quadrate I | E2 5 - Math, HS II | Ringvorlesung |
11/09/2007 | 14:00 | | Edward A. Lee | | Title: Can Concurrent Software Ever Be Quality Software? | G26 [KL], rotunda bldg. 57 | SWS Distinguished Lecture Series |
11/09/2007 | 13:30 | | Ag 1 | | Group Meeting | E1 4, 024 | AG1 Group Meeting |
11/09/2007 | 11:00 | | Duc-Khanh Tran | | SMELS: Satisfiability Modulo Equality with Lazy Superposition | E1 4, Rotunda 6th floor | Talk RG1 Group Meeting |
11/08/2007 | 13:00 | | Tunc Ozan Aydin | | Image Quality Assessment in High Dynamic Range | MPI-Gebäude, 024 | Ringvorlesung |
11/02/2007 | 13:30 | | Julian Mestre | | Adaptive Local Ratio | E1 4, 024 | Lecture |
11/02/2007 | 13:00 | | Jacco Bikker | | Ray Tracing in Games | E1 4, 019 | AG4 Group Meeting |
10/31/2007 | 14:00 | | Spyros Angelopoulos | | The Online Steiner Tree Problem in Directed Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/30/2007 | 13:15 | | Henning Peters | | Field: Computer Graphics | E1 4, 024 | Masterseminar/Talk |
10/29/2007 | 14:00 | | Jennifer Rexford | | Stable Internet Routing Without Global Coordination | E1 5, 019 | SWS Distinguished Lecture Series |
10/29/2007 | 13:30 | | Julian Mestre | | Adaptive Local Ratio | E1 4, 024 | Lecture |
10/29/2007 | 11:00 | | Daniel Cremers | | Continuous and Discrete Optimization Methods in Computer Vision | E1 4, 019 | AG4 Group Meeting |
10/29/2007 | 08:00 | | Levan Machablishvili | | PhD Application Talk: The title is "Computing k-hop Broadcast Trees Exactly". | E1 4, 225 | Talk |
10/29/2007 | 08:00 | | Arnaud Fietzke | | PhD Application Talk: Labelled Splitting | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Marjan Celikik | | PhD Application Talk: Efficient Large-Scale Clustering of Spelling Variants, with Applications to Error-Tolerant Text Search | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Marjan Celikik | | PhD Application Talk: Efficient Large-Scale Clustering of Spelling Variants, with Applications to Error-Tolerant Text Search | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Mathias Berg | | PhD Application Talk: On key-dependent Encryption | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Patrick Wischnewski | | PhD Application Talk: Contextual Rewriting in SPASS | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Sabine Fischer | | PhD Application Talk: Formal Verification of a Big Integer Library. | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Sergey Sayadyan | | PhD Application Talk: An investigation of the proofs complexities in the systems of non- classical logics | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Various, tba | | PhD Application Talks | E1 4, 024 | Talk |
10/29/2007 | 08:00 | | Victor Alvarez | | PhD Application Talk: Approximation of the Minimum Spanning Tree of Set of Points in the Hausdorff Metric. | E1 4, 024 | Talk |
10/26/2007 | 11:00 | | Patrick Wischnewski | | Contextual Rewriting in SPASS | E1 4, Rotunda 6th floor | Talk RG1 Group Meeting |
10/24/2007 | 17:00 | | Prof. Gyan Bhanot | | What PCA and Consensus Ensemble Clustering reveal about Human Migrations and Breast Cancer. | E1 4, 024 | AG3 Talk |
10/24/2007 | 10:30 | | Boris Köpf | | Formal Models for Side-Channel Attacks | E1 5, 023 | SWS Colloquium |
10/23/2007 | 13:00 | | Irina Brudaru | | Heuristics for Average Diameter Approximation with External Memory Algorithms | E1 4, 024 | Masterseminar/Talk |
10/09/2007 | 14:15 | | Hongwei Xi, Boston University | | Programming with Theorem Proving in ATS | E1 3, 528 | Talk |
09/28/2007 | 11:00 | | Eric Brewer | | Technology for Developing Regions | G26 [KL], bldg. 42, HS 110 | SWS Distinguished Lecture Series |
09/27/2007 | 15:00 | s.t. | Domagoj Babic, UBC. | | Structural Abstraction of Software Verification Conditions-- | E1 5, rotunda 6th floor | SWS Colloquium |
09/26/2007 | 14:00 | | Giorgos Christodoulou | | Mechanism Design for fractional scheduling on unrelated machines. | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/24/2007 | 11:30 | | Masashi Sugiyama | | Active Learning with Model Selection in Linear Regression | E1 4, 433 (Rotunda 4th floor) | Talk |
09/21/2007 | 13:30 | | Sergio Giro | | You have a choice: Compositionality or Decidability | E1 4, 024 | Avacs Virtual Seminar |
09/20/2007 | 13:15 | | Martin Rajman | | Overview of the Center for Global Computing (CGC) | E1 4, 433 | Talk |
09/20/2007 | 10:00 | | Toan Luu | | Scalable P2P Web Search using Highly Discriminative Keys | E1 4, 433 | Talk |
09/19/2007 | 15:00 | s.t. | Henning Schulzrinne, | | The Vision and Reality of Ubiquitous Computing | G26 [KL], bldg. 57, rotunda | SWS Distinguished Lecture Series |
09/19/2007 | 14:00 | | Mathew Francis | | Boxicity of graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/12/2007 | 14:00 | | Matthias Hagen | | MONET -- Impressionism and Computational Complexity | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/12/2007 | 11:00 | | Katerina Argyraki | | Loss and Delay Accountability for the Internet | E1 5, rotunda 6th floor | SWS Colloquium |
09/10/2007 | 14:00 | | Georgia Albuquerque | | 3D Interactive 3D Modeling in Semi-Immersive Environments and Qualitative Portrait Classification | E1 4, 019 | AG4 Group Meeting |
09/07/2007 | 16:00 | | Domagoj Matijevic | | Geometric Optimization and Querying -- Exact and Approximate | E1 4, 024 | Promotionskolloquium |
09/07/2007 | 14:00 | | Kurt Mehlhorn | | Cycle Bases in Graphs: Algorithms, Applications, Open Problems (my MFCS invited talk) | E1 4, 024 | Talk |
09/05/2007 | 11:30 | | Andreas Krause | | Near-optimal Nonmyopic Observation Selection | E1 4, 433 (Rotunda, 4th floor) | Talk |
08/31/2007 | 13:30 | | Christopher Clifton | | Privacy and Anonymity in Text | E1 4, 433 (4th Floor Rotunda) | Talk |
08/31/2007 | 13:30 | | Eric Berberich | | Sweeping and Maintaing Two-Dimensional Arrangements on Surfaces: A First Step | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/30/2007 | 10:00 | | Ruoming Jin | | Estimating the Number of Frequent Itemsets in a Large Database | E1 4, 4th Floor Rotunda | Talk |
08/24/2007 | 13:30 | | Jan Rakow | | S3's Trans-Regional Tool ChainTimed Reachability Analysis of STATEMATE Design Based CTMDPs | E1 4, 024 | Avacs Virtual Seminar |
08/24/2007 | 13:30 | | Petros Drineas | | Sampling algorithms and coresets for Lp regression | E1 4, 023 | AG1 Mittagsseminar (own work) |
08/23/2007 | 14:00 | | Stefanie Scherzinger | | Efficient Main Memory-based XML Stream Processing | E1 4, 433 | Vortrag |
08/23/2007 | 13:30 | | Friedrich Eisenbrand | | A Geometric Framework for Solving Subsequence Problems in Computational Biology Efficiently | E1 4, 024 | Talk |
08/22/2007 | 15:00 | c.t. | Petros Drineas | | From the Singular Value Decomposition of Matrices to CUR-Type Decompositions: Algorithms and Applications | E1 4, 024 | MPI-Kolloquium |
08/10/2007 | 13:30 | | Deepak Ajwani | | Online topological ordering | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/08/2007 | 14:00 | | Stefan Canzar | | A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem | E1 4, 024 | AG1 Mittagsseminar (own work) |
08/06/2007 | 13:30 | | Chien-Chung Huang | | Two's Company, Three's a Crowd: Stable Family and Threesome Roommates Problems | E1 4, 024 | Lecture |
08/03/2007 | 14:00 | s.t. | Silke Trißl | | Scoring Search Results in the Presence of Overlapping Data Sources | E1 4, 433 (Rotunda 4th floor) | Talk |
08/02/2007 | 10:30 | | Magnus Wahlstroem | | Counting weighted solutions to 2SAT formulas | E1 4, 024 | Talk |
08/02/2007 | 10:00 | c.t. | Silke Trißl | | Indexing and Querying Graphs | E1 4, 433 (Rotunda 4th floor) | Talk |
07/31/2007 | 13:00 | | Zachi Karni | | MediGuide - The GPS of the Medical World | E1 4, 019 | AG4 Group Meeting |
07/26/2007 | 13:30 | | Peter Sanders | | Engineering Route Planning Algorithms | E1 4, 023 | AG1 Mittagsseminar (own work) |
07/25/2007 | 13:30 | | Michael Kerber | | Fast and Exact Geometric Analysis of Real Algebraic Plane Curves | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/19/2007 | 10:15 | | Yehoshua Sagiv | | Extracting Information from Data Graphs | E1 4, 433 | Talk |
07/17/2007 | 15:00 | c.t. | Prof. Dr. Matthias Hein | | Tutorial zu Spectral Clustering | E1 4, 433 (Rotunda 4th floor) | Tutorial |
07/17/2007 | 13:00 | | Tamy Boubekeur | | Efficient methods for processing, editing and rendering acquired geometry | E1 4, 019 | AG4 Group Meeting |
07/16/2007 | 14:00 | | Anupam Gupta | | Low-Dimensional Embeddings of Metric Spaces (or Can we do better than the J-L Lemma?) | E1 4, 024 (Subject to change) | AG1 Mittagsseminar (own work) |
07/13/2007 | 14:00 | s.t. | Tal Lev-Ami | | TVLA : Three Valued Logic Analyzer | E1 4, Rotunde 6.OG | Talk |
07/13/2007 | 13:30 | | Pascal Schweitzer | | Computing Small Ramsey Numbers | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/13/2007 | 13:15 | | Bernd Mehnert | | Die Riemannsche Vermutung: Ein kurzer Ausflug in die Welt dieses Millennium-Problems | E2 5 - Math building, HS III | Ringvorlesung |
07/12/2007 | 13:00 | | Hans-Jörg Peter | | Synthesis of Real-Time Systems | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
07/12/2007 | 10:15 | | Matthias Bender | | Advanced Methods for Query Routing in Peer-to-Peer Information Retrieval | E1 1 - Informatik, 407 | Promotionskolloquium |
07/11/2007 | 16:15 | | Sebastian Michel | | Top-k Aggregation Queries in Large-Scale Distributed Systems | E1 4, 024 | Promotionskolloquium |
07/11/2007 | 15:00 | | Peter Baumgartner | | Towards a Lifted Version of DPLL(T) | E1 4, Rotunde 6.OG | Talk |
07/11/2007 | 14:30 | | Christian Neider | | Integration of HDR-based lighting estimation technology into a virtual studio environment | E1 4, 019 | Miscellaneous |
07/11/2007 | 13:00 | s.t. | Victor Alvarez Amaya | | Approximation Algorithms for Geometric Problems using Coresets | E1 4, 024 | Talk |
07/11/2007 | 10:15 | | Yuri Breitbart | | Data Discretization Unification | E1 4, 024 | Talk |
07/10/2007 | 13:00 | | Pieter Peers | | Post-production Facial Performance Relighting using Reflectance Transfer | E1 4, 019 | Talk |
07/09/2007 | 15:45 | | Stefan Funke | | Algorithm Engineering: Synergien zwischen Theorie und Praxis | E 1.1 (old CS building), 407 (big room on top floor) | Habilitationsvortrag und Kolloquium |
07/09/2007 | 14:15 | | Holger Bast | | Angewandte Algorithmik: Theoretisch fundierte Lösungen für Real-World Probleme | E 1.1 (old CS building), 407 (big room on top floor) | Habilitationsvortrag und Kolloquium |
07/06/2007 | 15:15 | s.t. | Gary L. Miller | | Image Segmentation using Spectral Rounding | E1 3 - Hörsaal Gebäude, 001 | Talk |
07/06/2007 | 13:15 | | Martin Welk | | Bildschaerfung mit Variationsmethoden | E2 5 - Math building, HS III | Ringvorlesung |
07/05/2007 | 13:00 | | Stefan Canzar | | A Lagrangian Relaxation Approach for the Multiple Sequence Alignment Problem | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
07/05/2007 | 12:00 | | Anke Meyer-Baese | | Pattern Analysis and Visualization in Computer-Aided Diagnosis: Cross-Fertilization between Biomedical Imaging and Engineering | E1 4, 019 | Talk |
07/04/2007 | 14:00 | | Chien-Chung Huang | | Cheating Strategies in the Stable Matching Problems | E1 4, 024 | AG1 Mittagsseminar (own work) |
07/02/2007 | 09:00 | | Bruno Woltzenlogel Paleo | | Herbrand Sequent Extraction | E1 4, 024 | Talk |
07/02/2007 | 09:00 | s.t. | Guoping Tan | | Application Layer Hybrid Error Correction Schemes for DVB Services in Wireless Home Networks | E1 4, 024 | Talk |
07/02/2007 | 09:00 | | Henning Lars Zimmer | | Multi-User Tracking in Instrumented Rooms | E1 4, 024 | Talk |
07/02/2007 | 09:00 | | Iliyan Georgiev | | Interactive Global Illumination for Highly Occluded Environments | E1 4, 024 | Talk |
07/02/2007 | 09:00 | | Shady Elbassuoni | | Adaptive Personalization of Web Search | E1 4, 024 | Talk |
07/02/2007 | 09:00 | | Yana Mileva | | Invariance with optic flow | E1 4, 024 | Talk |
06/29/2007 | 13:15 | | Michael Kunte | | Was ist algebraische Geometrie? | E2 5 - Mathematik, HS III | Ringvorlesung |
06/27/2007 | 13:00 | | Oana Ciobotaru | | Field: Cryptography | E1 4, 024 | Talk |
06/22/2007 | 16:30 | s.t. | Prof. E. Allan Emerson | | AVACS Virtual Seminar"Limiting State Explosion" | E1 4, 024 | Virtual Seminar |
06/22/2007 | 13:30 | | Kevin Chang | | Theoretical computer science problems for trading in electronic exchanges | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/22/2007 | 13:15 | | Serge Autexier | | Das Beweisassistenzsystem OMEGA | E2 5 - Mathematik, HS III | Ringvorlesung |
06/21/2007 | 13:00 | | Steffen Knapp | | A Formal Model of a Distributed Realtime System | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
06/20/2007 | 14:00 | s.t. | Rene Beier | | The Smoothed Number of Pareto Optimal Solutions in Bicriteria Integer Optimization | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/15/2007 | 13:30 | | Daniel Johannsen | | An Evolutionary Approach to the Eulerian Cycle Problem | E1 4, Rotunde AG1 (3rd floor) | AG1 Mittagsseminar (own work) |
06/15/2007 | 13:30 | s.t. | Tobe Toben | | AVACS Virtual Seminar- Analysis of Dynamic Communication Systems | E1 4, 024 | Virtual Seminar |
06/15/2007 | 13:15 | | Ute Staemmler | | Der 4-Quadrate-Satz von Lagrange | E2 5 - Mathematik, HS III | Ringvorlesung |
06/14/2007 | 13:00 | | Prof. Gert Smolka | | Modal Logic in Higher-order Logic | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
06/13/2007 | 13:00 | s.t. | Marjan Celikik | | Fast and accurate clustering-based spelling corrections in search engines | E1 4, 024 | Talk |
06/13/2007 | 10:45 | s.t. | Nils Hebbinghaus | | Minisymposium Evolutionary Algorithms: Plateaus Can Be Harder in Multi-Objective Optimization | E1 4, 024 | Talk |
06/13/2007 | 10:15 | s.t. | Günter Rudolph | | Minisymposium Evolutionary Algorithms: Toward optimal restart strategies in stochastic search: Many short or few long runs? | E1 4, 024 | Talk |
06/12/2007 | 14:30 | s.t. | Edda Happ | | Minisymposium Evolutionary Algorithms: Crossover is Provably Useful in Evolutionary Computation | E1 4, 021 | Talk |
06/12/2007 | 14:00 | s.t. | Thomas Jansen | | Minisymposium Evolutionary Algorithms: Analysis of Evolutionary Algorithms for the Longest Common Subsequence | E1 4, 021 | Talk |
06/12/2007 | 11:00 | s.t. | Zhao Xu | | Infinite Hidden Relational Models | E1 4, 433 (Rotunde 4th floor) | Talk |
06/11/2007 | 14:30 | | Anna Huber | | Relations between the associated Lie algebra and the adjoint group of a radical ring | E1 4, 3rd floor rotunda | Talk |
06/08/2007 | 16:00 | s.t. | Henning, Ingmar | | Cool stuff on the web: dopplr, last.fm | E1 4, 333 | Presentation |
06/08/2007 | 13:30 | | Frank Neumann | | Making problems easier by multi-objective optimization (in evolutionary computation) | E1 4, 024 | AG1 Mittagsseminar (own work) |
06/06/2007 | 13:00 | | Shin-ichi Kinuwaki | | Global Illumination Animation via MPEG compression | E1 4, 024 | Master's seminar |
06/01/2007 | 14:15 | | Benedikt Betz | | Dialogische Logik | E2 5 (Mathematics), HS III | Ringvorlesung |
05/31/2007 | 13:00 | | Prof. Markus Bläser | | Polynomial Identity Testing | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
05/30/2007 | 14:00 | | Markus Behle | | A Primal Branch-and-Cut Algorithm for the Degree-Constrained Minimum Spanning Tree Problem | E1 4, Rotunda 3rd floor | AG1 Mittagsseminar (own work) |
05/30/2007 | 13:00 | s.t. | Yan Wang | | Field: Computer Graphics | E1 4, 024 | Masterseminar |
05/25/2007 | 16:00 | s.t. | Ingmar | | Cool stuff on the web: rapidshare, spock, adsense | E1 4, 333 | Presentation |
05/25/2007 | 14:00 | c.t. | Prof.Siva Ram Murthy | | Lifetime Driven MAC Protocols for Ad Hoc Networking | E1 4, 021 | SWS Colloquium |
05/25/2007 | 13:15 | | Matthias Horbach | | Beweistheorie. Oder: Was ist ein Beweis? | E2 5 - Mathematik, HS III | Ringvorlesung |
05/25/2007 | 13:00 | | Kurt Mehlhorn | | AG1 Group-Meeting | E1 4, 007 | AG1 Group Meeting |
05/24/2007 | 13:00 | | Laura Tolosi | | Using Machine Learning Algorithms for Prediction of Tumor Progression with arrayCGH data | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
05/23/2007 | 16:00 | c.t. | Evangelos Milios | | Modeling and Mining of Networked Information Spaces | E1 4, 024 | Talk |
05/23/2007 | 14:00 | | Prahladh Harsha | | The Communication Complexity of Correlation | E1 4, 024 | Talk |
05/23/2007 | 13:30 | s.t. | Prof Y.N. Srikant | | Energy-aware Compiler Optimizations | E1 4, 024 | Talk (AVACS Virtual Seminar) |
05/22/2007 | 13:00 | | Thomas Grosch | | Augmented Image Synthesis | E1 4, 019 | AG4 Group Meeting |
05/21/2007 | 16:00 | c.t. | Volker Scholz | | New Editing Techniques for Video Post-Processing | E1 4, 019 | Promotionskolloquium |
05/21/2007 | 14:00 | c.t. | Ivo Ihrke | | Reconstruction and Rendering of Time-Varying Natural Phenomena | E1 4, 019 | Promotionskolloquium |
05/16/2007 | 13:00 | s.t. | Martin Strauss | | An embodied real-time commentary agent | E1 4, 024 | Masterseminar |
05/14/2007 | 11:15 | | Annamaria Kovacs | | Fast algorithms for two scheduling problems | E1 4, 024 | Promotionskolloquium |
05/11/2007 | 16:00 | s.t. | Ingmar, Jochen, Henning | | Cool stuff on the web: wordpress, sharedcopy, alex web service | E1 4, 333 | Presentation |
05/11/2007 | 13:30 | | Anders Gidenstam | | Implementing multi-threading in a lock-free manner | E1 4, 024 | AG1 Mittagsseminar (own work) |
05/11/2007 | 13:30 | | Tobias Nopper | | Avacs Virtuel Seminar"Computation of Minimal Counterexamples by Using Black BoxTechniques and Symbolic Methods" | E1 4, 007 | Miscellaneous |
05/10/2007 | 13:00 | | Edda Happ | | Evolutionary Computation | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
05/08/2007 | 13:00 | | Hendrik Lensch | | Approaching BIg Deadlines | E1 4, 019 | AG4 Group Meeting |
05/04/2007 | 16:00 | s.t. | Ingmar, Henning | | Cool stuff on the web: wordpress, studivz, aws | E1 4, 333 | Presentation |
05/04/2007 | 13:30 | | Andreas Karrenbauer | | Algorithms for longer OLED Lifetime | E1 4, 024 | Talk |
05/03/2007 | 13:00 | | Sven Woop | | B-KD Trees for Hardware Accelerated Ray Tracing of Dynamic Scenes | E1 3 - Hörsaal Gebäude, 013 | Ringvorlesung |
05/02/2007 | 14:00 | | Saurabh Ray | | $\eps$-nets have Basis of Size $O(1/\eps \log {(1/\eps)})$ in any Dimension | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/27/2007 | 16:00 | s.t. | Laura, Irina, Ingmar | | Cool stuff on the web: tumblr, google notebook, scribd | E1 4, 333 | Presentation |
04/27/2007 | 13:15 | | Johannes Lengler | | Fermats letzter Satz – Ansätze aus der algebraischen Zahlentheorie | E2 5 - Mathematik, Hörsaal III | Ringvorlesung |
04/26/2007 | 15:00 | s.t. | Andrey Rybalchenko | | Abstraction for Liveness and Safety | E1 4, 019 | SWS Colloquium |
04/26/2007 | 13:00 | | Daniel Grund | | Register Allocation for Programs in SSA-Form | E1 3 Hörsaal Gebäude, 013 | Ringvorlesung |
04/25/2007 | 15:00 | c.t. | Dennis Shasha | | Upstart Puzzles | E1 4, 024 | Distinguished speaker's lecture |
04/24/2007 | 16:00 | c.t. | Michael D. Ernst | | Feedback-directed random test generation | E1 3 - Hörsaal Gebäude, HS 003 | SWS Colloquium |
04/24/2007 | 10:00 | | Fachschaft Informatik (Students' Council) | | Firmeninformationstag FIT2007 (Job Fair) | E1 3 - CS, Ground Floor | One-Day-Event |
04/23/2007 | 16:00 | | Thomas Hofmann | | Title: Delivering Relevant Search Results on a Global Scale | E2 5 (Mathematics), HS 001 | Talk |
04/20/2007 | 16:00 | s.t. | Irina, Yassen, Ingmar | | Cool stuff on the web: google notebook, dooodle, compete | E1 4, 333 | Presentation |
04/20/2007 | 13:30 | | Michael Schapira | | Incentive-Compatible Distributed Routing: Mechanism Design Without Payments | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/20/2007 | 11:00 | | Florent Jaquemard | | Paramodulation based procedures for extended tree automata. | E1 4, 633 | Talk |
04/20/2007 | 10:30 | s.t. | Martin Höfer | | Near-optimal Cost Sharing with Selfish Agents | E1 4, 023 | Talk |
04/19/2007 | 15:00 | s.t. | Derek Dreyer | | Expanding and Exploiting the Expressive Power of Modules | E1 4, 019 | SWS Colloquium |
04/19/2007 | 13:00 | | Hans Raj Tiwary | | On the Hardness of Minkowski Addition and Related Operations | E1 3 Hörsaal Gebäude, 013 | Ringvorlesung |
04/18/2007 | 13:00 | s.t. | Shady Elbassuoni | | Talk: Personalized search on the client side | E1 4, 024 | Master Seminar |
04/17/2007 | 16:00 | | Lennart Witzke | | Dense Optical Flow Estimation from Local Phase | E1 4, 019 | AG4 Group Meeting |
04/16/2007 | 15:00 | s.t. | Eno Thereska | | Enabling what-if explorations in distributed systems
| E1 4, 019 | SWS Colloquium |
04/13/2007 | 16:00 | s.t. | Ingmar | | Cool stuff on the web: web2.0forsale.com, buzzillions, mycybertwin | E1 4, 333 | Presentation |
04/05/2007 | 14:30 | | Naveen Garg | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
04/05/2007 | 13:30 | s.t. | Jie Gao | | Discovery of Sensor Network Layout | E1 4, 024 | AG1 Mittagsseminar (own work) |
04/04/2007 | 15:00 | | Rodrigo Rodrigues | | Scalable Byzantine Fault Tolerance | E1 5, 019 | SWS Colloquium |
04/04/2007 | 14:00 | s.t. | Ingmar Weber | | Sponsored Search Results: Web advertising meets game theory | E1 4, 024 | AG1 Mittagsseminar (basic education) |
04/02/2007 | 13:30 | | Frank Kammer | | Determining the smallest k such that G is k-outerplanar | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/29/2007 | 16:15 | | Michael Gnewuch | | Construction of low discrepancy sample spaces via dependent randomized rounding | E1 4, 024 | Talk |
03/29/2007 | 14:30 | | Kanela Kaligosi | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/29/2007 | 14:00 | s.t. | Dr. Bernd Ctortecka | | Connecting Science and Business | E1 4, 024 | Talk |
03/28/2007 | 12:00 | | Taral Seierstad | | The phase transition in random graphs and random graph processes | E1 4, 024 | Talk |
03/23/2007 | 16:00 | s.t. | Jochen, Henning, Ingmar | | Cool stuff on the web: ning, twitter, wink, peterzahlt | E1 4, 333 | Presentation |
03/23/2007 | 13:30 | s.t. | Jens Oehlerking | |
Automated Stability Proofs for Hybrid Systems using Lyapunov Functions | E1 4, 024 | Avacs Virtual Seminar |
03/22/2007 | 23:15 | s.t. | Pamela Weber | | Das thematische Programm IKT im 7. RP | E1 4, 024 | Talk |
03/22/2007 | 14:30 | | Giorgos Christodoulou | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/22/2007 | 09:45 | s.t. | Walter Denk | | Marie-Curie-Maßnahmen im 7. RP | E1 4, 024 | Talk |
03/22/2007 | 09:00 | s.t. | Christiane Wehle | | ERC - European Research Council -
Förderlinien und Beteiligungsmöglichkeiten des Europäischen
Forschungsrates" | E1 4, 024 | Talk |
03/21/2007 | 14:00 | | Holger Bast | | Ultrafast Shortest-Path Queries via Transit Nodes | E1 4, 023 | AG1 Mittagsseminar (own work) |
03/20/2007 | 09:00 | s.t. | Participants | | SAPIR Workshop | E1 4, 024 | Project Workshop |
03/19/2007 | 15:00 | s.t. | Rainer Böhme | | The Effect of Stock Spam on Financial Markets | E1 4, Rotunde 4. OG
(433) | Talk |
03/19/2007 | 09:00 | s.t. | Participants | | SAPIR Workshop | E1 4, 024 | Project Workshop |
03/16/2007 | 16:00 | s.t. | Eric, Tobias, Ingmar | | Cool stuff on the web: postcrossing, changenotes, adwords | E1 4, 333 | Presentation |
03/15/2007 | 14:30 | | Kevin Chang | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/14/2007 | 14:00 | | Sathish Govindarajan | | Conflict-Free Coloring for Rectangle Ranges | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/12/2007 | 14:15 | | Thomas Sauerwald | | Randomized Broadcasting and Random Walks on Cayley Graphs | E1 4, 024 | Talk |
03/09/2007 | 16:00 | s.t. | Arno, Daniel, Eric | | Cool stuff on the web: howstuffworks, ecologyfund, tree-nation, maydaycards | E1 4, 333 | Presentation |
03/08/2007 | 14:30 | | Anna Niewiarowska | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
03/07/2007 | 13:30 | | Giorgos Christodoulou | | A Lower Bound for Scheduling Mechanisms | E1 4, 024 | AG1 Mittagsseminar (own work) |
03/06/2007 | 13:00 | | Sergey Tsarev | | Curvature line parametrization from circle patterns | E1 4, 019 | AG4 Group Meeting |
03/02/2007 | 16:00 | s.t. | Ingmar, Jochen | | Cool stuff on the web: quintura, about, tba | E1 4, 333 | Presentation |
03/01/2007 | 14:30 | | Khaled Elbassioni | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/27/2007 | 13:30 | | Torben Hagerup | | A very practical algorithm for the two-paths problem in 3-connected planar graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/27/2007 | 13:00 | s.t. | Students | | Oberseminar | E1 4, 024 | AG5 Oberseminar |
02/27/2007 | 13:00 | | Simon Winkelbach | | 3D Laser Scanning and Paiwise Matching of 3D Fragments | E1 4, 019 | AG4 Group Meeting |
02/26/2007 | 08:00 | | Catalin Hritcu | | Step-indexed Semantic Models for Functional and Imperative Objects | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Charilaos Efthymiou | | On the existence of Hamilton Cycles in Random Intersection Graphs | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Christian Eisentraut | | Complete completeness for weak bisimulation semantics | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Daniel Dumitriu | | Graph-based conservative Surface Reconstruction | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Gerard De Melo | | Multilingual Text Classification using Ontologies | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Hristo Pentchev | | Verified Expression Evaluation for Multiplication and Division | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Lukas Marsalek | | Interactive Volume Rendering in Theory and Practice:
A Fast GPU Implementation and Error Bounded Linear Approximations | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Manuel Caroli | | Applying a General Analysis Method for Controlled Perturbation | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Simon Peter | | File Systems, Replication, Mutability and Trace Studies
(an Introduction to My Current Research) | E1 4, 024 | Talk |
02/26/2007 | 08:00 | | Yassen Assenov | | Topological Analysis of Biological Networks | E1 4, 024 | Talk |
02/23/2007 | 16:00 | s.t. | Edda, Manuela, Ingmar | | Cool stuff on the web: browsegoods, tauschticket, vyew | E1 4, 333 | Lecture |
02/23/2007 | 15:00 | | Arno Eigenwillig | | On Descartes' rule | E1 4, 024 | AG1 Mittagsseminar (others' work) |
02/22/2007 | 14:30 | | Naveen Garg | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/22/2007 | 14:00 | s.t. | Christian Weichenberger | | Self-consistent Assignment of Asparagine and Glutamine Side-Chain Amide
Rotamers | E1 4, 023 | AG3 Talk |
02/16/2007 | 16:00 | s.t. | Andre, René, Sören | | Cool stuff on the web: fon, xing, phdcomics | E1 4, 333 | Presentation |
02/16/2007 | 14:30 | | Alantha Newman | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/16/2007 | 14:15 | | Walter Purkert | | Georg Cantor (1845–1918) | E2 5 - Mathematik, HS 2 | Lecture |
02/16/2007 | 13:30 | | Dimitrios Michail | | New Approximation Algorithms for Minimum Cycle Bases of Graphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/15/2007 | 14:30 | | Peter Zolliker | | Gamut Mapping: From newspaper printing to geometric optimization and preference testing | E1 4, 023 | Talk |
02/15/2007 | 13:00 | | Ansley Post | | Throughput Limits of Multi-hop Wireless Networks | E1 3 Hörsaal Gebäude, 016 | Ringvorlesung |
02/14/2007 | 13:00 | s.t. | Yan Wang | | Field: Computer Graphics | E1 4, 024 | Talk |
02/13/2007 | 13:30 | | Kurt Mehlhorn | | AG1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
02/12/2007 | 14:00 | s.t. | Patrick Pekczynski | | Constraint Programming over Finite Domains | E1 4, 023 | AG1 Mittagsseminar (others' work) |
02/09/2007 | 16:00 | s.t. | Jochen, Vitaly, Stefan | | Cool stuff on the web: linkedin, orkut, fotocommunity | E1 4, 333 | Presentation |
02/09/2007 | 14:15 | | Darya Apushkinskaya | | Vladimir Ivanovich Smirnov (1887–1974) | E2 5 - Mathematik, HS 2 | Lecture |
02/08/2007 | 14:30 | | Khaled Elbassioni | | Approximation algorithms reading group | E1 4, Rutonda 3rd floor | Lecture |
02/08/2007 | 13:00 | s.t. | Prof. Wolfgang Paul | | Verification of Realtime Systems | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
02/07/2007 | 13:00 | s.t. | Gaurav Pandrey | | Retrieval model enhancement by implicit feedback | E1 4, 024 | Talk |
02/06/2007 | 13:30 | | Khaled Elbassioni | | On approximating the TSP with intersecting neighborhoods | E1 4, 024 | AG1 Mittagsseminar (own work) |
02/02/2007 | 20:00 | | Prof. Dr. Burkhard Scherer | | Buddhas Lehre | E1 4, 024 | Lecture |
02/02/2007 | 16:00 | s.t. | Kevin, Deb, Ingmar | | Cool stuff on the web: craigslist, picasa, sourceforge | E1 4, 333 | Presentation |
02/02/2007 | 14:15 | | Falko Lorenz | | Käte Heys Zetafunktion und der Hauptsatz der Algebrentheorie | E2 5 - Mathematik, HS 2 | Lecture |
02/01/2007 | 15:00 | | Domagoj Matijevic | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
02/01/2007 | 13:30 | | Many | | DiscMathMeeting: GECCO submissions | E1 4, 3rd floor rotunda | Lecture |
02/01/2007 | 13:00 | s.t. | Michael Kerber | | Topology Computation of Algebraic Plane Curves | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
02/01/2007 | 12:30 | s.t. | Nils Weskamp | | "Structure-based Mapping of Protein Binding Pocket Space"
| E1 4, 024 | AG3 Talk |
01/31/2007 | 13:00 | s.t. | Daniel Dumitriu | | Graph-based conservative Surface Reconstruction | E1 4, 024 | Talk |
01/31/2007 | 11:00 | | Elias P. Tsigaridas | | Real root isolation using Continued Fractions | E1 4, 023 | Talk |
01/26/2007 | 16:00 | s.t. | Ralitsa, Domagoj, Ingmar | | Cool stuff on the web: menow, frappr, digg | E1 4, 333 | Presentation |
01/26/2007 | 14:15 | | Benno Artmann | | Allgemeine Phänomene mathematischen Denkens bei Euklid | E2 5 - Mathematik, HS 2 | Lecture |
01/25/2007 | 12:30 | s.t. | Joachim Giesen | | Collaborative Ranking Processes | E1 4, 023 | Ringvorlesung |
01/24/2007 | 13:00 | s.t. | Silvana Solomon | | Evaluation of Relevance Feedback Algorithms for XML Retrieval | E1 4, 024 | Talk |
01/19/2007 | 16:00 | s.t. | Evangelia, Irina, Ingmar | | Cool stuff on the web: eyeos, flickr, hospitalityclub | E1 4, 333 | Presentation |
01/19/2007 | 14:15 | | Maximilian Gebhardt | | Die Verschlüsselungsmaschine Enigma | E2 5 - Mathematik, HS 2 | Lecture |
01/18/2007 | 13:00 | s.t. | Andreas Schlicker | | GOTax: Investigating Biological and Biochemical Activities
along the Taxonomic Tree | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
01/17/2007 | 13:00 | s.t. | Shady Elbassouni | | Personalized Search on the Query Side | E1 4, 024 | Talk |
01/12/2007 | 16:00 | s.t. | Ingmar, Eric, Jochen | | Cool stuff on the web: sopcast, onlinetvrecorder, wwitv | E1 4, 333 | Presentation |
01/12/2007 | 13:00 | s.t. | Rob van Stee | | Covering selfish machines | E1 4, 024 | Talk |
01/11/2007 | 13:00 | s.t. | Christian Hoffmann | | Hardness-Randomness Tradeoffs for Algebraic Branching Programs | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
01/09/2007 | 13:00 | | Michael Goesele | | Image-based Acquisition of Geometry and Reflectance | E1 4, 019 | AG4 Group Meeting |
12/20/2006 | 13:00 | s.t. | Yana Mileva | | Invariance with Optic Flow | E1 4, 024 | Talk |
12/19/2006 | 13:30 | s.t. | Markus Behle | | 0/1 vertex and facet enumeration with BDDs | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/18/2006 | 16:00 | | Shin Yoshizawa | | Computational Differential Geometry Tools for Surface Interrogation, Fairing, and Design | E1 4, 019 | Promotionskolloquium |
12/15/2006 | 16:00 | s.t. | Jochen, Holger, Santa | | Cool stuff on the web: msdewey, tinyurl, doodle, a journal, and a surprise website | E1 4, 333 | Presentation |
12/15/2006 | 14:15 | | Ernst-Ulrich Gekeler | | Bemerkungen zur Entwicklung der Sprache der Mathematik | E2 5 - Mathematik, HS 2 | Lecture |
12/14/2006 | 16:00 | | Rafal Mantiuk | | High-Fidelity Imaging | E1 4, 019 | Promotionskolloquium |
12/14/2006 | 13:00 | s.t. | Fabian Suchanek | | Ontology Learning | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
12/13/2006 | 14:00 | s.t. | Schulz, Stephan | | The Inside and Outside of E | E1 4, Rotunde 6.OG | Talk |
12/13/2006 | 13:00 | s.t. | Iliyan Georgiev | |
Scalable and Interactive Lighting Simulation | E1 4, 024 | Talk |
12/12/2006 | 13:30 | s.t. | Ernst Althaus | | An Exact Algorithm for the Maximum Parsimony Problem | E1 4 MPI-INF, 024 | AG1 Mittagsseminar (own work) |
12/08/2006 | 16:00 | s.t. | Anders, Ingmar, Imran | | Cool stuff on the web: flightgear, springdoo and 10minutemail | E1 4, 333 | Presentation |
12/08/2006 | 14:15 | | Heinz Klaus Strick | | Mathematik-Geschichte(n) auf Briefmarken – Anregungen für den Mathematikunterricht | E2 5 - Mathematik, HS 2 | Lecture |
12/07/2006 | 17:00 | | Martin Zacharias | | Computer simulation of biomolecules: The role of flexibility during molecular recognition | E1 4, 024 | Talk |
12/07/2006 | 14:30 | | Giorgos Christodoulou | | Approximation algorithms reading group | E1 4, Rutonda 3rd floor | Lecture |
12/07/2006 | 13:00 | s.t. | Thomas Schultz | | Flexible Segmentation and Smoothing of DT-MRI Fields | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
12/06/2006 | 13:00 | s.t. | Alexandru Chitea | | Field: Information Retrieval | E1 4, 024 | Talk |
12/05/2006 | 13:30 | | Naveen Garg | | Online Integer Packing | E1 4, 024 | AG1 Mittagsseminar (own work) |
12/04/2006 | 14:00 | | Harald Muchow
Norbert Schmidt | | Vortrag über Bosch | E1 4, 024 | Talk |
12/01/2006 | 17:00 | s.t. | Ingmar, Evangelia, Christoph | | Cool stuff on the web: singingfish, eyeos and MS virtual earth 3D | E1 4, 333 | Presentation |
12/01/2006 | 15:00 | c.t. | Roman Dementiev | | Algorithm Engineering for Large Data Sets | E1 4, 024 | Promotionskolloquium |
12/01/2006 | 13:00 | | Peter Hachenberger | | Boolean Operations on 3D Selective Nef Complexes | E1 4, 024 | Promotionskolloquium |
11/30/2006 | 14:30 | | Stefan Canzar | | Approximation Algorithms reading Group | E1 4, Rutonda 3rd floor | Lecture |
11/30/2006 | 13:00 | | Michael Waschbuesch | | 3D Video Acquisition, Representation, and Editing | E1 4, 019 | AG4 Group Meeting |
11/30/2006 | 13:00 | s.t. | Andrzej Wasylkowski | | Object Usage Models | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
11/29/2006 | 14:00 | s.t. | Pascal Schweitzer | | A Randomized Certifying Graph-Non-Isomorphism Algorithm | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/29/2006 | 14:00 | | Takehiro Tawara | | Efficient Global Illumination for Dynamic Scenes | E1 4, 019 | Promotionskolloquium |
11/29/2006 | 13:00 | s.t. | Stefana Nenova | | Automatic Extraction of Attack Signatures | E1 4, 024 | Talk |
11/28/2006 | 15:30 | | Frank Neumann and Benjamin Doerr | | DiscMathMeeting: EA/randomized search heuristics - Future work | E1 4, 3rd floor rotunda | Meeting |
11/28/2006 | 13:00 | s.t. | Dr. Renato Renner | | Security proof of quantum key distribution based on information-theoretic arguments | E1 4, 024 | Talk |
11/27/2006 | 16:15 | | Johannes Lengler | | Lügnerspiele | E2 5 (Mathematik), IV | Talk |
11/27/2006 | 16:15 | | Eckart Zitzler | | Evolutionary Multi-Criterion Optimization: Dealing With High-Dimensional Spaces | E1 4, 024 | Talk |
11/24/2006 | 16:00 | s.t. | Ingmar, Kevin, Ralitsa | | Cool stuff on the web: facebook, jungledisk and a special guest | E1 4, 333 | Presentation |
11/24/2006 | 14:30 | | Khaled Elbassioni | | Approximation algorithms reading group | E1 4, Rutonda 3rd floor | Lecture |
11/24/2006 | 09:00 | | TK | | Bewerbertraining | E1 4, 024 | Seminar |
11/23/2006 | 13:00 | s.t. | Silke Wagner | | Region Stability for Hybrid Systems | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
11/22/2006 | 13:00 | s.t. | Chenhua Alice Chen | | Context management with conflict resolution in pervasive
computing based on semantic web technologies | E1 4, 024 | Talk |
11/21/2006 | 13:30 | | Benjamin Doerr | | Partial Colorings of Unimodular Hypergraphs | E1 4, 024 | AG1 Mittagsseminar (own work) |
11/17/2006 | 14:30 | | Kevin Chang | | Approximation Algorithms Reading Group | E1 4, 024 | Talk |
11/17/2006 | 14:15 | | Ernst Albrecht | | Analytische Fakultäten und die Weierstraß'sche Charakterisierung der Gammafunktion | E2 5 - Mathematik, HS 2 | Lecture |
11/16/2006 | 14:15 | | Dimitrios Michail | | Minimum Cycle Basis, Algorithms & Applications | E1 4, 019 | Promotionskolloquium |
11/16/2006 | 13:00 | s.t. | Prof. Holger Hermanns | | Statemate Composition, and the Quantification Of Catastrophic Risks | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
11/15/2006 | 13:00 | s.t. | Fulya Horozal | | Towards a natural representation of formalized mathematics in theorem provers | E1 4, 024 | Talk |
11/14/2006 | 15:00 | c.t. | Erik Sandewall,
| | Consolidation of Software Systems - The Leonardo Approach | E1 4, 024 | SWS Distinguished Lecture Series |
11/14/2006 | 10:00 | s.t. | Marco Patella | | Processing preference queries in P2P networks | E1 4, 024 | Talk |
11/10/2006 | 16:00 | s.t. | Michael Kerber, Jochen Giesen, Ingmar Weber | | Cool stuff on the web: archive, alexa, clusty | E1 4, 333 | Presentation |
11/09/2006 | 13:00 | s.t. | Prof. David G. Kirkpatrick | | Optimality of Video-on-Demand Broadcast | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
11/08/2006 | 13:30 | | Manuel Caroli | | Evaluation of a Generic Method for Analyzing Controlled-Perturbation Algorithms | E1 4, 333 | Talk |
11/08/2006 | 13:00 | s.t. | Catalin Hritcu | | Seperation Logic | E1 4, 024 | Talk |
11/08/2006 | 11:00 | | Matthias Hullin | | FFT-based melody detection and a micromechanical mass sensor for biofluidic applications | E1 4, 019 | Presentation |
11/07/2006 | 14:30 | | Johannes Lengler | | DiscMathMeeting: Battlezone (Johannes Lengler, "Liar Games and Burst Errors") | E1 4, 3rd floor rotunda | Meeting |
11/07/2006 | 13:30 | | Meena Mahajan | | On the complexity of changing matrix rank | E1 4, 024 | Lecture |
11/07/2006 | 13:00 | | Jens Krueger | | A GPU Framework for Interactive Simulation and Rendering of Fluid Effects | E1 4, 019 | AG4 Group Meeting |
11/03/2006 | 16:00 | | Ingmar Weber, Jochen Giesen, Laura Tolosi | | Cool stuff on the web: secondlife, truveo, rememberthemilk | E1 4, 333 | Presentation |
11/03/2006 | 14:15 | | Ernst Albrecht | | Zur Geschichte der Gammafunktion | E2 5 - Mathematik, HS 2 | Lecture |
11/03/2006 | 11:00 | | Viorica Sofronie-Stokkermans | | On Properties of Local Theory Extensions (Part 2) | E1 4, Rotunda, 6th floor | Talk |
11/03/2006 | 11:00 | | Viorica Sofronie-Stokkermans | | On Properties of Local Theory Extensions (Part 2) | E1 4, Rotunda, 6th floor | Talk |
11/03/2006 | 10:00 | | Ranjit Prasad Bahadur | | Structural features of protein-protein recognition | E1 4, 024 | Talk |
11/02/2006 | 16:00 | | Ken Calvert | | Scalable Network Management Using Ephemeral State | E1 4, Rotunda 6th floor | SWS Colloquium |
11/02/2006 | 15:00 | | Vijaya Parthiban | | Factors Determining Protein Mutant Stability: Analysis and Application to Prediction | E1 4, 021 | Talk |
11/02/2006 | 14:30 | | Domagoj Matijevic | | Approximation algorithms reading group | E1 4, Rotunda 3rd floor | Lecture |
11/02/2006 | 13:00 | s.t. | Pascal Schweitzer | | Graph Problems Arising from Group Theoretic | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
11/02/2006 | 11:00 | s.t. | Thorsten Joachims | | Support Vector Machines for Structured Outputs | E1 4, 024 | MPI Colloquium Series Distinguished Speaker |
11/02/2006 | 10:00 | s.t. | Matthias Bender | | CIKM Rehearsal Talk | E1 4, 433 | AG5 Group Meeting |
10/31/2006 | 16:00 | c.t. | Thomas Roelleke | | On Information Retrieval Models and DB+IR | E1 4, 024 | Colloquium Lecture |
10/31/2006 | 13:30 | | Giorgos Christodoulou | | Game theoretic analysis of networks | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/27/2006 | 16:00 | s.t. | Jochen Giesen, Daniel Johannsen, Ingmar Weber | | Cool stuff on the web: Netflix challenge, del.icio.us, pandora | E1 4, 333 | Presentation |
10/27/2006 | 13:30 | | Anders Gidenstam | | Memory management for lock-free concurrent data-structures | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/27/2006 | 11:00 | s.t. | Viorica Sofronie-Stokkermans | | On Properties of Local Theory Extensions:
Hierarchical and Modular Reasoning, Interpolation | E1 4, Rotunda 6th floor | Talk |
10/26/2006 | 14:30 | | Naveen Garg | | Approximation Algorithms Reading Group | E1 4, Rotunda on 3rd floor | Talk |
10/26/2006 | 13:00 | s.t. | Eyad Alkassar | | "Hot Topics in Verisoft" | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
10/25/2006 | 15:00 | | Victor Neduva | | Predicting molecular details for protein
interaction networks | E1 4, 021 | Talk |
10/25/2006 | 13:00 | s.t. | Levan Machablishvili | | Energy-Effcient Protocols in Wireless Sensor
Networks | E1 4, 024 | Talk |
10/25/2006 | 10:00 | s.t. | Julia Luxenburger | | Web Search Clickstreams | E1 4, 433 | AG5 Group Meeting |
10/24/2006 | 17:00 | c.t. | Dr. Jörg Rahnenführer | | "Wie uns Statistik hilft: Vom Lottoschein zur Bioinformatik" | E1 4, 024 | Habilitationsvortrag und Kolloquium |
10/24/2006 | 14:30 | | Mahmoud Fouz | | DiscMathMeeting: Battlezone (Mahmoud Fouz: ``Linear and Hereditary Discrepancies'') | E1 4, 3rd floor rotunda | Meeting |
10/24/2006 | 13:00 | | Natasche Sauber | | Multifield-Graphs | E1 4, 019 | AG4 Group Meeting |
10/20/2006 | 11:00 | | Ingmar Weber, Konstantin Halachev, Yassen Assenov | | Cool stuff on the web: peerflix, stumbleupon and blurb | E1 4, 333 | Lecture |
10/19/2006 | 13:00 | s.t. | Heiko Friedrich | | Ray Tracing of Dynamic Scenes | E1 3 - Hörsaal Gebäude, 016 | Ringvorlesung |
10/18/2006 | 13:00 | s.t. | Pavel Emiliyanenko | | Visualization of Points and Segments of Algebraic Curves in EXACUS | E1 4, 024 | Talk |
10/18/2006 | 10:00 | s.t. | Klaus Berberich | | D5 Group Meeting | E1 4, 433 | AG5 Group Meeting |
10/17/2006 | 13:30 | | Rene Beier | | Worst Case and Probabilistic Analysis of the 2-Opt Algorithm for the TSP | E1 4, 024 | AG1 Mittagsseminar (others' work) |
10/17/2006 | 13:00 | | Prof. N. N. Mirenkov | | "A new programming environment based on self-explanatory components" | E1 4, 019 | Talk |
10/17/2006 | 11:00 | c.t. | Mauro Sozio | | Finding Near Neighbors Through Cluster Pruning | E1 4, 433 | Talk |
10/16/2006 | 15:00 | | Jean-Raymond Abrial,
| | Using formally defined design patterns to improve system
developments.
| E1 4, 024 | SWS Distinguished Lecture Series |
10/16/2006 | 13:30 | | AG1 | | AG1 Group Meeting | E1 4, 024 | AG1 Group Meeting |
10/13/2006 | 14:00 | | Dan Wallach | |
Electronic Voting: Risks and Research
| E1 4, 019 | SWS Colloquium |
10/12/2006 | 09:00 | s.t. | Jasmina Bogojeska | | Stability Analysis of Oncogenetic Trees | E1 4, 024 | Talk |
10/12/2006 | 09:00 | s.t. | Nazar Amin Khan | | Silhouette Based 2D-3D Pose Estimation using Algebraic Surfaces | E1 4, 024 | Talk |
10/12/2006 | 09:00 | s.t. | Oliver Vogel | | Variational Shape from Shading | E1 4, 024 | Talk |
10/11/2006 | 15:00 | | Dr. Mario Botsch | | PriMo: Coupled Prisms for Intuitive Surface Modeling | E1 4, 019 | Talk |
10/11/2006 | 13:00 | s.t. | Mohamed Abdelmaksoud | | Generatin VHDL code and implementations from an intermediate representation of abstract VHDL models | E1 4, 024 | Talk |
10/11/2006 | 11:00 | s.t. | Calogero Zarba | | INTERPOLATION FOR DATA STRUCTURES
- Talk within RG1 meeting - | E1 4, Rotunda 6th floor | Talk |
10/11/2006 | 11:00 | | Verena Wolf | | A Numerical Aggregation Algorithm for the Enzyme-catalyzed Substrate Conversion | E1 3, 528 | Talk |
10/10/2006 | 13:30 | | Nils Hebbinghaus | | Discrepancy of Sums of Two Arithmetic Progressions | E1 4, 024 | AG1 Mittagsseminar (own work) |
10/10/2006 | 13:30 | | xxx | | AG1 Mittagsseminar | E1 4, 023 | Lecture |
10/10/2006 | 13:00 | | Volker Markl | | Learning in Query Optimization | E1 4, 024 | Talk |
10/10/2006 | 11:00 | | Torsten Schwede | | SWISS-MODEL Server and Repository: Practical applications of automated large-scale comparative protein structure modeling | E1 4, 023 | Talk |
10/10/2006 | 10:00 | | Dean Jacobs | | Next Generation Internet Services | E1 4, 024 | Talk |
10/06/2006 | 15:00 | | Tobias, Pascal, Ingmar | | Three cool websites: snap, dodgeball and jumpcut | E1 4, 333 | Miscellaneous |
10/06/2006 | 13:30 | | Sören Laue | | k-hop energy-efficient broadcast in the plane | E1 4, 023 | AG1 Mittagsseminar (own work) |
10/06/2006 | 09:00 | | TK | | Stress- und Zeit- Management | E1 4, 024 | Seminar |
09/29/2006 | 13:30 | | xxx | | AG 1 Mittagsseminar | E1 4, 023 | Lecture |
09/29/2006 | 13:00 | | V.A. Garanzha | | Discrete curvatures and optimal quasi-isometric parameterizations of non-smooth manifolds. | E1 4, 019 | AG4 Group Meeting |
09/26/2006 | 13:30 | | Martin Kutz | | A gap result for triangulations of finite point sets in the plane | E1 4, 023 | AG1 Mittagsseminar (own work) |
09/25/2006 | 14:00 | | Heiko Roeglin | | On the Impact of Combinatorial Structure on Congestion Games | E1 4, 024 | Talk |
09/22/2006 | 13:30 | s.t. | Rouven Naujoks | | A faster PTAS for the k-disc cover problem in Euclidean space | E1 4, 024 | AG1 Mittagsseminar (own work) |
09/21/2006 | 13:30 | | Kevin Chang | | Multiple pass streaming algorithms for clustering and machine learning | E1 4, 024 | AG1 Mittagsseminar (own work) |