max planck institut
informatik

• Homepage
• About the Institute
• Departments
• News & Activities
  • Press Releases
  • Awards
  • Spotlight
  • Campus Events:
    • All Upcoming:
      • only for D1
      • only for D2
      • only for D3
      • only for D4
      • only for D5
      • only for RG1
      • only for MMCI
      • Mailing Lists
      • by Speaker
      • by Type
      • by Category
      • by Title
      • Calendar
      • RSS Feed
    • History of Events:
  • Information for Guests
• Location
• Publications
• Software
• People
• Services
• Library
• Doctoral Research Program
• Max Planck Center
• Cluster of Excellence (MMCI)
• Computer Science Cluster
• Sitemap

Campus Event Calendar : 6. Event History - 1. Date and Time - 1. for All AGs

Action

Find

New Event Entry | Mailing Lists | E-Mail Events | Search with options | iCal Format

		Time	Speaker	Event, Title, Topic	Building, Room	Event Type
June 2013
	13 - Thursday
		13:00	Marvin Künnemann	Royal Road Functions and the (1 + λ) Evolutionary Algorithm	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:30	Amit Kumar	The Power of Deferral : Maintaining a constant-competitive Steiner Tree Online (Talk starts right after Marvin's talk)	E1 4 - MPI-INF 024	Lecture
	11 - Tuesday
		13:00	Martin Hoefer	Truthfulness and Stochastic Dominance	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:00	Rafal Mantiuk	Beyond high dynamic range	E1 4 - MPI-INF 019	Talk
	7 - Friday
		13:00	Benjamin Doerr	Some Open Problems on Mastermind	E1 4 - MPI-INF 024	Talk
		14:00	Franziska Ebel	Faster Genetic Algorithms (Master Talk)	E1 4 - MPI-INF D1 Rotunde	Talk
	6 - Thursday
		13:00	Danupon Nanongkai	Even-Shiloach Tree: Variants and Applications to Dynamic Shortest Paths	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	5 - Wednesday
		12:15	Klaus Hildebrandt	Discrete Differential Operators and Geometry Processing	E1 5 - MPI-SWS 002	Joint MPI-INF/MPI-SWS Lecture Series
	4 - Tuesday
		13:00	Dominik L. Michels	Exponential Integrators for Stiff Elastodynamic Problems	E1 4 - MPI-INF 019	Talk
		13:00	Kavitha Telikepalli	Pairwise spanners	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	3 - Monday
		10:30	Nedeljko Vasic	Dealing with Resource Allocations and Performance Interference in Virtualized Environments	MPI-SWS 029	SWS Colloquium
May 2013
	31 - Friday
		13:00	Alex Tiskin	Semi-local LCS: superglue for string comparison	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	28 - Tuesday
		13:00	Ragesh Jaiswal	Sampling based algorithms for k-means clustering	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	27 - Monday
		08:50	Daniel Vaz	Subset Selection Algorithms in Multiobjective Optimisation”	E1 4 - MPI-INF 24	PhD Application Talk
		08:50	Felix Klein	Encoding strategies for bounded synthesis	E1 4 - MPI-INF 24	PhD Application Talk
		08:50	SayanBandyapadhyay	VoronoiGame on Graphs	E1 4 - MPI-INF 24	PhD Application Talk
		08:50	Selin Karagülle	Critical Assessment of the Methods and the Features Used for Hot Spot Residue Prediction at Protein-Protein Interfaces	E1 4 - MPI-INF 24	PhD Application Talk
		11:00	ArunavMishra	Design and Evaluation of an IR-Benchmark for SPARQL Fulltext Queries	E1 4 - MPI-INF 24	PhD Application Talk
		11:00	RudrasisChakraborty	Feature Selection with Controlled Redundancy	E1 4 - MPI-INF 24	PhD Application Talk
		11:00	XucongZhang	Object Detection	E1 4 - MPI-INF 24	PhD Application Talk
	24 - Friday
		13:00	Tetsuo Ueda	The Physarum plasmodium as a model system for bioinformatics: Behavioral intelligence	E1 4 - MPI-INF 024	AG1 Mittagsseminar (basic education)
	23 - Thursday
		13:00	Karl Bringmann	Succinct Sampling from Discrete Distributions	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		16:00	Dr. Klaus Estenfeld	Innovative ICT-Lösungen bei TÜV SÜD AG	E1 3 - Hörsaal Gebäude 001	Talk
	22 - Wednesday
		17:00	Prof. Dr. Luis Serrano Pubull	A quantitative systems biology on a model bacterium	E2 1 001	CBI-Colloquium-Series
	21 - Tuesday
		13:00	Anna Adamaszek	Approximation Schemes for Maximum Weight Independent Set of Rectangles	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	16 - Thursday
		10:30	Thomas Wies	Logical Abstractions of Systems	MPI-SWS 029	SWS Colloquium
		13:00	Andreas Wiese	A 2 + ε Approximation Algorithm for Unsplittable Flow on a Path	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	15 - Wednesday
		15:00	Georg Neis	Compositional Inter-Language Reasoning	MPI-SWS 005	SWS Student Defence Talks - Thesis Proposal
	13 - Monday
		11:00	Carmel Majidi	Soft-Matter “Electronic Skin” for Monitoring Hand Motion and Tactile Sensing	E1 4 - MPI-INF 019	Talk
		13:00	D1	D1 Group Meeting	E1 4 - MPI-INF 024	Lecture
		14:00	Martin Hofmann	Proof-relevant logical relations	E1 5 - MPI-SWS 029	SWS Colloquium
	10 - Friday
		14:30	Meeyoung Cha	Gender Swapping and User Behaviors in Online Social Games	MPI-SWS 005	SWS Colloquium
	8 - Wednesday
		12:15	Martin Hoefer	Algorithms for Spectrum Allocation in Wireless Networks	E1 5 - MPI-SWS 002	Joint MPI-INF/MPI-SWS Lecture Series
	7 - Tuesday
		13:00	Ali Pourmiri	Faster Rumor Spreading with Multiple Calls	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	6 - Monday
		11:15	Yuri Gurevich	Impugning Alleged Randomness (hosted by UdS-CS)	MPI-SWS 029	Talk
	3 - Friday
		11:00	Amit Zoran	FREE-D: Human-Computer Collaboration in 3D Craft	E1 4 - MPI-INF 019	Talk
April 2013
	30 - Tuesday
		11:00	Carlos Garcia	Parameter Adaptation and Criticality in Particle Swarm Optimization	E1 4 - MPI-INF 019	Lecture
		13:00	Roberto Henschel	A connection of the chromatic polynomial to geometry	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	25 - Thursday
		13:00	He Sun	Randomness-Efficient Rumor Spreading	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Sylvain Malacria	Improving user's intermodal expertise with user interfaces	E1 4 - MPI-INF 019	Talk
	23 - Tuesday
		10:30	Florin Dinu	Understanding and Improving the Efficiency of Failure Resilience for Big Data Frameworks	MPI-SWS 029	SWS Colloquium
		13:00	Shion Chaudhury	The Sensitivity conjecture and related complexity measures of Boolean functions	E1 4 - MPI-INF 024	Talk
	22 - Monday
		14:00	Jyotirmoy Deshmukh	Mining Requirements from an Industrial-scale Control System	MPI-SWS [KL] 206	SWS Colloquium
	19 - Friday
		13:00	Benjamin Doerr	A Simple Solution for the Min-Max Selecting Items Problem	E1 4 - MPI-INF 024	Talk
		14:00	Some AG1 members	Meeting: What do we have at GECCO'13?	E1 4 - MPI-INF 3rd floor rotunda	Forschungsseminar
		15:00	Uday Khedkar	Liveness-Based Pointer Analysis	MPI-SWS [KL] 206	SWS Colloquium
	18 - Thursday
		11:00	Rayna Dimitrova	Synthesis and Control of Infinite-State Systems with Partial ObservabilitySpeaker	MPI-SWS [KL] 206	SWS Colloquium
		16:00	Prof. Joost-Pieter Katoen	Zero-Defect Software in Space: A True Mission	E1 3 - Hörsaal Gebäude 002	Talk
	17 - Wednesday
		15:00	Ulrich Loup	A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition	E1 4 - MPI-INF 019	Talk
		17:00	Prof. Dr. Hermann-Georg Holzhütter	Mathematical Modeling of the Cellular Metabolism	E2 1 001	Colloquium Series of the CBI
	16 - Tuesday
		10:00	Sophie Stellmach	Gaze-supported Multimodal Interaction	E1 4 - MPI-INF 019	Talk
		13:00	Adam Kurpisz	Approximating the minmax selecting items problem	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	8 - Monday
		10:30	Aslan Askarov	Securing information release: systems, models, and programming languages	MPI-SWS [KL] 206	SWS Colloquium
	4 - Thursday
		11:00	Daniel Kroening	Verifying shared-variable concurrent programs	MPI-SWS [KL] 206	SWS Colloquium
March 2013
	27 - Wednesday
		13:00	Matthias Mnich	Fixed-Parameter Algorithms for Scheduling Problems	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	26 - Tuesday
		13:00	AG1	AG1 Group Meeting	E1 4 - MPI-INF 024	AG1 Group Meeting
	21 - Thursday
		10:30	David Choffnes	Diagnosing and Repairing Internet Performance Problems	MPI-SWS [KL] 206	SWS Colloquium
	18 - Monday
		14:00	Nan-Wei Gong	Design and Applications for Inkjet-Printed Flexible Sensate Surfaces	E1 7 - MMCI 0.01	Talk
	12 - Tuesday
		10:30	Dongyoon Lee	Holistic System Design for Deterministic Replay	MPI-SWS [KL] 206	SWS Colloquium
		13:00	Rüdiger Reischuk	Smoothed Analysis of Online Caching	E1 4 - MPI-INF 024	Lecture
	11 - Monday
		13:30	Elliot Anshelevish	Assignment Games with Conflicts: Price of Total Anarchy and Convergence Results via Semi-Smoothness	E1 4 - MPI-INF 024	Talk
		15:00	Johannes Kloos	Incremental, Inductive Coverability	MPI-SWS [KL] 318	SWS Student Defence Talks - Qualifying Exam
	7 - Thursday
		10:30	Alexei Czeskis	Practical, Usable, and Secure Authentication and Authorization on the Web	MPI-SWS [KL] 206	SWS Colloquium
	6 - Wednesday
		12:15	Björn Brandenburg	Real-Time Locking in Theory and Practice	E1 5 - MPI-SWS 002	Joint MPI-INF/MPI-SWS Lecture Series
	5 - Tuesday
		13:00	Andreas Karrenbauer	Bearings and Graph Theory	E1 4 - MPI-INF 024	Talk
	4 - Monday
		10:30	Kasper Bonne Rasmussen	Selected Topics on Wireless Security and Localization	MPI-SWS [KL] 206	SWS Colloquium
		11:00	Karsten Schwenk	Filtering techniques for interactive previews of global illumination	E1 4 - MPI-INF 019	Talk
	1 - Friday
		13:00	Oliver Dejon	(Master Seminar Talk) Swarm Intelligence For The Biclique Cover Problem	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:30	Suresh Venkatasubramanian	Approximate Near Neighbor Search for Bregman Divergences	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
February 2013
	26 - Tuesday
		13:00	Adrian Neumann	Online Checkpointing with Improved Worst-Case Guarantees	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Alec Jacobson	Achieving high-quality shape deformation in real time	E1 4 - MPI-INF 019	Talk
	25 - Monday
		08:45	Ankit Pat	On Construction of a Class of Orthogonal Arrays	E1 4 - MPI-INF R024	PhD Application Talk
		08:45	Florian Benz	An Effective Heuristic for the Smallest Grammar Problem	E1 4 - MPI-INF R024	PhD Application Talk
		08:45	Kumar Vishal	Comparagram aided ghost-free multi-exposure compositing, and enhanced background subtraction	E1 4 - MPI-INF R024	PhD Application Talk
		08:45	Ozan Sener	Efficient Mobile Image and Video Segmentation via Dynamic Graph-Cuts and Bilateral Filters	E1 4 - MPI-INF R024	PhD Application Talk
		08:45	Wenbin Li	Improving Learning and Representations for Visual Material Recognition	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Adam Grycner	Finding incompatible entities in medical definitions	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Kai Hui	Relevance Weighting in Information Retrieval using Within-document Term Statistics	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Subhabrata Mukherjee	Adapting Sentiment Analysis to the Challenges of Social Media	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Venkata Rama Kiran Garimella	Political Polarization of Hashtags for U.S and U.K.	E1 4 - MPI-INF R024	PhD Application Talk
		15:15	Yafang WANG	Methods and Tools for Temporal Knowledge Harvesting	E1 4 - MPI-INF 024	Promotionskolloquium
	22 - Friday
		11:00	Chuan Li	Exploring computer vision and machine learning for Model Capturing and Synthesis	E1 4 - MPI-INF 019	Talk
		13:00	Doug Terry	Cloud Storage Consistency Explained Through Baseball	E1 5 - MPI-SWS 029	SWS Colloquium
	20 - Wednesday
		14:30	Franziska Ebel	(Master student talk) A new genetic algorithm	E1 4 - MPI-INF Rotunda D1	Talk
	19 - Tuesday
		13:00	Parinya Chalermsook	How to make everyone happy in the network?	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	18 - Monday
		10:30	Janick Martinez Esturo	Interactive and Automatic Surface-based Flow Visualization	E1 4 - MPI-INF 019	Talk
		10:30	Peter Sewell	Tales from the Jungle	MPI-SWS 002	SWS Distinguished Lecture Series
	14 - Thursday
		10:30	Alexey Gotsman	Abstraction for Weakly Consistent Systems	MPI-SWS [KL] 206	SWS Colloquium
		14:00	Babak Bagheri	Borders of Decidability in Verification of Data-Centric Dynamic Systems	MPI-SWS [KL] 206	SWS Colloquium
	13 - Wednesday
		10:30	Divesh Srivastava	In Search of Truth (on the Deep Web)	TU - 48 [KL] 680	SWS Distinguished Lecture Series
	12 - Tuesday
		13:00	Haya Shulman	Towards a Secure DNS	MPI-SWS 029	SWS Colloquium
	8 - Friday
		13:00	Sudeshna Kolay	Faster Parameterized Algorithms for Split Graph Deletion	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Nikita Borisov	Breaking the Internet for Fun and Censorship Resistance	E1 4 - MPI-INF 0.24	CISPA Distinguished Lecture Series
	6 - Wednesday
		11:00	Daniele Panozzo	Fields on Symmetric Surfaces	E1 4 - MPI-INF 019	Talk
		12:15	Pauli Miettinen	Boolean Matrix Factorizations and Data Mining	E1 5 - MPI-SWS 002	Joint MPI-INF/MPI-SWS Lecture Series
	5 - Tuesday
		13:00	Artur Jeż	One variable word equations in linear time	E1 4 - MPI-INF 021	Lecture
January 2013
	29 - Tuesday
		13:00	Gerard Pons	Human Pose Estimation from Video and Inertial Sensors	E1 4 - MPI-INF 019	Talk
	28 - Monday
		10:30	David Walker	Networking: A Killer App for Programming Languages Researchers	MPI-SWS 029	SWS Distinguished Lecture Series
		14:00	Filip Sadlo	Flow Visualization Beyond Steady-State Advection	E1 4 - MPI-INF 019	Talk
	24 - Thursday
		13:00	Tetsuo Uedo	Physarum as a model system of Bio-Informatics	E1 4 - MPI-INF 024	Talk
	23 - Wednesday
		14:00	Prof. Anastasia Ailamaki	Scientific Data Management: Not your everyday transaction	E1 5 - MPI-SWS 002	SWS Distinguished Lecture Series
	18 - Friday
		10:00	Yan Chen	Type-Directed Automatic Incrementalization	MPI-SWS 422	SWS Student Defence Talks - Qualifying Exam
		13:00	Bernhard Haeupler	TBA	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:30	John Augustine	TBA	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:30	John Augustine	TBA	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	17 - Thursday
		10:00	Vitaly Shmatikov	Building Privacy-Preserving Systems: What Works, What Doesn't, and What Is To Be done	MPI-SWS [KL] 206	SWS Distinguished Lecture Series
	15 - Tuesday
		13:00	AG1	Group Meeting	E1 4 - MPI-INF 024	AG1 Group Meeting
		14:00	Jens Schmidt	Open Problem Session	E1 4 - MPI-INF 024	Talk
	13 - Sunday
		13:00	D1	D1 Group Meeting: SAB Visit	E1 4 - MPI-INF 024	AG1 Group Meeting
		13:45	Amit Kumar	to be announced (talk starts right after Marvin's talk)	E1 4 - MPI-INF 024	Lecture
	11 - Friday
		13:00	Jens M. Schmidt	On Barnette's Conjecture	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	9 - Wednesday
		11:00	Nikolaj Bjorner	SecGuru - Symbolic Analysis of Network Connectivity Restrictions	MPI-SWS 002	SWS Distinguished Lecture Series
December 2012
	21 - Friday
		12:00	Rawia AWADALLAH	Methods for Constructing an Opinion Network Politically Controversial Topics	E1 4 - MPI-INF 024	Promotionskolloquium
		13:00	Jose Verschae	Scheduling on a machine with varying speed: Minimizing cost and energy via dual schedules	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	20 - Thursday
		15:15	Ndapandula T. Nakashole	Automatic Extraction of Facts, Relations, and Entities for Web-Scale Knowledge Base Population	E1 4 - MPI-INF 024	Promotionskolloquium
	19 - Wednesday
		16:00	Tomasz Jurkiewicz	The Cost of Address Translation	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	18 - Tuesday
		10:00	Dipl.-Math. David Günther	Topological Analysis of Discrete Scalar Data	E1 4 - MPI-INF 019	Promotionskolloquium
		13:00	Antonios Antoniadis	Race to Idle: New Algorithms for Speed Scaling with a Sleep State	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Kurt Mehlhorn	Open Problems Session	E1 4 - MPI-INF AG1 Rotunda	Talk
	14 - Friday
		11:00	Sandra Ebert	Semi-Supervised Learning for Image Classification	E1 4 - MPI-INF 024	Promotionskolloquium
		13:30	Julien Tierny	Structural analysis of spatial data: a control-freak's perspective	E1 4 - MPI-INF 019	Talk
	13 - Thursday
		10:00	Bryan Russell	Online image annotation and 3D scene understanding	E1 4 - MPI-INF 024	Talk
		13:00	Torsten Sattler	Image-Based Localization from SfM Point Clouds	E1 4 - MPI-INF D2 Rotunda	Talk
	11 - Tuesday
		13:00	AG1	Group Meeting AG1	E1 4 - MPI-INF 024	AG1 Group Meeting
	10 - Monday
		13:00	Alexander Hartmann	Phase transition for cutting-plane approach to vertex-cover problem	E1 4 - MPI-INF 024	Lecture
	7 - Friday
		11:00	Timothy Roscoe	Reasoning as a First-class Operating System Service	MPI-SWS 029	SWS Distinguished Lecture Series
		13:00	Artur Jeż	Fully compressed pattern matching by recompression	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		16:00	Juhi Kulshrestha	Geographic Dissection of the Twitter Network	MPI-SWS 005	SWS Student Defence Talks - Qualifying Exam
	5 - Wednesday
		12:15	Klaus Berberich	Text + Time Search & Analytics	E1 5 - MPI-SWS 002	Joint MPI-INF/MPI-SWS Lecture Series
	3 - Monday
		11:00	Esther Galbrun	Relational Redescription Mining	E1 4 - MPI-INF 433	Talk
November 2012
	30 - Friday
		10:30	Prof. Michael Hicks	Expositor: Scriptable Time-Travel Debugging with First Class Traces	E1 5 - MPI-SWS 029	SWS Distinguished Lecture Series
		13:00	Rob van Stee	Truthful Scheduling	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	27 - Tuesday
		14:00	Anna Adamaszek & Magnus Wahlström	Open problems and good research habits	E1 4 - MPI-INF 024	Talk
	26 - Monday
		09:00	Bjoern Andres	Advancing the State of the Art in Image Segmentation and Tracking by Combinatorial Optimization	E1 4 - MPI-INF 024	Talk
	23 - Friday
		10:30	Roxana Gabriela Horincar () On Friday	Refresh Strategies and Online Change Estimation for Highly Dynamic Web Content	E1 4 - MPI-INF 433	Postdoc Application Talk
		13:00	Matthias Mnich	Efficiency in Kernelization	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	20 - Tuesday
		13:00	He Sun	From Kant to Turing: On the Philosophical Foundations of Computer Science	E1 4 - MPI-INF 024	Talk
	19 - Monday
		13:00	Moritz Hardt	Differential Privacy as a Learning Problem	E1 4 - MPI-INF 024	Lecture
		18:00	Nuno Santos	System Designs for Securing Data and Computations against Administration Threats	E1 5 - MPI-SWS 005	SWS Student Defence Talks - Thesis Proposal
	16 - Friday
		11:00	Andreas Wiese	A New Approach to Online Scheduling: Approximating the Optimal Competitive Ratio	E1 5 - MPI-SWS 029	Talk
		13:30	Prof. Dr. Kurt Mehlhorn	Fest-Kolloquium anlässlich des 60. Geburtstags von Prof. Dr. Dr. Thomas Lengauer	E2 2 Günter-Hotz-Hörsaal	Fest-Kolloquium
	14 - Wednesday
		10:00	Brigitte Pientka	Beluga^mu: Programming proofs in context	MPI-SWS 029	SWS Colloquium
	13 - Tuesday
		13:00	AG1	AG 1 Group Meeting	E1 4 - MPI-INF 024	AG1 Group Meeting
	12 - Monday
		12:05	Razvan Belet	Leveraging Independence and Locality for Random Forests in a Distributed Environment	E1 4 - MPI-INF 024	IMPRS Research Seminar
	9 - Friday
		10:00	Verena Konz	Automated Methods for Audio – Based Music Analysis with Applications to Musicology	E1 4 - MPI-INF 0.19	Promotionskolloquium
		12:00	Peter Matthias Grosche	Signal Processing Methods for Beat Tracking, Music Segmentation and Audio Retrieval	E1 4 - MPI-INF 019	Promotionskolloquium
		14:00	Andreas Baak	Retrieval-based Approaches for Tracking and Reconstruction Human Motions	E1 4 - MPI-INF 019	Promotionskolloquium
		17:00	Pavel Emeliyanenko	Harnessing the Power of GPUs for Problems in Real Algebraic Geometry	E1 4 - MPI-INF 024	Promotionskolloquium
	7 - Wednesday
		12:15	Allen Clement	Robust Replication	E1 5 - MPI-SWS 002	Joint MPI-INF/MPI-SWS Lecture Series
	6 - Tuesday
		14:30	Torsten Schaub	Problem Solving with Answer Set Programming	E1 5 - MPI-SWS Hörsaal 002	Talk
	5 - Monday
		14:00	Jeffrey Mogul	Corybantic: Towards the Modular Composition of SDN Controllers	MPI-SWS 029	SWS Distinguished Lecture Series
	2 - Friday
		13:00	Pinyan Lu	Correlation Decay up to Uniqueness in Spin Systems	E1 4 - MPI-INF 024	Talk
October 2012
	31 - Wednesday
		10:30	Lorenzo Alvisi	Reasoning with MAD distributed systems	MPI-SWS 029	SWS Distinguished Lecture Series
	23 - Tuesday
		17:15	Dr. Sabine Bartsch	Gender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher Texte	A2.2 2.02	Lecture
	11 - Thursday
		14:00	Zilong Wang	Provenance Verification	MPI-SWS [KL] 204	SWS Student Defence Talks - Qualifying Exam
	10 - Wednesday
		12:15	Tobias Ritschel	Perception-driven and artistically motivated interactive graphics	E1 3 - Hörsaal Gebäude HS 002	Joint MPI-INF/MPI-SWS Lecture Series
	9 - Tuesday
		11:00	Andreas Broschart	Efficient Query Processing and Index Tuning using Proximity Scores	E1 4 - MPI-INF 024	Promotionskolloquium
		13:00	Klaus Hildebrandt	Modeling and Animating Deformable Objects	E1 4 - MPI-INF 019	Talk
	8 - Monday
		09:00	Ba Dat Nguyen	Efficient Entity Disambiguation via Similarity Hashing	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Kumar Srijan	Scalable Techniques for Organizing and Visualizing Community Photo Collections	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Sergei Shudler	The Effects of Untruthful Bids on User Utilities and Stability in Computing Markets	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Sourav Dutta	Space-Efficient Management of String Databases by Reusing Common Characters	E1 4 - MPI-INF 024	PhD Application Talk
		11:20	Alkmini Sgouritsa	Online Prot-Maximizing Sampling Auctions For DigitalGoods	E1 4 - MPI-INF 024	PhD Application Talk
		11:20	Cosmina Croitoru	Algorithmic Aspects of Abstract Argumentation Frameworks	E1 4 - MPI-INF 024	PhD Application Talk
		11:20	Milivoj Simeonovski	Introducing Accountability in Onion Routing	E1 4 - MPI-INF 024	PhD Application Talk
		11:20	Sarvesh Nikumbh	Classification of Promoters based onChromatin Features	E1 4 - MPI-INF 024	PhD Application Talk
		16:00	Jozef Dobos	3D Revision Control Framework	D 3 2 VizCenter, DFKI	Talk
	5 - Friday
		16:08	Gregorio Palmas	Computer-Assisted Assembling of Fragmented Objects	E1 4 - MPI-INF 024	PhD Application Talk
		16:15	Nasimi Eldarov	Modeling influenza evolution in response to immune system pressure	E1 4 - MPI-INF 024	PhD Application Talk
	2 - Tuesday
		13:00	Jakub Sliacan	Residual-based Gauss-Seidel method	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Ben Livshits	Client-side Personalization and Privacy: Browser and Mobile	E1 4 - MPI-INF 0.24	CISPA Distinguished Lecture Series
		14:00	Ben Livshits	Client-side Personalization and Privacy: Browser and Mobile	E1 4 - MPI-INF 0.24	CISPA Distinguished Lecture Series
	1 - Monday
		11:00	Dr. Christopher Kruegel	Automated Malware Analysis	E1 5 - MPI-SWS 029	SWS Distinguished Lecture Series
September 2012
	28 - Friday
		13:00	Dr. Andreas Karrenbauer	On Planar Min-Cost Flow	E1 4 - MPI-INF 024	Talk
	27 - Thursday
		13:00	Raphael Reitzig	PhD Application Talk	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	26 - Wednesday
		14:00	Benjamin Doerr	The Discrepancy of Random Points	E1 4 - MPI-INF 024	Talk
	25 - Tuesday
		13:00	Cosmina Croitoru	Algorithmic Aspects of Abstract Argumentation Frameworks	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:00	Jochen Lang	Haptic Exploration of Photographs	E1 4 - MPI-INF 019	Talk
		15:00	Prof. Jan Vitek	Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection	MPI-SWS [KL] 206	SWS Distinguished Lecture Series
		16:00	Sandy Heydrich	Dividing connected chores fairly	E1 4 - MPI-INF Rotunde	Talk
	24 - Monday
		13:00	Gernot Heiser	Towards Trustworthy Embedded Systems	MPI-SWS [KL] 206	SWS Distinguished Lecture Series
	14 - Friday
		14:00	Aditya Thakur	A deductive algorithm for symbolic abstraction with applications to SMT	MPI-SWS [KL] 206	Talk
	13 - Thursday
		13:00	Michael Kerber	The Medusa of Spatial Sorting	E1 4 - MPI-INF 024	Talk
	11 - Tuesday
		13:00	Ralf Osbild	Controlled Perturbation (PhD-thesis)	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		16:00	Wolfram Wagner	How to backup your notebook	E1 4 - MPI-INF 024	Technical Tea Time
	7 - Friday
		13:00	Rob van Stee	Online scheduling of jobs with fixed start times on related machines	E1 5 - MPI-SWS 630	AG1 Mittagsseminar (own work)
	4 - Tuesday
		13:00	Ignaz Rutter	Cubic Augmentation of Planar Graphs	MPI-INF, Geb E1 4 023	AG1 Mittagsseminar (own work)
	3 - Monday
		13:00	Shay Moran	Shattering Extremal systems (Master thesis)	E1 4 - MPI-INF 023	AG1 Mittagsseminar (own work)
August 2012
	31 - Friday
		10:00	Daniel Peek	A Brief History of Facebook's User Data Storage System	E1 5 - MPI-SWS 029	Talk
	30 - Thursday
		10:00	Michael Emmi	Analysis of Recursively Parallel Programs	MPI-SWS [KL] 206	Talk
	28 - Tuesday
		13:00	Quentin de Mourgues	Intersection Time of Random Walks	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		16:00	Marcus Rohrbach	Intro to the moinmoin wiki	E1 4 - MPI-INF 623 - Rotunde	Technical Tea Time
	24 - Friday
		11:00	Prof. Dr. habil Douglas W. Cunningham	Experimental Design Part III: Quantitative Tasks?	E1 4 - MPI-INF 019	Talk
		13:00	Zeyu Guo	Randomness Optimal Curve Sampling	E1 4 - MPI-INF 024	Talk
	23 - Thursday
		14:00	Prof. Dr. habil Douglas W. Cunningham	Experimental Design Part II: Qualitative and Physiological Tasks?	E1 4 - MPI-INF 019	Talk
	22 - Wednesday
		13:30	Robert Harper	Cache and I/O-Efficient Functional Algorithms	E1 4 - MPI-INF 024	MPI Colloquium Series Distinguished Speaker
		15:00	Prof. Dr. habil Douglas W. Cunningham	Experimental Design Part I: What is an experiment and why does ittake so long?	E1 4 - MPI-INF 019	Talk
	20 - Monday
		15:00	Dimitar DENEV	Models and Methods for Web Archive Crawling	E1 4 - MPI-INF 024	Promotionskolloquium
		16:30	Piotr DIDYK	Perceptual Display: Exceeding Display Limitations by Exploiting the Human Visual System	E1 4 - MPI-INF 019	Promotionskolloquium
	17 - Friday
		09:00	Luca Trevisan	Spectral Graph Theory and its Algorithmic Applications (3)	E1. 3 001	Lecture
		11:00	Berthold Voecking	Randomized Mechanism Design: Approximation and Online Algorithms (3)	E1. 3 001	Lecture
		12:30	Marcin Eichner	Articulated pose estimation of multiple persons: pose co-estimation	E1 4 - MPI-INF Rotunda 6th floor	Talk
		14:00	Vijay V. Vazirani	Dispelling an Old Myth about an Ancient Algorithm	E1 4 - MPI-INF 024	MPI Colloquium Series Distinguished Speaker
	16 - Thursday
		09:00	Luca Trevisan	Spectral Graph Theory and its Algorithmic Applications (2)	E1. 3 001	Lecture
		14:30	Berthold Voecking	Randomized Mechanism Design: Approximation and Online Algorithms (3)	E1. 3 001	Lecture
	15 - Wednesday
		09:00	Avi Wigderson	Expander Graphs: Constructions and Applications (3)	E1. 3 001	Lecture
	14 - Tuesday
		09:00	Berthold Voecking	Randomized Mechanism Design: Approximation and Online Algorithms (1)	E1. 3 001	Lecture
		10:00	Alexander Vezhnevets	Weakly Supervised Structured Output Learning for Semantic Segmentation	E1 4 - MPI-INF 019	Talk
		11:00	Michael Sagraloff	Exaktes Geometrisches Rechnen	E1 4 - MPI-INF 021	Vorstellungsvortrag für einen Habilitationsantrag
		14:30	Avi Wigderson	Expander Graphs: Constructions and Applications (2)	E1. 3 001	Lecture
		16:00	Wolfram Waagner	Taming the beast - handling directory trees	E1 4 - MPI-INF 633	Talk
	13 - Monday
		09:00	Avi Wigderson	Expander Graphs: Constructions and Applications (1)	E1. 3 001	Lecture
		14:00	Rodrigo Benenson	Using 100 classifiers to detect a single class	E1 4 - MPI-INF 019	Talk
		14:30	Luca Treivsan	Spectral Graph Theory and its Algorithmic Applications (1)	E1. 3 001	Lecture
	9 - Thursday
		11:00	Saikat Guha	Measuring and Fingerprinting Click-Fraud in Ad Networks	49 [KL] 204	Talk
	1 - Wednesday
		12:15	Antti Oulasvirta	Optimizing User Interfaces for Human Performance	E1 3 - Hörsaal Gebäude HS 002	Joint MPI-INF/MPI-SWS Lecture Series
July 2012
	30 - Monday
		14:00	Céline Teulière	Research activities in visual tracking for robotics applications: Moving object tracking, 3D localization and positioning tasks using monocular or RGB-D cameras	E1 4 - MPI-INF 019	Talk
	26 - Thursday
		17:00	Dr. Sabine Bartsch	Gender-spezifische Wissenschaft? eHumanities Explorationen wissenschaftlicher Texte	A2.2 2.02	Lecture
	23 - Monday
		13:00	Xavier Pérez Giménez	Asymptotic enumeration of sparse strongly connected digraphs by vertices and edges	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	20 - Friday
		13:00	Sourav Chakraborty	Testing Boolean Function Isomorphism	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	17 - Tuesday
		13:00	Ruben Becker	The Bolzano Method to Isolate the Roots of a Bitstream Polynomial	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	10 - Tuesday
		13:00	Manoj Gupta	Fully dynamic maximal matching in O(log n) update time	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	6 - Friday
		13:00	Sebastian Ott	Truthfully maximizing the minimum load on selfish machines	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:30	Anna-Kaisa Pietilainen	Opportunistic Mobile Social Networks at Work	MPI-SWS 029	SWS Colloquium
	5 - Thursday
		11:00	Dario Fiore	Provably-Secure Cryptographic Protocols: from Practice to Theory to Practice	E1 5 - MPI-SWS 029	SWS Colloquium
		14:00	Cesare Tinelli	Incremental SMT-based model checking of synchronous systems	E1 4 - MPI-INF 024	Talk
	4 - Wednesday
		12:15	Olga Kalinina	Structural Bioinformatics Methods for Identification of Protein Function and Interactions	E1 3 - Hörsaal Gebäude HS 002	Joint MPI-INF/MPI-SWS Lecture Series
	3 - Tuesday
		11:00	Bryan Ward	Supporting Nested Locking in Multiprocessor Real-Time Systems	MPI-SWS 029	SWS Colloquium
		13:00	Marvin Kuenemann	to be announced	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:30	Peter Baumgartner	Reasoning with Data-Centric Business Processes	E1 4 - MPI-INF 024	Talk
	2 - Monday
		12:05	Noran Azmy	Formula Renaming	E1 4 - MPI-INF 024	IMPRS Research Seminar
		14:00	Sandeep Sen	Computing in presence of uncertainty: models and algorithms	E1 4 - MPI-INF 022	Talk
June 2012
	29 - Friday
		13:00	Matthias Feldmann	Stochastic Optimization with Fitness Proportional Ant Systems	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	22 - Friday
		13:00	Kavitha Telikepalli	Popular matchings in the stable marriage setting	E1 4 - MPI-INF 024	Talk
		14:00	Istemi Ekin Akkus	Non-tracking Web Analytics	MPI-SWS [KL] 204	SWS Student Defence Talks - Qualifying Exam
	21 - Thursday
		16:00	Val Tannen	Provenance for Database Transformations	MPI-SWS 029	SWS Distinguished Lecture Series
	19 - Tuesday
		13:00	AG 1	AG1 Group Meeting	E1 4 - MPI-INF 024	AG1 Group Meeting
		13:00	Burkhard Wuensche	TBA	E1 4 - MPI-INF 019	Talk
	18 - Monday
		13:00	Stephen Kobourov	From Graphs to Maps	E1 4 - MPI-INF 024	Lecture
		14:00	Ondřej Karlík and Jirka Vorba	Importance Sampling for Incident Illumination	E1 4 - MPI-INF 019	Talk
	15 - Friday
		13:00	Hendrik Molter	ACO beats EA on a Dynamic Pseudo-Boolean Function	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	13 - Wednesday
		12:15	Viktor Vafeiadis	Relaxed memory concurrency and verified compilation	E1 3 - Hörsaal Gebäude HS 002	Joint MPI-INF/MPI-SWS Lecture Series
	12 - Tuesday
		13:00	G.Ramakrishna	Characterization of Minimum Cycle Basis in Partial 2-trees	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	8 - Friday
		13:00	Shay Moran	Shattering Extremal Set Systems (Master Thesis, First Talk)	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	6 - Wednesday
		15:00	Magnus Wahlström	Kernelization via magic	E1 4 - MPI-INF Rotunda, 3rd floor	AG1 Mittagsseminar (own work)
	5 - Tuesday
		13:00	Shlomo Moran	Towards Optimal Distance Functions for Stochastic Substitutions Models	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	1 - Friday
		10:30	Monica Lam	How Mobile Disrupts and Opens Up Social as We Know It	MPI-SWS 029	SWS Distinguished Lecture Series
		13:00	Hans Raj Tiwary	Extended Formulations, Matrix Factorization and Communication Complexity - part II	E1 4 - MPI-INF 024	Lecture
May 2012
	30 - Wednesday
		11:30	Mr. Ram Sewak Sharma	Design for UID Numbers to all Indian residents	MPI-SWS 029	SWS Colloquium
	29 - Tuesday
		13:00	Pengming Wang	Certification of Curve Arrangements (Master Thesis)	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	25 - Friday
		13:00	Antti Nurminen	Mobile 3D City Maps	E1 4 - MPI-INF 019	Talk
		13:00	Cosmina Croitoru	Argumentation systems: Complexity and algorithmic aspects	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	23 - Wednesday
		10:00	Anjo Vahldiek	Protecting Data Integrity with Storage Leases	E1 5 - MPI-SWS 005	SWS Student Defence Talks - Qualifying Exam
		16:00	Scott Kilpatrick	A typed package language for Haskell	MPI-SWS 029	SWS Student Defence Talks - Qualifying Exam
	22 - Tuesday
		13:00	Surender Baswana	Dynamic trees and algorithms	E1 4 - MPI-INF 024	Lecture
	15 - Tuesday
		13:00	Kurt Mehlhron	Certifying Algs for Approximation and FPT-Algorithms (A Thesis Proposal)	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	14 - Monday
		11:00	Alexander J. Smola	Scalable Machine Learning for the User	E1 4 - MPI-INF 019	SWS Distinguished Lecture Series
	11 - Friday
		13:00	Chandan Saha	Identity testing and lower bounds using algebraic independence	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	9 - Wednesday
		11:00	Kevin Ashley	Toward Teaching Writing and Argumentation with AI-Supported Peer Review	D3 1 - DFKI Reuse, SB (HG -2.17)	Talk
	8 - Tuesday
		13:00	Martin Hoefer	Local Matching Dynamics in Social Networks	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	7 - Monday
		09:20	Anne-Christin Hauschild	Statistical Learning on Metabolic Ion Mobility Spectrometry Profiles for Disease Identification	E1 4 024	PhD Application Talk
		09:20	Bibek Paudel	Redundancy Control in Web Archives	E1 4 - MPI-INF 024	PhD Application Talk
		09:20	Sergey Paramonov	Query Completeness: A Logic Programming Approach	E1 4 - MPI-INF 024	PhD Application Talk
		11:00	Abubakrelsedik Alsebai Karali	Novel View invariant 3D features for human action recognition	E1 4 - MPI-INF 024	PhD Application Talk
		11:00	Santanu Bhowmick	Modeling and Testing of Multi-cycle Power Droop Faults	E1 4 - MPI-INF 024	PhD Application Talk
		11:00	Tomasz Dudziak	Relational cache analysis in presence of pointer-based data structures	E1 4 - MPI-INF 024	PhD Application Talk
	4 - Friday
		13:00	He Sun	Counting Arbitrary Subgraphs in Data Streams	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	2 - Wednesday
		12:15	Fabian Suchanek	The Ontologies Group at the Max Planck Institute for Informatics	E1 3 - Hörsaal Gebäude HS 002	Joint MPI-INF/MPI-SWS Lecture Series
April 2012
	27 - Friday
		13:00	Tomasz Jurkiewicz	Computational Complexity of the Virtual Address Translation	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	26 - Thursday
		14:15	Bodo Manthey	25 Years of Isolation Lemma	E1 3 HS 002	Antrittsvorlesung
	24 - Tuesday
		13:00	Danny Hermelin	Loss Minimization Scheduling for Generalizations of Interval Jobs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	23 - Monday
		11:00	Pranav Dandekar	Credit Networks: Liquidity and Formation	MPI-SWS 5th floor	SWS Colloquium
		16:30	Tom Crecelius	Socially Enhanced Search and Exploration in Social Tagging Networks	E1 4 - MPI-INF 024	Promotionskolloquium
	16 - Monday
		11:00	Charlie Hu	Energy Debugging in Smartphones	MPI-SWS 5th floor	SWS Colloquium
	13 - Friday
		13:00	Paul Bonsma	Surface Split Decompositions and Subgraph Isomorphism in Graphs on Surfaces	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	12 - Thursday
		12:30	Thomas Lengauer	Life Ascending - A Biological History of Creation	E1 4 - MPI-INF 024	Talk
	4 - Wednesday
		14:00	Marc Renault	On Online Algorithms with Advice for the k-Server Problem	E1 4 - MPI-INF 024	Talk
	3 - Tuesday
		13:00	Anton Krohmer	Finding Cliques in Scale-Free Networks	E1 4 - MPI-INF 0.24	AG1 Mittagsseminar (own work)
March 2012
	30 - Friday
		14:00	Stan Sclaroff	Algorithms for Detection, Tracking, Analysis, and Classification of Objects and Humans Actions	E1 4 - MPI-INF 024	Talk
	28 - Wednesday
		10:00	Bojana Kodric	Efficient construction of a finite-state automaton from a set of strings	E1 4 - MPI-INF 024	Talk
		10:30	Eleftherios Anastasiadis	Approximation algorithms for combinatorial auctions	E1 4 - MPI-INF 024	Talk
		11:00	Adrian Perrig	SCION: Scalability, Control, and Isolation On Next-Generation Networks	MPI-SWS 5th floor	SWS Distinguished Lecture Series
		13:00	Michael Dirnberger	Methods of Computational Physics in Lattice Gauge Theory: A Case Study on Confinement	E1 4 - MPI-INF 024	Talk
	27 - Tuesday
		13:00	Benjamin Doerr	Still Playing Mastermind	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	26 - Monday
		10:30	Tim Kraska	Forecast: Cloudy with a Chance of Consistency	MPI-SWS [KL] 206	SWS Colloquium
	23 - Friday
		13:00	Johannes Lengler	Evolutionary Algorithms on Quantum Computers	E1 4 - MPI-INF 021	AG1 Mittagsseminar (own work)
	22 - Thursday
		15:00	Petr Kuznetsov	Turning Sequential into Concurrent	MPI-SWS 5th floor	SWS Colloquium
	21 - Wednesday
		10:00	Pascal Fontaine	Combination of disjoint theories: beyond decidability	E1 4 - MPI-INF 019	Talk
		11:00	Abdullah Bulbul	Perceptually Aware 3-D Computer Graphics	E1 4 - MPI-INF 019	Talk
	20 - Tuesday
		13:00	Henning Thomas	A Randomized Version of Ramsey's Theorem	E1 4 - MPI-INF 021	AG1 Mittagsseminar (own work)
		15:00	Chen Avin	Random walks techniques for (wireless) networks	E1 4 - MPI-INF 023	AG1 Mittagsseminar (own work)
	19 - Monday
		10:00	Iliyan Georgiev	Complex illumination in occluded environments and light path sampling	E1 4 - MPI-INF 019	Talk
		10:30	Cristian Danescu-Niculescu-Mizil	Language as Influence(d)	MPI-SWS [KL] 206	SWS Colloquium
		16:00	Alexey Pospelov	How to use and misuse mathematical statistics (3/3)	E1 4 - MPI-INF 023	Lecture
	16 - Friday
		13:00	Carola Winzen	Computing Star Discrepancies	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	15 - Thursday
		10:30	Julia Stoyanovich	Information Discovery in Large Complex Datasets	MPI-SWS [KL] 206	SWS Colloquium
		16:00	Alexey Pospelov	How to use and misuse mathematical statistics (2/3)	E1 4 - MPI-INF 024	Lecture
	14 - Wednesday
		16:00	Alexey Pospelov	How to use and misuse mathematical statistics (1/3)	E1 4 - MPI-INF 024	Lecture
	13 - Tuesday
		13:00	Stefan Kratsch	Lower bounds for kernelization using co-nondeterminism	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:30	Erik Jan van Leeuwen	Algorithms for Firefighting	E1 4 - MPI-INF 024	Lecture
	9 - Friday
		13:00	Benjamin Doerr	Best of STACS	E1 4 - MPI-INF 024	Talk
	8 - Thursday
		13:00	Tobias Mömke	Approximationg Graphic TSP by Matchings	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	6 - Tuesday
		11:00	Maurice van Keulen	Managing uncertainty - the road towards better data interoperability	E1 4 - MPI-INF 433	Talk
		13:00	Reto Spöhel	Upper bounds for asymmetric Ramsey properties of random graphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	2 - Friday
		13:00	Kostas Kollias	Restoring Pure Equilibria to Weighted Congestion Games	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
February 2012
	28 - Tuesday
		13:00	Nina Taslaman	Shortest Cycle Through Specified Elements	E1 4 - MPI-INF 024	Lecture
		13:30	Saket Saurabh	Faster FPT algorithms using Linear Programming	E1 4 - MPI-INF 024	Lecture
	27 - Monday
		10:30	Alexandra Meliou	Why and How: A Reverse Perspective on Data Management	MPI-SWS [KL] 206	SWS Colloquium
	24 - Friday
		13:00	Matthias Mnich	Cuts in Graphs - Algorithms and Combinatorics	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	21 - Tuesday
		13:00	Kostas Tsakalidis	Using Persistence for Efficient Dynamic Orthogonal Range Reporting	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	20 - Monday
		10:30	Ashwin Machanavajjhala	No Free Lunch in Data Privacy	MPI-SWS [KL] 206	SWS Colloquium
	17 - Friday
		13:00	Timo Kötzing	Learning XML Specifications	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	14 - Tuesday
		13:00	Geevarghese Philip	Smaller Kernels for Minimum Fill-In on Sparse Graphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	13 - Monday
		10:30	Allen Clement	Robust replication	MPI-SWS [KL] 206	SWS Colloquium
		16:00	Anke van Zuylen	The Subtour LP for the Traveling Salesman Problem	E1 4 - MPI-INF AG1 rotunda	Talk
	7 - Tuesday
		13:00	Fidaa Abed	Preemptive Coordination Mechanisms for Unrelated Machines	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	6 - Monday
		14:00	Ryusuke Sagawa	One-shot Dense 3D Reconstruction for Objects in Fast Motion	E1 4 - MPI-INF 019	Talk
		15:00	Shady Elbassuoni	Effective Searching of RDF Knowledge Bases	E1 4 - MPI-INF 024	Promotionskolloquium
	2 - Thursday
		16:00	Dr. Guillaume Bouchard	The Benefit of Adaptation in Knowledge Management Systems	E1 7 - cluster building 0.01	Talk
	1 - Wednesday
		12:15	Jan Baumbach	Biological network analysis in a nutshell	E1 3 - Hörsaal Gebäude 002	Joint MPI-INF/MPI-SWS Lecture Series
January 2012
	31 - Tuesday
		11:00	Christos Orlis	PhD Application Talk: Algorithmic approaches around the evacuation problem	E1 4 - MPI-INF 333 (Rotunda)	Talk
	27 - Friday
		13:00	Thomas Sauerwald	Tight Bounds for Randomized Load Balancing on Arbitrary Network Topologies	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	23 - Monday
		12:00	Jennifer Gerling	About Posters	E1 4 - MPI-INF R022	IMPRS Research Seminar
	19 - Thursday
		13:00	Dr. Nina Zweig	How to forget the second side of the story - a new approach to one-mode projections of bipartite graphs	E1 4 - MPI-INF 024	Talk
		13:00	Michael Ying Yang	A Generic Probabilistic Graphical Model for Region-based Scene Interpretation	E1 4 - MPI-INF Rotunde 6th floor	Talk
	16 - Monday
		11:00	Prof. Geoffrey Voelker	Exploring the Technical and Economic Factors Underlying Internet Scams	MPI-SWS 5th floor	SWS Distinguished Lecture Series
		12:00	Mónica Vidriales	3D object reconstruction using Kinect depth camera	E1 4 - MPI-INF 024	IMPRS Research Seminar
	11 - Wednesday
		12:15	Tobias Friedrich	Taming Randomness: From Physics to Efficient Algorithms	E1 3 - Hörsaal Gebäude 002	Joint MPI-INF/MPI-SWS Lecture Series
	9 - Monday
		12:00	Cosmina Croitoru	Algorithmic Aspects of Argumentation Frameworks	E1 4 - MPI-INF 024	IMPRS Research Seminar
		15:00	Jannis Bulian	Exploring Canonical Axiomatisations of Representable Cylindric Algebras	E1 4 - MPI-INF D1 Rotunda	Talk
	4 - Wednesday
		11:00	Bryan Ford	Dissent: Accountable Anonymous Group Communication	MPI-SWS 5th floor	SWS Colloquium
December 2011
	21 - Wednesday
		10:00	Art TEVS	Deformable Shape Matching	E1 4 - MPI-INF 019	Promotionskolloquium
	20 - Tuesday
		14:15	Madhusudan Manjunath	Riemann-Roch for sublattices of the Root Lattice A_n, Graph Automorphisms and Counting Cycles in Graphs	E1 4 - MPI-INF 024	Promotionskolloquium
		16:30	Raquel Urtasun	Efficient learning and inference for holistic scene understanding	E1 4 - MPI-INF 019	Talk
	16 - Friday
		11:00	Carola Winzen	Toward a Complexity Theory for Randomized Search Heuristics: Black-Box Models	E1 4 - MPI-INF 024	Promotionskolloquium
	14 - Wednesday
		16:15	Khaled Elbassioni	The Arora-Kale algorithm for approximately solving SDP's using multiplicative weights updates	E1 4 - MPI-INF 022	Lecture
	13 - Tuesday
		11:00	Julia Stoyanovich	Ranked Exploration of Large Structured Datasets	E1 4 - MPI-INF 019	Colloquium lecture
		13:00	AG1	AG1 Group Meeting: Teaching et al.	E1 4 - MPI-INF 024	AG1 Group Meeting
	9 - Friday
		13:00	Pawel Gawrychowski	Tying up the loose ends in fully LZW-compressed pattern matching	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	8 - Thursday
		15:00	Sohaib Khan	Bilinear Spatiotemporal Basis Models	E1 4 - MPI-INF Rotunda 6th floor	Talk
	7 - Wednesday
		10:00	Nicole Megow	Meeting deadlines when jobs arrive online	E1 4 - MPI-INF Rotunda	Talk
		11:00	Andrea Vedaldi	Semantic image analysis with structure and kernels	E1 4 - MPI-INF 019	Talk
		12:15	Umut Acar	Efficient Parallel Computation for Multicore Computers	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
	6 - Tuesday
		13:00	Jens Schmidt	Cubic Graphs on Point Sets	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	5 - Monday
		10:00	Iliyan Georgiev	Complex illumination in occluded environments	E1 4 - MPI-INF 019	Talk
	2 - Friday
		13:00	Patrick Ernst	A Data-Driven Approach for the Generation of Quantitative Digital Atlases of Human Anatomy	E1 4 - MPI-INF 433	D5 application talk
		13:00	Uday Reddy	An Automata-theoretic Model of Programming Languages	MPI-SWS [KL] 206	SWS Colloquium
November 2011
	29 - Tuesday
		10:00	Martin Bokeloh	Symmetry in 3D Shapes - Analysis and Applications to Model Synthesis	E1 4 - MPI-INF 019	Promotionskolloquium
		13:00	Pengming Wang	Certification of Curve Arrangements (Master Thesis)	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	28 - Monday
		13:00	Simon Fuhrmann	Fusion of Depth Maps with Multiple Scales	E1 4 - MPI-INF 019	Talk
	25 - Friday
		09:15	Kosta Panagiotou	Mathematical Models of Real-World Networks	E1 4 - MPI-INF 024	Talk
		10:30	Nicholas Feamster	The Battle for Control of Online Communications	MPI-SWS Wartburg, 5th floor	Talk
		13:00	Megha Khosla	A tour into CSPs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		16:00	Philip Busch	Randomized Rumor Spreading in the Karlsruhe Email Graph (Bachelor Thesis Final Talk)	E1 4 - MPI-INF 3rd floor rotunda	Talk
	24 - Thursday
		10:30	Marshini Chetty	Making Networked Infrastructure Manageable: A Case Study of Home Networking	MPI-SWS [KL] 204	Talk
		10:30	Volker Weispfenning	The Importance of Parameters in Logic and Algebra	E1 4 - MPI-INF 024	MPI Colloquium Series Distinguished Speaker
		14:15	Krishna Gummadi	Detecting Useful Communities in Social Network Graphs	E1 4 - MPI-INF 024	Talk
	22 - Tuesday
		13:00	Georgios Anagnostopoulos	Kernel-based Metric Multi-Dimensional Scaling	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	21 - Monday
		14:00	Sebastian Ott	[Starter Master Talk] Thou shalt not lie. On truthfully maximizing the minimum load on selfish related machines.	E1 4 - MPI-INF Rotunda	Talk
	18 - Friday
		10:30	Vijay Ingalalli	[Final Master Talk] Evolutionary Algorithms to Compute Lower Bounds for the Star Discrepancy	E1 4 - MPI-INF Rotunda AG1 (3rd floor)	Talk
	17 - Thursday
		14:30	Christoph Zengler	New Approaches to Boolean Quantifier Elimination	E1 4 - MPI-INF 019	Talk
	15 - Tuesday
		11:00	Michael Waldvogel	Algebraic Characterization of Hedge Languages	E1 4 - MPI-INF Rotunde D1	Talk
		13:00	Benjamin Doerr	Another Game People Don't Play or The Black-Box Complexity of the LeadingOnes Class	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	11 - Friday
		13:00	Mingji Xia	An introduction to algebraic reduction methods for counting problems	E1 4 - MPI-INF 024	AG1 Mittagsseminar (basic education)
	8 - Tuesday
		13:00	Rob van Stee	The ACM Author-Izer service	E1 4 - MPI-INF 024	Miscellaneous
	4 - Friday
		13:00	Fahimeh Ramezani	Towards Faster Lp-based Approximation Algorithm for Truthful Mechanism	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	2 - Wednesday
		12:15	Michael Sagraloff	Exact Geometric Computing - From Numerical Analysis to Algebraic Geometry	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
October 2011
	31 - Monday
		11:00	Thomas Anderson	Towards a Highly Available Internet	MPI-SWS 5th floor	SWS Distinguished Lecture Series
	28 - Friday
		13:00	Michael Sagraloff	When Newton meets Descartes: A simple and fast method to isolate the real roots of a polynomial	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	25 - Tuesday
		09:00	Imran Rauf	Polynomially Solvable Cases of Hypergraph Transversal and Related Problems	E1 4 - MPI-INF 024	Promotionskolloquium
		13:00	Anke van Zuylen	The Subtour LP for the Traveling Salesman Problem (A Proof of the Boyd-Carr Conjecture)	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	19 - Wednesday
		15:00	Nobuyuki Umetani	Integration of Design, Simulation and Interaction	E1 4 - MPI-INF 019	Talk
	14 - Friday
		09:00	Bang Le Thanh	PhD Application Talk: Compression of digital hologram for three-dimensional object using Wavelet-Bandelets transform And Conversion of stereoscopic image pair into elemental images for three-dimensional display based on integral imaging	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Beata Turonova	PhD Application Talk: Simultaneous Algebraic Reconstruction Technique for Electron Tomography using OpenCL	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Bernhard Reinert	PhD Application Talk: Evaluation of nonlinear methods to calculate the camera pose from point- and line-feature-correspondences in the context of analysis by synthesis	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Constantin Comendant	PhD Application Talk: Matrix factorization for the Link Prediction Problem	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Olga Voitenko	PhD Application Talk: Mathematical methods and models for banks’ financial state analyzing and forecasting	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Archana Prabahar	PhD Application Talk: Microarray data analysis with relation to cancer classification using SVM	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Hassan Issa	PhD Application Talks: Semantic-Aware Document Similarity Search	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Noushin Saeedi	PhD Application Talk: On Fully Characterizing Terrain Visibility Graphs	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Svitlana Vakulenko	PhD Application Talk: Extraction of Process Models from Business Process Descriptions	E1 4 - MPI-INF 024	PhD Application Talk
	13 - Thursday
		14:00	Avinash Sharma	3D Shape Segmentation and Matching using Graph Spectral Methods	E1 4 - MPI-INF 019	Talk
	7 - Friday
		09:00	many	FroCoS 2011: 8th International Symposium Frontiers of Combining Systems (day 3)	E1 4 - MPI-INF 024	Meeting
	6 - Thursday
		09:00	many	FroCoS 2011: 8th International Symposium Frontiers of Combining Systems (day 2)	E1 4 - MPI-INF 024	Meeting
	5 - Wednesday
		09:00	many	FroCoS 2011: 8th International Symposium Frontiers of Combining Systems (day 1)	E1 4 - MPI-INF 024	Meeting
		12:15	Tino Weinkauf	Applications of Discrete Morse Theory: From Structures in Cells to Rivers on Mars	E1 3 - Hörsaal Gebäude HS I	Joint MPI-INF/MPI-SWS Lecture Series
	4 - Tuesday
		13:00	Ali Pourmiri	Cutoff Phenomenon for Random Walk on Kneser Graphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		15:15	Anton Krohmer	Clique on sparse scale-free networks is easy	E1 4 - MPI-INF Rotunda 3rd floor	Talk
September 2011
	27 - Tuesday
		11:15	Carsten Rother	Recent Progress in stereo matching	E1 4 - MPI-INF 019	Talk
		13:00	Ran Duan	Approximate Matching Algorithms	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Justin Parks	Detecting structural regularity in perspective images	E1 4 - MPI-INF 019	AG4 Seminar
	20 - Tuesday
		13:00	Alan Brunton	Geometric and Image-based Methods for Scene and Object Modeling	E1 4 - MPI-INF 019	Talk
	16 - Friday
		13:00	Asaf Levin	The benefit of adaptivity in the stochastic knapsack problem with dependence on the state of nature	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	14 - Wednesday
		12:15	Mario Fritz	Towards Recognition in the Real-World	E1 3 - Hörsaal Gebäude HS I	Joint MPI-INF/MPI-SWS Lecture Series
		14:00	Vahid Hashemi	Own Work	E1 4 - MPI-INF AG 1 Rotunde	Lecture
	13 - Tuesday
		13:00	Leah Epstein	On Variants of File Caching	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	12 - Monday
		17:00	Daniel Johannsen	Tree Universality in Random Graphs	E1 4 - MPI-INF Rotunde 3rd floor	Talk
	8 - Thursday
		10:00	Torsten Stöter	Fluid Simulation on Curved Triangle Mesh Surfaces	E1 4 - MPI-INF 019	Talk
	5 - Monday
		17:00	Hendrik Molter	ACO vs EA on Dynamic Optimization Problems	E1 4 - MPI-INF AG1 Rotunda	Talk
	2 - Friday
		10:00	Andreas Rossberg	JavaScript and V8 -- Functional-ish progamming in the mainstream	MPI-SWS 5th floor	SWS Colloquium
	1 - Thursday
		11:00	Prof. Jon Crowcroft	Opportunity is the Mother of Invention - how Delay Tolerant Networking necessitated Data Centric Networking...	MPI-SWS [KL] 206	SWS Distinguished Lecture Series
August 2011
	30 - Tuesday
		13:00	Stefanie Wuhrer	Isometry-Invariant Shape Analysis	E1 4 - MPI-INF 019	Talk
	26 - Friday
		13:00	Christine Rizkallah	Verification of Certifying Computations	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		15:00	Magnus Wahlström	Polynomial kernels for some graph cut problems	E1 4 - MPI-INF AG1 rotunda (3rd floor)	AG1 Mittagsseminar (own work)
	25 - Thursday
		14:00	Guy Even	Introduction to LP decoding of Error Correcting Codes (Part 2)	E1 4 - MPI-INF 024	Talk
		16:00	Karolina Sołtys	Polynomial Kernelization Hardness	E1 4 - MPI-INF AG1 rotunda (3rd floor)	AG1 Mittagsseminar (own work)
	24 - Wednesday
		14:00	Guy Even	Introduction to LP decoding of Error Correcting Codes (Part 1)	E1 4 - MPI-INF 024	Talk
	23 - Tuesday
		11:00	Philip Busch	Randomized Rumor Spreading in the Karlsruhe Email Graph (Bachelor Thesis Initial Talk)	E1 4 - MPI-INF 3rd floor rotunda	Talk
		13:30	Prof. Ion Stoica	Mesos: Multiprogramming for Datacenters	MPI-SWS 5th floor	SWS Distinguished Lecture Series
	19 - Friday
		13:00	Shakhar Smorodinsky	The potential to improve the choice: List coloring for geometric hypergraphs	E1 4 - MPI-INF 024	Talk
	16 - Tuesday
		13:00	Eakta Jain	Attention-guided Augmentation of Animations and Stills	E1 4 - MPI-INF 019	Talk
		13:00	Hans De Sterck	A residual-minimizing nonlinear optimization method applied to tensor approximation	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	11 - Thursday
		14:30	Prof. Donald Kossmann	Predictable Performance for Unpredictable Workloads	MPI-SWS 5th floor	SWS Distinguished Lecture Series
	9 - Tuesday
		13:00	Weidong Ma	A Novel Approach to Improve the Quality of Equilibria of Selfish Scheduling	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	2 - Tuesday
		13:00	Rob van Stee	A (5/3+epsilon)-approximation for strip packing	E1 4 - MPI-INF 021	AG1 Mittagsseminar (own work)
	1 - Monday
		14:00	Chris Bregler	From the Silver Screen to the Stadium: Next Gen Motion Capture	E1 4 - MPI-INF 019	Talk
July 2011
	29 - Friday
		13:00	He Sun	Low Randomness Rumor Spreading via Hashing	E1 4 - MPI-INF 021	AG1 Mittagsseminar (own work)
	28 - Thursday
		13:30	Johannes Gehrke	Declarative Data-Driven Coordination Through Entanglement	E1 4 - MPI-INF 024	SWS Distinguished Lecture Series
	27 - Wednesday
		13:00	Katarzyna Paluch	Half-edges	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	26 - Tuesday
		13:00	Torsten Mütze	On sparse Ramsey graphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	25 - Monday
		09:00	Ahmed El-Roby	PhD Application Talk: Ranged maximal pairs queries using suffix trees and relational model	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Ahmet Emre Aladag	PhD Application Talk: Robinviz (Reliability Oriented Bioinformatic Network Visualization)	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Min Ye	PhD Application Talk: Text mining for building a biomedical knowledge base on diseases, risk Factors, and symptoms	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Sairam Gurajada	PhD Application Talk: Query-log based on-line index maintenance for information retrieval systems	E1 4 - MPI-INF 024	PhD Application Talk
		09:00	Yagiz Kargin	PhD Application Talk: Distributed analytics over web archives	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Marek Kosta	PhD Application Talk: Flip-pushdown automata: Nondeterministic ε-moves can be removed	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Martin Simonovsky	PhD Application Talk: Hand shape recognition using a ToF camera - an application to sign language	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Rohit Babbar	PhD Application talk: Regularization path for Lp-norm multiple kernel learning	E1 4 - MPI-INF 024	PhD Application Talk
		11:15	Vineet Ghandi	PhD Application Talk: 3D reconstruction by fusion of TOF sensor and stereoscopic matching by seed growing	E1 4 - MPI-INF 024	PhD Application Talk
	22 - Friday
		13:00	Dominik Freydenberger	Extended Regular Expressions: Succinctness and Decidability	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:30	Massimiliano Marcon	System Designs for Bulk and User-generated Content Delivery in the Internet	MPI-SWS 205	SWS Student Defence Talks - Thesis Defense
	19 - Tuesday
		13:00	Pascal Schweitzer	Online Graph Exploration	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	13 - Wednesday
		15:00	Manindra Agrawal	The N notequal NP Hypthothesis	E1 4 - MPI-INF 024	MPI Colloquium Series Distinguished Speaker
	11 - Monday
		12:00	Ilya Goncharov	Local assumption selection for variational optical flow	E1 4 - MPI-INF 024	IMPRS Research Seminar
		12:00	Richard Röttger	Extensions to Transitivity Clustering	E1 4 - MPI-INF 024	IMPRS Research Seminar
	8 - Friday
		13:00	Ragesh Jaiswal	Streaming k-means Clustering	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	7 - Thursday
		10:00	Deepak Kapur	A Geometric Local Quantifier-Elimination Heuristic for Octagonal Constraints	E1 4 - MPI-INF 019	Talk
	6 - Wednesday
		12:15	Sebastian Michel	Efficient Processing of Web 2.0 Streams	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
	5 - Tuesday
		13:00	Markus Wagner	Evolving Pacing Strategies for Team Pursuit Track Cycling	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:00	Ragesh Jaiswal	Streaming k-means Clustering	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:00	Thomas Neumann	The "Fit to Deformation" Project: Precise Surface Mo-Cap of High Performance Sports Apparel	E1 4 - MPI-INF 019	Talk
		14:15	Matthias Horbach	Towards Automated Program Analysis using First-Order Theorem Proving	E1 4 - MPI-INF 024	Talk
	4 - Monday
		14:00	Erin Wolf Chambers	Flows in 1-crossing-minor-free graphs	E1 4 - MPI-INF 024	Talk
	1 - Friday
		13:00	Mahmoud Fouz	Almost Optimal Randomized Rumor Spreading	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
June 2011
	30 - Thursday
		14:15	Philipp Ruemmer	Craig interpolation for integer arithmetic, uninterpreted functions, and the theory of arrays	E1 4 - MPI-INF 024	Talk
	28 - Tuesday
		13:00	Ragesh Jaiswal	Streaming k-means Clustering	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:00	Tobias Tscheuschner	On the complexity of local max-cut	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	22 - Wednesday
		13:00	Claudio Magni	k-Clustering Minimum Biclique Completion	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		16:00	Nitin Saxena	Algebraic Independence and Applications	E1 4 - MPI-INF 024	Talk
	21 - Tuesday
		13:00	R. Ravi	Approximation Algorithms for Correlated Knaspacks and Non-Martingale Bandits	E1 4 - MPI-INF 024	Talk
	17 - Friday
		13:00	Khaled Elbassioni	Some algorithmic results on two-person zero-sum limit average payoff stochastic games	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Dr Barry G. Blundell	3D: ARE WE GETTING IT RIGHT?	Build. D3 2 VisCenter at DFKI	Lecture
	16 - Thursday
		14:00	Antti Oulasvirta	Embodied human-computer interaction	E1 4 - MPI-INF 019	Talk
	9 - Thursday
		09:00	Sebastian Gajek	Composable Protocols for the Cloud	E1 4 - MPI-INF 019	Talk
		11:30	Eric Bodden	Clara: Proving safety and security properties by evaluating runtime monitors ahead of time	E1 4 - MPI-INF 019	Talk
		14:00	Christian Hammer	Flexible Access Control Policies with Delimited Histories with Revocation	E1 4 - MPI-INF 019	Talk
	7 - Tuesday
		09:00	Thomas Schneider	Engineering Privacy-Preserving Cryptographic Protocols	E1 4 - MPI-INF 019	Talk
		11:30	Dominique Schröder	Limitations on Provable Security, and Beyond	E1 4 - MPI-INF 019	Talk
	3 - Friday
		13:00	Efi Fogel	Polyhedral Assembly Partitioning with Infinite Translations	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	2 - Thursday
		11:00	Dawn Song	WebBlaze: New Techniques and Tools for Web Security & BitBlaze: Computer Security via Binary Analysis	MPI-SWS [KL] 206	SWS Distinguished Lecture Series
		15:00	Andrew Pitts	Names, Binding and Computation	MPI-SWS 5th floor	SWS Colloquium
	1 - Wednesday
		11:00	Ashish Ranjan Rota	Ant Colony Optimization and Hypergraph Covering Problems	E1 4 - MPI-INF 3rd floor rotunda	Talk
		12:15	Paul Francis	Targeting without Tracking, or: Not all Adware is Badware	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
		14:00	Maximilian Imgrund	Search engines redefined: Combining random-walk and evolutionary algorithms to a distributed search engine	E1 4 - MPI-INF 3rd floor rotunda	Talk
May 2011
	27 - Friday
		13:00	Xi Wu	Weak Compositions and Polynomial Lower-Bounds for Kernelization	E1 4 - MPI-INF 024	Talk
	25 - Wednesday
		11:00	Vijay Ingalalli	master thesis (initial talk): Evolutionary Algorithms to Compute Lower Bounds for the Star Discrepancy	E1 4 - MPI-INF Rotunda 3rd floor	Talk
		15:00	Xiaohong Jia	Using Four Explicit Formulas to Determine the Configuration of Two Ellipsoids	E1 4 - MPI-INF 019	Talk
		16:00	Ron Goldman	Understanding Quaternions	E1 4 - MPI-INF 019	Talk
	24 - Tuesday
		13:00	Eric Berberich	Arrangement Computation for Planar Algebraic Curves	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	23 - Monday
		12:00	Nikolaos Arvanitopoulos-Darginis	Aggregation of Clustering Information for Semi-Supervised Learning	E1 4 - MPI-INF 024	IMPRS Research Seminar
		12:00	Sergiy Byelozyorov	An Open Modular Architecture for Effective Integration of Virtual Worlds in the Web	E1 4 - MPI-INF 024	IMPRS Research Seminar
		16:00	Barbara Liskov	The Power of Abstraction	Uni Kaiserlautern [KL] Rotunda 57	SWS Distinguished Lecture Series - Spring
	20 - Friday
		13:00	Alexander Kobel	Certified Complex Numerical Root Finding	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		15:00	Sebastian Nowozin	Interpreting the Visual World with Statistical Models: Pitfalls and Potentials	E1 4 - MPI-INF 022	Talk
	18 - Wednesday
		14:00	Violeta Ivanova	Comparison of Methods for the Discovery of Copy Number Aberrations Relevant to Cancer	E1 4 - MPI-INF 022	Talk
	17 - Tuesday
		16:00	Rudolf Fleischer	Traffic control with a fixed budget	E1 4 - MPI-INF Rotunde AG1	Talk
	13 - Friday
		13:00	Juan Gerardo Alcázar	Shapes in One-Parameter Families of Algebraic Objects	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	10 - Tuesday
		13:00	Elad Cohen	Intersection Graphs of Paths on a Grid	E1 4 - MPI-INF 024	Talk
		14:00	All members of D1	Practice Run of Poster Presentation for the Advisory Board Visit	E1 4 - MPI-INF 3rd Floor	Presentation
	9 - Monday
		12:00	Leonid Pishchulin	Learning People Detection Models from Few Training Samples	E1 4 - MPI-INF R024	IMPRS Research Seminar
		12:00	Mateusz Malinowski	Reconstruction of MR Images from Incomplete Measurements	E1 4 - MPI-INF R024	IMPRS Research Seminar
	6 - Friday
		10:00	Frank Staals	Geographic Grid Embeddings	E1 4 - MPI-INF 022	Talk
		10:00	Gernot ZIEGLER	GPU Data Structures for Graphics and Vision	E1 4 - MPI-INF 019	Promotionskolloquium
		13:00	Madhusudan Manjunath	A duality theorem and computing the rank of a configuration on a finite graph.	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	4 - Wednesday
		12:15	Thomas Sturm	Effective Quantifier Elimination - Implementations, Applications, Perspectives	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
	3 - Tuesday
		13:00	AG 1	Group Meeting AG1 (Preparation of visit of advisory board)	E1 4 - MPI-INF 024	AG1 Group Meeting
April 2011
	29 - Friday
		13:00	Neel Krishnaswami	Ultrametric Semantics of Reactive Programs: or, How to Prove a GUI Correct	MPI-SWS 5th floor	SWS Colloquium
		13:00	Tomasz Jurkiewicz	FIT2011 - report	E1 4 - MPI-INF 024	AG1 Mittagsseminar (others' work)
	28 - Thursday
		14:00	Silvio Ranise	Efficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies	E1 4 - MPI-INF 019	Talk
		14:15	Cezara Dragoi	On Inter-Procedural Analysis of Programs with Lists and Data	Uni Kaiserlautern, building 48 [KL] 680	SWS Colloquium
	21 - Thursday
		15:00	Katarzyna Paluch	Balanced matchings, unbalanced ones and related problems.	E1 4 - MPI-INF 024	Talk
	20 - Wednesday
		15:00	Vincenzo Bonifaci	Secrets of the Slime Mold	E1 4 - MPI-INF D1 Rotunda	Talk
	19 - Tuesday
		11:00	Christoph Rhemann	Recent progress for alpha matting and visual correspondence	E1 4 - MPI-INF 019	Talk
		13:00	Fritz Eisenbrand	Talk is cancelled due to illness of speaker	E1 4 - MPI-INF 024	Lecture
	18 - Monday
		11:00	Martin Vechev	Machine-Assisted Concurrent Programming	MPI-SWS [KL] 206	SWS Colloquium
		15:00	Ashish Choudhury	Statistical Asynchronous Weak Commitment Scheme: A NewPrimitive to Design Statistical Asynchronous Verifiable SecretSharing Scheme	E 1 7 323	SWS Colloquium
	15 - Friday
		13:00	Konstantinos Panagiotou	Ultra-Fast Rumor Spreading in Models of Real-World Networks	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Thomas Wies	Logical Abstractions for Verification	E1 3 407	Talk
	12 - Tuesday
		13:00	Carola Winzen	Towards a Complexity Theory for Randomized Search Heuristics: Black-Box Models	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	8 - Friday
		13:00	Keping Huang	Introduction to holographic algorithms and dichotomy theorems	E1 4 - MPI-INF 024	AG1 Mittagsseminar (others' work)
	7 - Thursday
		08:00	Swen Jacobs	Hierarchic Decision Procedures for Verification	E1 3 407	Talk
		09:45	Andreas Raabe	Hardware/Software Interaction in Embedded MPSoC Systems	E1 3 407	Talk
		11:30	Jan Reineke	What is Predictability?	E1 3 407	Talk
		13:30	Biwas Mitra	Resilience to Clustering: Analyzing Dynamics in Evolving Networks	MPI-SWS 5th floor	SWS Colloquium
		14:00	Ina Schaefer	Delta-oriented Software Product Lines	E1 3 407	Talk
	6 - Wednesday
		12:15	Rainer Gemulla	Large-Scale Matrix Factorization	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
	4 - Monday
		10:30	Deepak Garg	Controlling Access to Data: A Logic-Based Approach	MPI-SWS 5th floor	SWS Colloquium
		12:00	Matthias Mnich	Domination When the Stars Are Out	E1 4 - MPI-INF 024	Lecture
		14:00	Nitin Saxena	Blackbox Identity Testing for Depth-3 Circuits	E1 4 - MPI-INF 024	Talk
		14:00	Timothy Mattson	The Future of Many Core Processors - A Tale of Two Processors	D3 2 Visualization Center	Talk
March 2011
	30 - Wednesday
		13:30	Adrian Neumann	An Implementation of Schmidts Certifying Algorithm for Triconnectivity	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	29 - Tuesday
		13:00	Xavier Pérez Giménez	Hamilton cycles in the random geometric graph	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	28 - Monday
		10:30	Rohan Narayana Murty	Opportunistic Wireless Network Architectures	MPI-SWS 5th floor	SWS Colloquium
	25 - Friday
		13:00	Nikolaos Fountoulakis	What I tell you three times is true: bootstrap percolation in small worlds	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	23 - Wednesday
		11:00	Dan Suciu	Querying Probabilistic Data	MPI-SWS 5th floor	SWS Distinguished Lecture Series
	22 - Tuesday
		13:00	Timo & Lap-Kei & Benjamin	Best of STACS	E1 4 - MPI-INF 024	Lecture
	21 - Monday
		10:30	Björn Brandenburg	Towards Multicore-Ready real-time operating Systems	MPI-SWS [KL] 206	SWS Colloquium
	18 - Friday
		13:00	Danny Hermelin	Distance Oracles for Vertex-Colored Graphs	E1 4 - MPI-INF 024	Lecture
		15:00	Tetsuo Asano	Memory-Constrained Computation	E1 4 - MPI-INF 024	Lecture
	17 - Thursday
		10:30	Emiliano De Cristofaro	Sharing Sensitive Information with Privacy	MPI-SWS [KL] 206	SWS Colloquium
		14:00	Prahladh Harsha	Almost Settling the Hardness of Noncommutative Determinant	E1 4 - MPI-INF 024	Talk
	16 - Wednesday
		13:00	Jaroslav Krivanek	Solving global illumination with many-light methods	E1 4 - MPI-INF 019	Talk
	15 - Tuesday
		13:00	Sven-Ake Wegner	Equidistant Sets in the Hypercube	E1 4 - MPI-INF Rotunde	Talk
		14:00	Santiago Zanella Béguelin	Automated Construction of Machine-Checked Cryptographic Proofs	E1 4 - MPI-INF 024	SWS Colloquium
	14 - Monday
		14:00	Alla Sheffer	Geometry Processing for Man-Made Shapes	E1 4 - MPI-INF 024	Talk
	8 - Tuesday
		11:00	Prof. Robert Kraut	Commitment and Coordination in Open Source Production: Studies in Wikipedia	Uni Kaiserlautern [KL] Rotunda in bldg.57	SWS Distinguished Lecture Series
	4 - Friday
		13:00	Vincent van der Weele	Convex Treemaps with Bounded Aspect Ratio	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	3 - Thursday
		10:00	Ruzica Piskac	Software Synthesis using Automated Reasoning	MPI-SWS [KL] 206	SWS Colloquium
		14:00	Benjamin Doerr	Randomized Rumor Spreading in Social Networks	E1 4 - MPI-INF 3rd floor rotunda	Talk
	1 - Tuesday
		13:00	Stefan Kratsch	Preprocessing for Treewidth: A Combinatorial Analysis through Kernelization	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
February 2011
	28 - Monday
		10:00	Karyn Moffatt	Accessibility and Beyond:Addressing the Technology Needs and Wants of Older Adults	MPI-SWS [KL] 206	SWS Colloquium
	25 - Friday
		13:00	Leah Epstein	Optimal robust algorithms for preemptive scheduling	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		13:30	Asaf Levin	An AFPTAS for variable sized bin packing with general bin costs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	24 - Thursday
		14:00	George Giakkoupis	Rumor Spreading and Graph Conductance	E1 4 - MPI-INF TBD	Talk
	23 - Wednesday
		14:00	Zhao D O N G	Visually Pleasing Real-Time Global Illumination Rendering for Fully-Dynamic Scenes	E1 4 - MPI-INF 019	Promotionskolloquium
		15:00	Touseef Liaqat	An Introduction to Python	E1 4 - MPI-INF 024	Talk
	22 - Tuesday
		13:00	Timo Kötzing	Measuring Learning Complexity	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	21 - Monday
		09:00	Erdal Kuzey	Extraction of Temporal Facts and Events from Wikipedia	E1 4 - MPI-INF R024	PhD Application Talk
		09:00	Han Xiao	Toward Artificial Synesthesia: Linking Images and Sounds via Words	E1 4 - MPI-INF R024	PhD Application Talk
		09:00	Nanzhu Jiang	An Analysis of Automatic Chord Recognition Procedures for Music Recordings	E1 4 - MPI-INF R024	PhD Application Talk
		09:00	Ziquan Zhu	Incorporating Domain-Dependent Knowledge into a Golog-based System – An Empirical Evaluation	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Claudio Magni	Biclique Completion Problem: Models and Algorithms	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Ebrahim Ehsanfar	Generating Recommendations in Social Networks of Intelligent Blogs	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Georgios Askalidis	Kernelization Algorithms on Sparse Graphs	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Jiehua Chen	Scalability of a Distributed Virtual Environment Based on a Structured Peer-To-Peer Architecture	E1 4 - MPI-INF R024	PhD Application Talk
		11:00	Maria Anikeeva	Modeling of Evaluation Systems Using Aggregation Operators	E1 4 - MPI-INF R024	PhD Application Talk
		14:00	Amirhossein Habibian	Using Visual Attention for Omnidirectional Image Classification	E1 4 - MPI-INF R024	PhD Application Talk
		14:00	Caigui Jiang	Linear Camera Pose Estimation from 3D to 2D Feature Correspondences	E1 4 - MPI-INF R024	PhD Application Talk
		14:00	David Weiss	Schedule Optimization for Software Projects	E1 4 - MPI-INF R024	PhD Application Talk
		14:00	Rashid Ibragimov	Graph Edit Distance for Knowledge Discovery in Biological Networks	E1 4 - MPI-INF R024	PhD Application Talk
	18 - Friday
		13:00	Jane Gao	Some (open) problems in geometric combinatorics	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	17 - Thursday
		14:00	Prof. Marie-Paule Cani	Implicit blending revisited: new advances towards intuitive modeling and animation	E1 4 - MPI-INF 019	Talk
	15 - Tuesday
		13:00	Mihyun Kang	Phase transitions in random graphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	14 - Monday
		15:00	Andreea Minca	Resilience to Contagion in Financial Networks	E1 4 - MPI-INF 3rd floor rotunda	Talk
	11 - Friday
		13:00	Kurt Mehlhorn	The Physarum Computer	E1 4 - MPI-INF 024	Talk
	9 - Wednesday
		14:00	Spyros Angelopoulos	Multi-target ray searching problems	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	8 - Tuesday
		13:00	Glenn Lawyer	The Chinese Restaurant from Hell	E1 4 - MPI-INF 024	Lecture
		14:15	Florent Jacquemard	Emptiness decision for tree automata with global equality and disequality constraints	E1 4 - MPI-INF 019	Talk
	4 - Friday
		13:00	Piyush P Kurur	Correcting quantum errors without the physics.	E1 4 - MPI-INF 024	Lecture
		14:00	Prof. Leonidas Guibas	The Information is in the Maps	E1 4 - MPI-INF 024	Talk
	2 - Wednesday
		10:15	Alexey Pospelov	Fast Fourier transforms: Exhaustive performance in restricted conditions	E1 3 415	Talk
		16:00	Christian Theobalt	New Methods for Dynamic Scene Reconstruction	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
	1 - Tuesday
		11:00	Anne Schlicht	Distributed Resolution for Description Logic Ontologies	E1 7 0.01	Talk
		13:00	Tobias Friedrich	Fast Simulation of Large-Scale Growth Models	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
January 2011
	28 - Friday
		10:15	Alexey Pospelov	Fast Fourier transforms: An overview	E1 3 415	Talk
	25 - Tuesday
		13:00	Dr. Nikolaus Augsten	TASM: Top-k Approximate Subtree Matching	E 1 7 - MMCI 0.01	Talk
	24 - Monday
		16:00	Benjamin Doerr	Randomized Rumor Spreading---Talking to More or Less Random People	E1 4 - MPI-INF 3rd floor rotunda	Talk
	21 - Friday
		13:00	Valentin Polishchuk	Simple Wriggling is Hard unless you are a Fat Hippo	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	20 - Thursday
		14:00	Slobodan Ilic	Probabilistic Deformable Surface Tracking from Multiple Videos: A Patch-Based Approach	E1 4 - MPI-INF 019	AG4 Talk
	18 - Tuesday
		13:00	Megha Khosla	The Multiple-orientability Thresholds for Random Hypergraphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	14 - Friday
		11:00	Christoph Sticksel	Instantiation-based Methods for Equational Reasoning and Towards Theories Beyond	E1 7 2.01	Talk
		13:00	Oliver Schaudt	The structure of total dominating sets	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
	12 - Wednesday
		13:30	Prof. M. Angela Sasse	Designing systems that are secure and usable	MPI-SWS [KL] 206	SWS Distinguished Lecture Series
		16:00	Giorgos Christodoulou	Mechanisms for Resource Allocation Games	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
	11 - Tuesday
		12:00	Laura Dietz	Exploiting Graph-Structured Data in Generative Probebilistic Models	E1 4 - MPI-INF 024	Promotionskolloquium
	6 - Thursday
		13:00	Aravind Vasudevan	An Introduction to Mixed Precision Methods	E1 4 - MPI-INF R024	IMPRS Research Seminar
	1 - Saturday
		14:00	peter	einmal über die Sicherheit<b>ddd</b>	MPI-SWS 007	Talk
December 2010
	20 - Monday
		11:00	Baris Sertkaya	An Overview on Description Logics	E1 7 2.01	Talk
	17 - Friday
		13:00	Alexandre Stauffer	Detection and Percolation in Mobile Geometric Graphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:00	Nestan Tsiskaridze	Conflict Resolution	E1 7 2.01	Talk
	16 - Thursday
		11:00	Marco Volpe	Labeled natural deduction for temporal logics	E1 7 2.01	Talk
	15 - Wednesday
		09:00	Matthias Hullin	Reconsidering Light Transport: Acquisition and Display of Real-World Reflectance and Geometry	E1 4 - MPI-INF 019	Promotionskolloquium
		13:00	Gerard de Melo	Graph-based Methods for Large-Scale Multilingual Knowledge Integration	E1 4 - MPI-INF 024	Promotionskolloquium
		13:00	Hélène Papadopoulos	Joint Estimation of Musical Content Information From an Audio Signal	E1 4 - MPI-INF 019	Talk
		14:00	Prof. Dr.-Ing. Hendrik Lensch	Efficient Rendering, Filtering and Acquisition	E1 4 - MPI-INF 019	Talk
	14 - Tuesday
		13:00	Reto Spöhel	Coloring random graphs online without creating monochromatic subgraphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		14:30	François Schwarzentruber	Seeing, knowing, doing: some modal logics for Articial Intelligence	E1 7 2.01	Talk
	10 - Friday
		11:00	Jens Dittrich	The Hadoop++ Project	MPI-SWS 5th floor	SWS Colloquium
		13:00	Piotr Krysta	Utilitarian Mechanism Design for Multi-objective Optimization	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		15:15	Marianne Winslett	Addressing Insider Threats to Data Integrity-- and --Supporting Differentially-private Analysis of Sensitive Biomedical Data	E1 4 - MPI-INF 024	Talk
	9 - Thursday
		09:00	Tunc Ozan A Y D I N	Human Visual System Models in Computer Graphics	E1 4 - MPI-INF 019	Promotionskolloquium
		10:30	Martin Hoefer	Approximation Algorithms for Secondary Spectrum Auctions	E1 4 - MPI-INF Rotunda	Talk
		13:00	AG1	Group Meeting	E1 4 - MPI-INF 024	Lecture
	7 - Tuesday
		13:00	Anna Huber	Submodular Functions in Computer Science	E1 4 - MPI-INF 024	AG1 Mittagsseminar (basic education)
	3 - Friday
		13:00	Thomas Sauerwald	Rumor Spreading and Vertex Expansion	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		15:00	Pinyan Lu	Asymptotically Optimal Strategy-Proof Mechanisms for Two-Facility Games	E1 4 - MPI-INF Rotunda 3rd Floor	Talk
	2 - Thursday
		14:00	Tomoyuki Suzuki	Towards an algebraic foundation of general program logics	E1 7 2.01	Talk
	1 - Wednesday
		16:00	Ivo Ihrke	Light in a Box: Ye Olde Camera in a Different Perspective	E1 4 - MPI-INF 024	Joint MPI-INF/MPI-SWS Lecture Series
November 2010
	30 - Tuesday
		13:00	Jane Gao	Approach to a mystery -- Distributions of spanning subgraphs in random graphs	E1 4 - MPI-INF 024	AG1 Mittagsseminar (own work)
		15:00	Vladimir Gurvich	Metric and ultrametric spaces of resistances	E1 4 - MPI-INF Rotunda 3rd floor	AG1 Mittagsseminar (own work)