Monday, 21.09.


PrInf QSTR
RoHOW

Session APB/E06 APB/E07
Dülfer Saal
8:50 – 9:00


Opening of Workshop 8:00 – 10:00 Team Setup
9:00 – 10:00
Opening Ivo Duentsch (invited talk) Boolean contact algebras - Structure and representation

Invited Talk

10:00 – 10:20
Coffee 10:00 – 10:30 Oliver Krebs, Tobias Bolze and Reinhard Gerndt Bublebee Stereo Camera for Robotic Soccer - A Case Study
10:20 – 11:20 Session Javier Parra-Arnau and Claude Castelluccia, Dataveillance and the False-Positive Paradox Leif Sabellek and Thomas Schneider A Note on Algebraic Closure and Closure under Constraints 10:30 – 11:00 Soroush Sadeghnejad, Ehsan Abdollahi, Sepehr Ramezani and Jacky Baltes Zero Moment Point Control of a Biped Robot Using Feedback Linearization
Michael Backes, Pascal Berrang and Praveen Manoharan How well do you blend into the crowd? Peter Jonsson and Victor Lagerkvist Upper and Lower Bounds on the Time Complexity of Infinite-domain CSPs 11:00 – 11:30 Wen-Chun Chen, Hung-Yu Chen, Jia Jun Tsai and Norbert Michael Mayer Acoustic methods for information transmission and self-localization in SPL
Maurizio Naldi and Giuseppe D'Acquisto Option contracts for a privacy-aware market Johannes Greiner A Polynomial Time Algorithm for Set Constraints with Cardinality Inequalities
11:20 – 11:40
Coffee 11:30 – 16:00 Team Setup
11:40 – 13:00
Giuseppe D'Acquisto Policies for a fair re-use of data: Big Data and the application of anonymization techniques

Oliver Günther, Thorsten Strufe and Ulf Brefeld User privacy across social networks

13:00 – 14:30
Lunch
14:30 – 16:00 Session Sebastian Pape, Jetzabel Serna-Olvera and Welderufael Tesfay Why Open Data May Threaten Your Privacy Frank Dylla, Jan Oliver Wallgrün and Jasper van de Ven Merging Qualitative Information: Rationality and Complexity
Joshua Juen and Nikita Borisov Privacy Aware Feature Selection Florian Muth AND/OR Linear Programming for Qualitative Spatial Reasoning

Wrap up & discussion

15:40 – 16:00
Coffee
16:00 – 17:00 Session

Matthias Westphal (invited talk) Qualitative constraint-based reasoning: methods and tools 16:00 – 18:00 RoboCup Humanoid Rule Discussion for Leipzig 2016



Discussion, Closing







18:00 – 22:00 Team Setup