Thesis proposal colloquium

Academic year 2016/17

Save the date:
dates for the academic year 2016/17:
always Wednesday afternoons, generally 16:00-18:00h
in building E1 3, lecture hall 001

26 Oct 2016, 23 Nov 2016, 14 Dec 2016, 18 Jan 2017, 15 Feb 2017,
22 Mar 2017, 26 Apr 2017, 17 May 2017, 21 June 2017, 19 July 2017

What’s the colloquium format?

  • At each event, 5 or 6 students present their proposals in 20-minute time slots each (15 + 5 for discussion)
  • We cordially invite all speakers and listeners for snacks and refreshments afterwards with time for informal discussion.

 

Wed, 19 July 2017, 16:00h, E1 3, HS 001

Session chair: Prof. Raimund Seidel

  • Kashyap POPAT, Credibility Assessment of Textual Information on the Web
    (Prof. Gerhard Weikum)
  • Thomas LEIMKÜHLER, Minimal Warping: Planning incremental novel-view synthesis
    (Prof. Hans-Peter Seidel)
  • Kathrin STARK, Autosubst 2 – Towards Reasoning with Multi-Sorted de Bruijn Terms and Vector Substitutions
    (Prof. Gert Smolka)
  • Apratim BHATTACHARYYA, Predicting the future from raw visual input
    (Prof. Bernt Schiele)
  • Mohamed GAD-ELRAB, Semantically Enhanced Fact Checking
    (Prof. Gerhard Weikum)
  • Johannes KRUPP, Attribution of Amplification DDoS Attacks
    (Prof. Christian Rossow)

(Followed by general discussion, snacks and refreshments around 18:00h)

Have a great summer break!

Wed, 21 June 2017, 16:00h, E1 3, HS 001

Session chair: Prof. Holger Hermanns

  • Arsène PERARD-GAYOT, Alternative Approaches to High-Performance Ray Tracing
    (Prof. Philipp Slusallek)
  • Alexander GRAF-BRILL, Model-Based Testing for Electric Mobility
    (Prof. Holger Hermanns)
  • Arif KHAN, Multimodal Speech Segmentation
    (Dr. Ingmar Steiner)
  • Ankur SHARMA, AnkerDB: Merging fine-granular snapshotting into MVCC for high thoughput analytical processing
    (Prof. Jens Dittrich)
  • Alexander LÜCK, A Stochastic Model for the Formation of Spatial Methylation Patterns
    (Prof. Verena Wolf)
  • Giorgi MAISURADZE, Secure JIT Compilation
    (Prof. Christian Rossow)

(Followed by general discussion, snacks and refreshments around 18:00h)

Wed, 17 May 2017, 16:00h, E1 3, HS 001

Session chair: Prof. Thorsten Herfet

  • Seong Joon OH, From Understanding to Controlling Privacy against Automatic Person Identification
    (Prof. Bernt Schiele)
  • Evgeny LEVINKOV, Graph Decomposition for Computer Vision
    (Prof. Bernt Schiele/Dr. Björn Andres)
  • Andreas SCHMIDT, Latency- and Resilience Aware Cyber-Physical Networks
    (Prof. Thorsten Herfet)
  • Tobias LANGE, Optimized Multi-View Video Streaming
    (Prof. Thorsten Herfet)
  • Frederik RABER, How to overcome the problem of boring privacy settings
    (Prof. Antonio Krüger)
  • Simon MOLL, The Where, the When and the How of Automatic Vectorization
    (Prof. Sebastian HACK)

(Followed by general discussion, snacks and refreshments around 18:00h)

Wed, 26 April 2017, 16:00h, E1 3, HS 001

Session chair: Prof. Jan Reineke

  • Sabine MÜLLER, Variational Methods for Medical Image Segmentation
    (Prof. Joachim Weickert)
  • Alexander WEINERT, Easy to Win, Hard to Master: Playing Infinite Games Optimally
    (Prof. Bernd Finkbeiner)
  • Andreas ABEL, Gray-box Learning of Models  of Current Microarchitectures
    (Dr. Jan Reineke)
  • Mathias FLEURY, A Verified SAT Solver Framework
    (Prof. Christoph Weidenbach)
  • Clayton GREENBERG, A neural model for integrating levels of linguistic representation
    (Prof. Dietrich Klakow)
  • Mouhammad SAKR, Efficient Symbolic Algorithms for Reactive Systems Synthesis
    (Prof. Bernd Finkbeiner)

(Followed by general discussion, snacks and refreshments around 18:00h)

Wed, 22 March 2017, 16:00h, E1 3, HS 001

Session chair: Prof. Raimund Seidel

  • Davis ISSAC, Biclique Optimization Problems
    (Dr. Andreas Karrenbauer)
  • Saskia METZLER, Modeling communities that are not cliques
    (Dr. Pauli Miettinen)
  • Matthias DÖRING, Applying and Developing new Statistical Methods for Predicting and Visualizing Viral Phenotypes
    (Dr. Nico Pfeifer)
  • Julian STEIL, Long-Term Visual Behaviour Analysis
    (Dr. Andreas Bulling)

(Followed by general discussion, snacks and refreshments around 17:20h)

Wed, 15 February 2017, 16:00h, E1 3, HS 001

Session chair: N.N.

  • Yusra IBRAHIM, Quantity Understanding in Tables and Text
    (Prof. Gerhard Weikum)
  • Mohamed OMRAN, Looking at People in Street Scenes
    (Prof. Bernt Schiele)
  • Sreyasi NAG CHOWDHURY, Commonsense Knowledge and its Applications
    (Prof. Gerhard Weikum)
  • Nadia ROBERTINI, Towards Outdoor Performance Capture
    (Prof. Christian Theobalt)
  • Marcel STEINMETZ, Conflict-Driven NoGood Learning in Planning
    (Prof. Jörg Hoffmann)
  • Hosnieh SATTAR, Collaborative Human Machine Vision
    (Dr. Mario Fritz & Dr. Andreas Bulling)

(Followed by general discussion, snacks and refreshments at 18:00h)

Wed, 18 January 2017, 16:00h, E1 3, HS 001

Session chair: Prof. Antonio Krüger

  • Somayeh HOSSEINI, Human Motion Modeling Using Machine Learning Approaches
    (Prof. Philipp Slusallek)
  • Xucong ZHANG, Gaze Estimation and Interaction in Real-World Environments
    (Dr. Andreas Bulling)
  • Stephan FRIEDRICHS, Terrain Guarding, Tree Embeddings, and Metastability-Containing Circuits
    (Dr. Christoph Lenzen)
  • Christian LANDER, Methods for Calibration-Free and Multi-User Mobile Eye Tracking
    (Prof. Antonio Krüger)
  • Shilpa GARG, Read-based phasing of related individuals
    (Prof. Tobias Marschall)

(Followed by general discussion, snacks and refreshments at 18:00h)

Wed, 14 December 2016, 16:00h, E1 3, HS 001

Session chair: Prof. Sebastian Hack

  • Anna KHOREVA, Weakly supervised image and video segmentation
    (Prof. Bernt Schiele)
  • Bernhard SCHOMMER, Verified Compilation for Relaxed-Memory Concurrency
    (Prof. Sebastian Hack)
  • David PFAFF, Adversarial Machine Learning in Systems Security
    (Prof. Michael Backes)
  • Abhimetra MEKA, Ideas in real-time inverse rendering
    (Prof. Christian Theobalt)
  • Daniel GRÖGER, Digital Fabrication of Interactive Objects
    (Prof. Jürgen Steimle)
  • Jürgen GRÜNINGER, Interaction as a Service – Device adaptive user interfaces for 3D environments
    (Prof. Philipp Slusallek)

(Followed by general discussion, snacks and refreshments at 18:00h)

Wed, 23 November 2016, 16:00h, E1 3, HS 001

Session chair: Prof. Wolfgang Paul

  • Klaas BOESCHE, Types and IR for Memory-Safe High-Performance DSLs
    (Prof. Sebastian Hack)
  • Hyeongwoo KIM, tba
    (Prof. Christian Theobalt)
  • Daniel VAZ, Approximation Algorithms for Network Design Problems
    (Prof. Kurt Mehlhorn)
  • David SWASEY, Formalizing Object Capabilities
    (Dr. Deepak Garg)
  • Farshad EINABADI, Discrete Light Source Estimation
    (Prof. Philipp Slusallek)
  • Petro LUTSYK, Correctness of Multi-core Processors with Operating System Support
    (Prof. Wolfgang Paul)

(Followed by general discussion, snacks and refreshments at 18:00h)

Wed, 26 October 2016, 16:00h, E1 3, HS 001

Session chair: Prof. Andreas Zeller

  • Daniel GNAD, Decoupled State Space Search
    (Prof. Jörg Hoffmann)
  • Muhammad Bilal ZAFAR, Fairness constraints: A mechanism for fair classification
    (Dr. Krishna Gummadi)
  • Jan-Oliver KAISER, The Next 700 Safe Tactic Languages
    (Dr. Derek Dreyer)
  • Torsten SPIELDENNER, Synchronization and Scalability of cloud-based Virtual Environments
    (Prof. Philipp Slusallek)
  • Alexander KAMPMANN, Local constraint solving for global inputs
    (Prof. Andreas Zeller)

(Followed by general discussion, snacks and refreshments at around 17:45h)
Welcome to the new academic year!

Academic year 2015/16

Wed, 20 July 2016, 16:00h, E1 3, HS 001

Session chair: Prof. Matthias Hein

  • Pascal BERRANG, Privacy in MicroRNA-based Studies
    (Prof. Michael Backes)
  • Yulia GRYADITSKAYA, High Dynamic Range Imaging: Problems of Video Exposure Bracketing, Luminance Calibration and Highlights Editing
    (Dr. Karel Myskowski)
  • Wenbin LI, tba
    (Dr. Mario Fritz)
  • Han DU, Dimension Reduction for Motion Modeling
    (Prof. Philipp Slusallek)
  • Erik HERMANN, Data-driven Motion Synthesis Using Space Partitioning Data Structures
    (Prof. Philipp Slusallek)

(Followed by general discussion, snacks and refreshments at around 17:45h)
HAPPY SUMMER BREAK!

 

Wed, 22 June 2016, 16:00h, E1 3, HS 001

Session chair: Prof. Matteo Maffei

  • Giulio MALAVOLTA, New paradigms in privacy-preserving authentication
    (Prof. Matteo Maffei)
  • Pavel KOLEV, Standard Spectral Clustering Paradigm
    (Prof. Kurt Mehlhorn)
  • Charilaos ZISOPOULOS, Separating modules in Algebraic Complexity Theory
    (Prof. Markus Bläser)
  • Maximilian JOHN, A Novel SDP Relaxation for the Quadratic Assignment Problem using Cut Pseudo Bases
    (Dr. Andreas Karrenbauer)
  • Aastha MEHTA, Qapla: Policy compliant database queries
    (Prof. Peter Druschel)
  • Ilya GRISHCHENKO, Practical and Sound Static Analysis of Android Applications by SMT Solving
    (Prof. Matteo Maffei)

(Followed by general discussion, snacks and refreshments at 18:00)

 

Wed, 18 May 2016, 16:00h, E1 3, HS 001

Session chair: Dr. Nico Pfeifer

  • Sarvesh NIKUMBH, Predicting long-range chromatin interactions using the genetic sequence
    (Dr. Nico Pfeifer)
  • Tomas BASTYS, Drug Resistance of HIV-1 Protease
    (Dr. Olga Kalinina)
  • Nora SPEICHER, Data Fusion for Cancer Subtype Discovery
    (Dr. Nico Pfeifer)
  • Olga VOITENKO, Protein protein interaction in viruses: identification of conservation patterns
    (Dr. Olga Kalinina)
  • Anna FELDMANN, Predicting HIV-1 Resistance to Broadly Neutralizing Antibodies
    (Dr. Nico Pfeifer)
  • Torsten WILL, On domain-level protein interaction networks and regulatory protein complexes
    (Prof. Volkhard Helms)

(Followed by general discussion, snacks and refreshments at 18:00)

 

Wed, 20 April 2016, 16:00h, E1 3, HS 001

Session chair: Prof. Holger Hermanns

  • Charalampos KYRIAKOPOULOS, The Influence of Hydroxylation on Maintaining Methylation Patterns: a HMM approach
    (Prof. Verena Wolf)
  • Dhruv GUPTA, Event Search & Analytics
    (Dr. Klaus Berberich)
  • Joanna BIEGA, Privacy Models for Online Communities
    (Prof. Gerhard Weikum)
  • Yuliya BUTKOVA, Optimal Continuous Time Markov Decisions
    (Prof. Holger Hermanns)
  • Ralf JUNG, A Quintessence of Rust
    (Dr. Derek DREYER)
  • Ivan PRYVALOV, Anonymous RAM
    (Prof. Michael Backes)

(Followed by general discussion, snacks and refreshments at 18:00)

 

Wed, 17 February 2016, 16:00h, E1 3, HS 001

Session chair: Prof. Christian Hammer

  • Viktor ERDELYI, Localizing nearby devices using one-way acoustic signals
    (Prof. Peter Druschel)
  • Noran AZMY, Formal Verification of Pastry, a P2P Protocol
    (Prof. Christoph Weidenbach)
  • Martin BROMBERGER, Fast Cube Tests for LIA Constraint Solving
    (Prof. Christoph Weidenbach)
  • Oliver NALBACH, Smarter Screen Space Shading
    (Dr. Tobias Ritschel)
  • Abhishek BICHHAWAT, Securing Information Flow in Web Browsers
    (Prof. Christian Hammer)

(Followed by general discussion, snacks and refreshments around 17:45)

 

Wed, 20 January 2016, 16:45h, E1 3, HS 001

Session chair: Prof. Antonio Krüger

  • Marco VOIGT, Decidability of First-Order Logic with Real Constraints
    (Prof. Christoph Weidenbach)
  • Vineet RAJANI, Confused deputy attacks formalized – Capability Myths Revisited and Demolished
    (Dr. Deepak Garg)
  • Jonas OBERHAUSER, Justification for the Semantics of High-Level Programming Languages
    (Prof. Wolfgang Paul)

(Followed by general discussion, snacks and refreshments at 17:45)

 

Wed, 9 Dezember 2015, 16:00h, E1 3, HS 001

Session chair: Prof. Jan Reineke

  • Konstantin KUZNETSOV, Checking Application Behavior against User Interactions
    (Prof. Andreas Zeller)
  • Erik DERR, In-depth Application Vetting for Android with Static Slice Optimization
    (Prof. Michael Backes)
  • Lara SCHNEIDER, DrugTargetInspector: an assistance tool for cancer treatment stratification
    (Prof. Hans-Peter Lenhof)
  • Subhabrata MUKHERJEE, Probabilistic Graphical Models for Credibility Analysis in Social Communities
    (Prof. Gerhard Weikum)
  • Alexander HEWER, Shape Analysis of the Human Vocal Tract
    (Dr. Ingmar Steiner)

(Followed by seasonal snacks and refreshments)

 

Wed, 18 November 2015, 16:00h, E1 3, HS 001

Session chair: Prof. Raimund Seidel

  • Martin WEIGEL, Multi-Modal On-Body Interaction for Mobile Computing
    (Dr. Jürgen Steimle)
  • Bojana KODRIC, Incentives in Dynamic Markets
    (Dr. Martin Hoefer)
  • Aruni CHOUDHARY, Approximate Simplicial Complexes
    (Prof. Kurt Mehlhorn)
  • Sanjar KARAEV, Matrix Factorization over Dioids for Data Mining
    (Dr. Pauli Miettinen)
  • Adrin JALALI, Correcting for Noise and Batch Effects in High-throughput Cancer Measurements Through Partially Blind Domain Adaptation
    (Dr. Nico Pfeifer)

(Followed by snacks and refreshments)

 

Wed, 28 October 2015, 16:15h, E1 3, HS 001

Session chair: Prof. Raimund Seidel

  • Gàbor ALAGI, NRCL – A Model Building Approach to the Bernays-Schönfinkel Fragment
    (Prof. Christoph Weidenbach)
  • Tomasz DUDZIAK, Building a Static Program Analyzer Using Symbolic Abstraction
    (Prof. Reinhard Wilhelm)
  • Andreas SCHMID, Using Planar Graph Structures for Efficient Algorithms
    (Prof. Kurt Mehlhorn)
  • Sandy HEYDRICH, Improvements on online bin packing
    (Prof. Kurt Mehlhorn & Prof. Rob van Stee, now Leicester)

(Followed by snacks and refreshments shortly after 17:30h)

 

Academic year 2014/15

Wed, 22 July 2015, 16:00h, E1 3, HS 001

Session chair: Prof. Matthias Hein

  • Arunav MISHRA, How did it happen and how is it remembered?
    (Dr. Klaus Berberich)
  • Georg TAMM, Web-enabled server-based and distributed real-time rendering
    (Prof. Philipp Slusallek)
  • Gorav JINDAL, Lower bounds for polynomials as sum of powers of low degree polynomials
    (Prof. Markus Bläser)
  • Kerstin REUTER, Towards the understanding of transcriptional and translational regulatory complexity
    (Prof. Volkhard Helms)
  • Johannes DOERFERT, Optimistic Assumptions for Polyhedral Compiler Optimization
    (Prof. Sebastian Hack)
  • Nasimi ELDAROV, High Mobility in OFDM-based Wireless Communications
    (Prof. Thorsten Herfet)

(Followed by snacks and refreshments at 18:00h)

 

Wed, 24 June 2015, 16:00h, E1 3, HS 001

Session chair: Prof. Holger Hermanns

  • Kai HUI, Selective Labeling for Low-Cost Evaluation in Information Retrieval
    (Dr. Klaus Berberich)
  • Leander TENTRUP, Logics for the Synthesis of Reactive Systems
    (Prof. Bernd Finkbeiner)
  • Mehdi MONIRI, Real-Time Multimodal Reference Resolution in Indoor and Outdoor Environments
    (Prof. Wolfgang Wahlster)
  • Gilles NIES, Recharging probably keeps batteries alive
    (Prof. Holger Hermanns)
  • Eslam ELNIKETY, Thoth: Enforcing data policies compliance in a search engine
    (Prof. Peter Druschel)

(Followed by snacks and refreshments at 17:40h)

Wed, 27 May 2015, 16:00h, E1 3, HS 001

Session chair: Prof. Antonio Krüger

  • Ruben BECKER, Towards Competitively Fast Combinatorial Flow Algorithms
    (Dr. Andreas Karrenbauer)
  • Felipe ALBRECHT, Supporting the discovery of biological insights from large epigenomics data collections
    (Prof. Thomas Lengauer)
  • Michael DIRNBERGER, Towards Natural Computing Inspired by P. Polycephalum
    (Prof. Kurt Mehlhorn)
  • Felix SCHUHKNECHT, Digging Deep: From Adaptive Indexing to Sorting to Partitioning
    (Prof. Jens Dittrich)
  • Felix KLEIN, Synthesis of Reactive Systems
    (Prof. Bernd Finkbeiner)

(Followed by snacks and refreshments at 17:40h)

 

Wed, 22 Apr 2015, 16:00h, E1 3, HS 001

Session chair: Prof. Dominique Schröder

  • Nils FLEISCHHACKER, Limits of Provable Security
    (Prof. Dominique Schröder)
  • Pablo GARRIDO, High-quality facial performance capture and applications to video editing
    (Prof. Christian Theobalt)
  • Hazem TORFAH, Counting Reactive Models
    (Prof. Bernd Finkbeiner)
  • Pascal PETER, PDE-based Image Compression
    (Prof. Joachim Weickert)
  • Tim RUFFING, CoinShuffle: Introducing Anonymity in Bitcoin
    (Dr. Aniket Kate)

(Followed by snacks and refreshments at 17:40h)

 

Wed, 25 Mar 2015, 16:00h, E1 3, HS 001

Session chair: Prof. M. Maffei

  • Milivoj SIMEONOVSKI, Accountability in Anonymous Communication Networks
    (Prof. Michael Backes)
  • Adam GRYCNER, Acquiring Disambiguating and Organizing Relational Phrases
    (Prof. Gerhard Weikum)
  • Srinath SRIDHAR, Real-Time Tracking of Hands in Action for Human-Computer Interaction
    (Prof. Christian Theobalt)
  • Malte SKORUPPA, Implementation-Level Analysis of a Javascript Voting Client
    (Prof. Michael Backes)
  • Ezgi CICEK, A Type System for Incremental Computational Complexity
    (Dr. Deepak Garg)
  • Sourav DUTTA, Efficient and Scalable Cross-Document Co-Reference Resolution
    (Prof. Gerhard Weikum)

(Followed by snacks and refreshments at 18:00h)

 

Wed, 25 Feb 2015, 16:00h, E1 3, HS 001

Session chair: Prof. T. Lengauer

  • Timo BOLKART, Statistical Analysis of 3D Faces in Motion
    (Dr. Stefanie Wuhrer)
  • Peter EBERT, Cross-species application of computational epigenetics
    (Prof. Thomas Lengauer)
  • Prabhav KALAGHATGI, Inferring disease transmission networks from pathogen genetic data
    (
    Prof. Thomas Lengauer)
  • Aurela SHEHU, Symmetries of non-rigid 3D shapes
    (Dr. Stefanie Wuhrer)
  • Maryam NAZARIEH, Identification of topological backbones in regulatory networks
    (Prof. Volkhard Helms)

(Followed by snacks and refreshments at 17:40h)

 

Wed, 28 Jan 2015, 16:00h, E1 3, HS 001

Session chair: Prof. S. Hack

  • Helge RHODIN, Interactive Character Animation
    (Prof. Christian Theobalt)
  • Xiaokun WU, Structure-based geometry processing
    (Prof. Hans-Peter Seidel)
  • Sebastian HAHN, Compositionality in Execution Time Analysis
    (Prof. Reinhard Wilhelm)
  • Dat Ba NGUYEN, Named Entity Disambiguation
    (Prof. Gerhard Weikum)
  • Stefan RICHTER, On the Performance of Index Structures for Main-Memory Databases
    (Prof. Jens Dittrich)
  • Cosmina CROITORU, Algorithmic Aspects of Abstract Argumentation Frameworks
    (Prof. Kurt Mehlhorn)

(Followed by snacks and refreshments at 18:00h)

 

Wed, 10 Dec 2014, 16:00h, E1 3, HS 001

Session chair: Prof. M. Hein

  • Petr KELLNHOFR, Perceptual modelling for stereoscopic 3D
    (Dr. Karel Myskowski)
  • David HAFNER, Variational Image Fusion
    (Prof. Joachim Weickert)
  • Myroslav BACHYNSKYI, Optimizing performance and ergonomics of novel user interfaces with biomechanical simulation
    (Prof. Antti Oulasvirta, Dr. Jürgen Steimle)
  • Jan HOSANG, tba
    (Prof. Bernt Schiele)
  • Thilo KRÜGER, tba
    (Prof. Verena Wolf)
  • Nico PERSCH, Physically-based Image Reconstruction
    (Prof. Joachim Weickert)

(Followed by seasonal snacks and refreshments at 18:00h)

 

Wed, 19 Nov 2014, 16:00h, E1 3, HS 001

Session chair: Prof. H. Hermanns

  • Anna ROHRBACH, Describing Visual Data with Natural Language
    (Prof. Bernt Schiele)
  • Steven SCHÄFER, tba
    (Prof. Gert Smolka)
  • Luis FERRER FIORITI, Probabilistic Termination
    (Prof. Holger Hermanns)
  • Philipp STYP-REKOWSKY, Runtime Monitoring and Enforcement on Unmodified Android
    (Prof. Michael Backes)
  • Endre PALATINUS, Physical Design in Databases
    (Prof. Jens Dittrich)

(Followed by snacks and refreshments at 17:45h)

 

Wed, 22 Oct 2014, 16:00h, E1 3, HS 001

Session chair: Prof. A. Krüger

  • Michael JACOBS, A Framework for the Derivation of WCET Analyses for Multi-Core Processors
    (Prof. Sebastian Hack)
  • Yan ZHANG, An Optical Method of Deformation Measurement within An Elastic Object
    (Prof. Joachim Weickert)
  • Pascal LESSEL, The Crowd and Persuasion
    (Prof. Antonio Krüger)
  • Frederic KERBER, Investigating interaction with wrist-worn devices
    (Prof. Antonio Krüger)
  • Erdal KUZEY, Temporal Knowledge Harvesting from the Web
    (Prof. Gerhard Weikum)
  • Natalia PRYTKOVA, A Framework for Multilingual Knowledge Base Alignment
    (Prof. Gerhard Weikum)

(Followed by snacks and refreshments at 18:00h)

 

Wed, 24 Sept 2014, 16:00h, E1 3, HS 001

Session chair: Prof. R. Seidel

  • Christoph SCHROERS, Variational Surface Reconstruction
    (Prof. Joachim Weickert)
  • Marvin KÜNNEMANN, Analysis of Approximation Algorithms On Realistic Inputs
    (Prof. Kurt Mehlhorn; Prof. Benjamin Doerr)
  • Mittul SINGH, Language models for large context sizes
    (Prof. Dietrich Klakow)
  • Vitalii AVDIIENKO, Mining Apps for Abnormal Usage of Sensitive Data
    (Prof. Andreas Zeller)
  • Andrej TARASEVICH, Automated test case generation for C compilers
    (Prof. Andreas Zeller)

(Followed by snacks and refreshments at 17:40h)

 

Academic year 2013/14

Fri, 25 July 2014, 15:00h, E1 3, HS 001

Session chair: Prof. M. Maffei

  • Juhi KULSHRESTHA, Characterising Social Recommendation Systems
    (Dr. Krishna Gummadi)
  • Niket TANDON, Deriving a Web-Scale Common-Sense Knowledge Base
    (Prof. Gerhard Weikum)
  • Johannes HOFFART, Robust Named Entity Disambiguation in Text and Current Challenges
    (Prof. Gerhard Weikum)
  • Manuel REINERT, Privacy and Access Control for Cloud Applications
    (Prof. Matteo Maffei)

 

Fri, 27 June 2014, 15:00h, E1 3, HS 001

Session chair: Prof. R. Seidel

  • Kaustubh BEEDKAR, Sequential Pattern Mining at Scale
    (Dr. Rainer Gemulla)
  • Mainack MONDAL, Understanding and Specifying Social Access Control Lists
    (Dr. Krishna Gummadi)
  • Sigurd SCHNEIDER, Semantic of an Intermediate Language for Program Transformation
    (Prof. Sebastian Hack, Prof. Gert Smolka)
  • Vahid HASHEMI, Decision Algorithms for Uncertain Probabilistic Concurrent Systems
    (Prof. Holger Hermanns)

 

Fri, 23 May 2014, 15:00h, E1 3, HS 001

Session chair: Prof. H. Hermanns

  • Tobias TEBBI, Automating Metatheory – Reasoning about Syntax in the Interactive Theorem Prover Coq
    (Prof. Gert Smolka)
  • Laszlo KOZMA, (Two) Selected Algorithmic Problems
    (Prof. Raimund Seidel)
  • Jonas KAISER, Towards a Sound and Complete Classical Theory of Constructions
    (Prof. Gert Smolka)
  • Andreas TEUCKE, Counterexample Guided Abstraction Refinement for First-Order Reasoning
    (Prof. Christoph Weidenbach)

 

Fri, 11 Apr 2014, 15:00h, E1 3, HS 001

Session chair: Prof. R. Seidel

  • Maksim LAPIN, Scalable multitask representation learning for scene clarification
    (Prof. Bernt Schiele)
  • Ashutosh MODI, Unsupervised induction of semantic representations from text
    (Dr. Ivan Titov)
  • Walon CHIU, Multi-class video co-segmentation and adaptive segmentation strategies
    (Dr. Mario Fritz)

 

Fri, 21 Mar 2014, 15:00h, E1 3, HS 001

Session chair: Prof. J. Siekmann

  • Mateusz MALINOWSKI, An end-to-end learning approach to answering questions on real-world images
    (Dr. Mario Fritz)
  • Praveen MANOHARAN, Semantic linkability in online social networks
    (Prof. Michael Backes)
  • Leonid PISHCHULIN, Articulated people detection and pose estimation
    (Prof. Bernt Schiele)
  • Sairam GURAJADA, Distributed indexing and querying of RDF data
    (Dr. Martin Theobald)

 

Fri, 28 Feb 2014, 15:00h, E1 3, HS 001

Session chair: Prof. M. Hein

  • Yong Chul JU, Generalised Perspective Shape from Shading
    (Prof. Andrés Bruhn)
  • Siyu TANG, Multiple people detection and tracking in crowded urban scenes
    (Prof. Bernt Schiele)
  • Martin WEIER, SILVA: System for instantiation of large vegetated areas
    (Prof. Philipp Slusallek)

 

Fri, 24 Jan 2014, 15:00h, E1 3, HS 001

Session chair: Prof. H. Hermanns

  • Bernhard REINERT, Constraint-based Interaction with 2D and 3D Media
    (Prof. H.-P. Seidel)
  • Marek KOSTA, Faster Learning in SMT-solving for Non-linear Arithmetic
    (Prof. Christoph Weidenbach / Dr. Thomas Sturm)
  • Beata TURONOVA, Progressive stochastic reconstruction technique
    for Cryo Electron Tomography
    (Prof. Philipp Slusallek)

 

Fri, 13 Dec 2013, 15:00h, E1 3, HS 001

Session chair: Prof. H. Hermanns

  • Anjo VAHLDIEK, Protecting data integrity with storage leases
    (Prof. P. Druschel)
  • Fidaa ABED, Coordination mechanisms for unrelated machines scheduling
    (Dr. Rob van Stee, Prof. Kurt Mehlhorn)
  • Amy SIU, Knowledge-driven entity recognition in biomedical text
    (Prof. Gerhard Weikum)
  • Oskar ELEK, Interactive physically-based rendering of participating media
    (Prof. H.-P. Seidel)

 

Fri, 22 Nov 2013, 15:00h, E1 3, HS 001

Session chair: Prof. R. Wilhelm

  • Zhongjie WANG, Trajectory Patterns for Flow Analysis
    (Prof. H.-P. Seidel)
  • Sebastian OTT, Energy-efficient scheduling
    (Dr. R. van Stee, Prof. K. Mehlhorn)
  • Bojan PEPIKJ, Teaching 3D geometry to deformable part models
    (Prof. B. Schiele)
  • Yongtao SHUAI, Efficient dynamic adaptive streaming
    (Prof. T. Herfet)

 

Fri, 25 Oct 2013, 15:00h, E1 3, HS 001

Session chair: Prof. R. Seidel

  • Oliver DEMETZ, The Complete Rank Transform:
    A Tool for Accurate and Morphologically Invariant Matching of Structures
    (Prof. J. Weickert)
  • Yongjie YANG, Parameterized complexity of voting systems
    (Dr. J. Guo)
  • Patrick ERNST, KnowLife: a Knowledge Graph for Health and Life Sciences
    (Prof. G. Weikum)
  • Scott KILPATRICK, Backpack: Retrofitting Haskell with Interfaces
    (Dr. Derek Dreyer)