SFB9 0 1

ON - THE - FLY COMPUTING

Program 10th International Heinz Nixdorf Symposium On-the-Fly Computing

September 12th – 13th, 2016 Heinz Nixdorf MuseumsForum, Paderborn >> Software Engineering and Machine Learning >> Dynamic Communication Networks >> Security and Cryptography >> Quality Assurance and Economic Design >> The Heinz Nixdorf >> On-the-Fly Computing Symposium

The Heinz Nixdorf Symposium is an established biennial SFB 901 “On-The-Fly Computing” is funded by the DFG as event of the Heinz Nixdorf Institute during which resear- a Collaborative Research Centre since July 2011. The objec- chers and practitioners come together to present challen- tive of SFB 901 is to develop techniques and processes for ges from industry, discuss contributions from research in- the automatic on-the-fl y confi guration and provision of in- stitutions and develop novel solutions. The Heinz Nixdorf dividual IT services out of base services that are available Institute is a research center within the Paderborn Universi- on worldwide markets. In addition to the confi guration and ty, founded in 1987. Its research is aligned with the program provision of IT services, this involves developing meth- “Dynamics, Mobility, Integration: En-route to the technical ods for quality assurance and the protection of participat- systems of tomorrow.” In training and education, the Heinz ing clients and providers, methods for the target-oriented Nixdorf Institute is involved in many programs of study at further development of markets, and methods to support the . Today nine professors and 150 the interaction of the participants in dynamically changing researchers work at the Heinz Nixdorf Institute. markets. Consequently, we have selected four SFB-relevant research fi elds which will be discussed in the following four workshops at the 10th Heinz Nixdorf Symposium:

“Software Engineering and Machine Learning” Organizers: Eyke Hüllermeier, Gregor Engels, Heike Wehrheim

The goal of this workshop is to strengthen the connection between software engineering and machine learning, two 10th Heinz Nixdorf Symposium subfi elds of computer science that can cross-fertilize and The 10th International Heinz Nixdorf Symposium will take mutually benefi t from each other. We plan to cover both place September, 12th – 13th 2016 in the Heinz Nixdorf Mu- directions, software engineering for machine learning and seumsForum in Paderborn. It is aimed at researchers who machine learning for software engineering, with a specifi c conduct research on topics of the SFB 901 “On-The-Fly focus on service-oriented architectures and the On-The- Computing” in a broad sense, and is devoted to the scien- Fly Computing paradigm. tifi c exchange. The event format is a mixture of keynote talks and workshops in the four research fi elds mentioned “Dynamic Communication Networks” below. Through top-class lectures, interesting workshops Organizers: Christian Scheideler, Holger Karl, and an excellent supporting program we want to make the Friedhelm Meyer auf der Heide topics of the SFB even more visible in the corresponding scientifi c communities. We will not collect any conference In the future, communication networks will be much more fee, so all participants are “charged” only through their diverse and complex than today. They will be hybrid and travel expenses and accommodation costs. heterogeneous, self-organizing and self-optimizing, and >> Program Committee will make use of information provided both by the network  Johannes Blömer (co-chair) itself and its environment. The aim of this workshop is to  Eric Bodden discuss current research trends in networking research  Gregor Engels from the systems as well as the algorithmic perspective,  René Fahr (co-chair) with a focus on dynamic and heterogeneous network ar-  Bernd Frick chitectures in general as well as those needed for the On-  Burkhard Hehenkamp The-Fly Computing paradigm.  Eyke Hüllermeier (co-chair)  Holger Karl “Security and Cryptography”  Friedhelm Meyer auf der Heide (chair) Organizers: Johannes Blömer, Eric Bodden  Christian Scheideler (co-chair)  Heike Wehrheim The goal of this workshop is to present and discuss emerg- ing new techniques and methods from cryptography, se- cure software development, security analysis of software, secure systems design, and identity management suit- >> Registration able to address the major security and privacy concerns in distributed and de-centralized scenarios in general and in the On-The-Fly scenario in particular. You can register for participation in the 10th International Heinz Nixdorf Symposium through our website. Registra- “Quality Assurance and Economic Design” tion needs to be complete by September 1. There will be Organizers: René Fahr, Bernd Frick, Burkhard Hehenkamp no conference fee, but participants are responsible for their accommodation. This workshop deals with market behavior and mecha- nism design on electronic and online markets that share features of the On-The-Fly Computing market. We plan to cover empirical as well as theoretical studies that design and evaluate incentives and mechanisms such as contrac- tual solutions, certifi cates, (customer) feedback systems, service level agreements and service guarantees to reduce these aforementioned behavioral misconducts. >> Keynote Speakers

Michael Backes is a full professor at Roger Wattenhofer is a full profes- the Computer Science Department of sor at the Information Technology and University and a Max Planck Electrical Engineering Department, ETH Fellow of the Max Planck Institute for Zurich, Switzerland. He received his Software Systems, where he has the doctorate in Computer Science in 1998 chair for Information Security and from ETH Zurich. From 1999 to 2001 he Cryptography. He is the Director of the was in the USA, fi rst at Brown Universi- Center for IT-Security, Privacy, and Ac- ty in Providence, RI, then at Microsoft countability (CISPA), and a Principal Investigator and Vi- Research in Redmond, WA. He then returned to ETH Zu- ce-coordinator of the Cluster of Excellence on Multimodal rich, originally as an assistant professor at the Computer Computing and Interaction (MMCI). Moreover, he is the Science Department. speaker of the collaborative research center on Methods and Tools for Understanding and Controlling Privacy. Research Interests Roger Wattenhofer's research interests are a variety of al- Research Interests gorithmic and systems aspects in computer science and Backes' research interests include information information technology, currently in particular wireless security and privacy, especially foundations of computer networks, wide area networks, mobile systems, social security & privacy; design, analysis and verifi cation for networks, and physical algorithms. security-critical systems and services; and methods and tools for assessing and enhancing privacy in the Internet. Achievements/Awards His major current research focus is on providing founda- Roger Wattenhofer’s work is characterized by an unusual tions for privacy, accountability, compliance and trust in blend of basic and applied research, proving theorems on the Internet of the future. the one hand, and building practical systems on the other. He has more than 200 peer-reviewed publications in dif- Achievements/Awards ferent areas, including Distributed Computing, Systems Michael Backes is the winner of numerous awards, among & Networking, and Theory of Computer Science. He has which are the IEEE Outstanding Community Service Award, won several best paper awards at top conferences such as ERC Synergy Grant, ERC Starting Grant, MIT TR35, IBM Fa- PODC, SPAA, DISC, and MobiCom. Moreover, he received culty Award, Microsoft Privacy Award, and IBM Outstand- the Winning Prize for Innovations in Distributed Computing ing Achievement Award. He has been featured as the in 2012, for “extensive contributions to the study of distri- leading German researcher under the age of 40 by the buted approximation”. Some projects of Roger Wattenhofer German edition of the Financial Times, and has repeat- have turned into startup companies, e. g. Wuala, Stream- edly ranked amongst the 30 most important IT people in Forge, BitSplitters, and several projects have been covered by the Computerwoche newspaper. Moreover, by popular media and blogs, e. g. Gizmodo, Lifehacker, he was named as one of Germany’s “Digital Minds” by the New York Times, NBC News, NZZ, PC World Magazing, Red German Computer Science Foundation and by Germany’s Herring, and Technology Review. minister of research and education. Matthias Seeger is a Principal Ap- Since 2013, Nora Szech is a Professor plied Scientist at Amazon. After his for Political at the Karls- PhD (2003 at Edinburgh University), he ruhe Institute of Technology (KIT). worked at the University of California Before she joined, she was a Profes- in Berkeley until 2005, and at the Max sor for Industrial Economics at the Planck Institute for Biological Cyberne- . She did her tics in Tübingen until 2008. He headed PhD under the supervision of Ben- an independent research group within ny Moldovanu at the Graduate the DFG Cluster of Excellence on Multimodal Computing School of Economics. After her PhD, she held a PostDoc and Interaction at and the MPI for In- Position (Akademischer Rat) at the Chair of Benny Mol- formatics in Saarbrücken until 2010. He was then an as- dovanu (Economic Theory) at the University of Bonn. sistant professor at the School of Computer and Commu- Apart from the calls from KIT and Bamberg, Nora Szech nication Sciences (EPFL), and from 2014 to 2016 a Senior has received calls to chairs from the Universities of Bonn, Machine Learning Scientist at Amazon. Konstanz, and Passau.

Research Interests Research Interests Matthias Seeger is interested in the theory, algorithmics, Nora Szech is a KIT Expert with a focus on market design, and practice of Bayesian techniques and probabilistic institutions, and moral values. She works theoretically as machine learning, with applications to computer vision well as empirically in order to understand market mecha- and imaging, (medical) image processing, compressive nisms and their impact on welfare, revenues, and values. sensing, bioinformatics, modelling of neural recordings, and advanced large-scale data analysis. His current re- Achievements/Awards search focusses on low-level image processing and sam- Nora Szech is a member of the Committee for Economic pling optimization (adaptive compressive sensing), with Theory (Theoretischer Ausschuss) within the Verein für applications to magnetic resonance imaging. Socialpolitik (since 2015). Moreover, she is elected as KIT Expert (since 2015), CESifo Research Network Fellow Achievements/Awards (since 2014), and WZB Fellow (since 2013). In 2011 she re- Matthias Seeger made seminal contributions to the theory, ceived the Reinhard-Selten Award. Previously, Nora Szech algorithmics, and implementation of nonparametric Gaussi- received the Dissertation Prize of the Bonn University So- an process models, semisupervised learning, PAC-Bayesian ciety for the Best Dissertation at the University of Bonn learning theory, and variational approximations of Bayesi- in 2010. Recently, Nora Szech was ranked by the German an inference for sparse generalized linear models. He was national daily “Süddeutsche Zeitung” among the 36 most an invited fellow at the Statistical Theory and Methods for infl uential German economists under the age of 50, from Complex, High-Dimensional Data programme, Isaac Newton all varieties of fi elds within economics. Institute, Cambridge, UK. In 2012 Matthias Seeger received the ERC Starting Grant from the European Research Council. >> Involved Projects >> Specials

The content-related design of the parallel sessions/ Networking Meeting workshops of the 10th Heinz Nixdorf Symposium will be As a last-but-not-least item on the agenda of the fi rst day, done in close cooperation with several large-scale (DFG- we will have a “Social Get Together” of all participating funded) research projects in the corresponding ar eas. At doctoral candidates in order to enable interdisciplinary this stage the following research projects have committed discussions and knowledge sharing in a relaxed atmo- themselves to make decisive contributions: sphere. Organized in a kind of a “one-to-one science slam” the doctoral candidates will have the opportunity  CoE “Multimodal Computing and Interaction MMCI”, to present the research fi elds and key ideas of their dis- MPI Saarbrücken (Coordinator: Hans-Peter Seidel; Confi rmed sertation projects to other participants. Besides the inten- Speaker: Michael Backes) tion to extend the professional network of any participant,  SFB 876 “Providing Information by Resource-Con- this should act as a nice transition to fruitful discussions strained Data Analysis”, TU Dortmund (Coordinator: Katharina during the subsequent evening event. Morik; Confi rmed Speaker: )  SFB 912 “Highly Adaptive Energy-Effi cient Computing (HAEC)”, TU Dresden (Coordinator: Gerhard Fettweis; Confi rmed Speaker: Frank Fitzek)  SFB 1053 “Multi-Mechanism Adaption for the Future Internet (MAKI)”, TU Darmstadt (Coordinator: Ralf Steinmetz; Confi rmed Speakers: Amr Rizk, Andy Schürr, Denny Stohr, Ralf Steinmetz)  SFB 1119 “Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Com- puting Environments (Crossing)”, TU Darmstadt (Coordinator: Johannes Buchmann; Confi rmed Speakers: Marc Fischlin, Thomas Schneider, Stefan Katzenbeisser, Juliane Krämer)  SFB 1223 “Methods and Tools for Understanding and Controlling Privacy”, Saarland University Saarbrücken (Coordinator & Confi rmed Speaker: Michael Backes)  SPP 1593 “Design for Future – Managed Software Evolu- tion” (Coordinator & Confi rmed Speaker: Ralf Reussner – KIT)  SPP 1736 “Algorithms for Big Data” (Coordinator: Ulrich Meyer; Confi rmed Speaker: Eike Kiltz – )  FOR 1371 “Design & Behavior – Economic Engineering of Firms and Markets”, University of (Coordinator: ; Confi rmed Speakers: Vitali Gretschko, Peter Werner )  GK 1817 “New Challenges for Cryptography in Ubiqui- tious Computing (UbiCrypt)”, Ruhr University Bochum (Coordinator: Alex May; Confi rmed Speaker: Juraj Somorovsky) >> Program >> Program

Monday, 12th September 2016: Tuesday, 13th September 2016:

11:30 am Welcome Reception (Exhibition area) 09:00 am Keynote Talk (Auditorium) “Machine Learning at Amazon: An Overview” 12:30 pm Opening Presentation of the SFB 901 (Auditorium) Matthias Seeger (Amazon) Friedhelm Meyer auf der Heide (UPB) 10:00 am Coffee Break 01:00 pm Keynote Talk (Auditorium) “Cryptocurrencies: Bitcoin, Blockchain & Beyond” 10:30 am 2nd parallel session of the four Symposium work- Roger Wattenhofer (ETH Zurich) shops (Seminar rooms)

02:00 pm 1st parallel session of the four Symposium work- Software Engineering Dynamic Communication shops (Seminar rooms) & Machine Learning Networks (Session B) (Session B) Software Engineering Dynamic Communication & Machine Learning Networks Security & Quality Assurance & (Session A) (Session A) Cryptography Economic Design (Session B) (Session B) Security & Quality Assurance & Cryptography Economic Design 12:30 pm Coffee Break (Session A) (Session A) 02:00 pm Keynote Talk (Auditorium) 04:00 pm Coffee Break “Pleasures of Skill and Moral Conduct” Nora Szech (KIT) 04:30 pm Keynote Talk (Auditorium) “Security & Cryptography” 03:00 pm 3rd parallel session of the four Symposium work- Michael Backes (MPI Saarbrücken) shops (Seminar rooms)

05:30 pm Socializing / Networking Meeting for all participa- Software Engineering Dynamic Communication ting doctoral candidates (Seminar rooms) & Machine Learning Networks (Session C) (Session C) 07:30 pm Evening Event / Dinner Ferrarisaal of the Schützenhof Paderborn, incl. Security & Quality Assurance & DinnerKrimi-Show (in english) Cryptography Economic Design (Session C) (Session C)

05:00 pm Closing of the Symposium >> Information >> Evening Event

Further information and updates for the program can be At the end of the fi rst day, we sincerely invite you to our found at: www.hni.uni-paderborn.de/symposium2016 evening event held at Schützenhof Paderborn.

Organization Schützenhof Paderborn Heinz Nixdorf Institute Ferrarisaal Prof. Dr. Friedhelm Meyer auf der Heide Schützenplatz 1 Fürstenallee 11 33102 Paderborn, Germany 33102 Paderborn, Germany E-mail: [email protected] The Schützenhof is the venue Phone: +49 52 51 60 67 26 nearest to the Symposium Fax: +49 52 51 60 66 97 (5 minutes by foot) and offers an idyllic restaurant where we Venue will have a gala dinner in a cozy Heinz Nixdorf MuseumsForum atmosphere. As special enter- Fürstenallee 7 tainment there will be a theater 33102 Paderborn, Germany play performed by profession- www.hnf.de al actors, accompanying the dinner. Enjoy the delightful Supporters English mystery dinner with sporadic deaths… SFB9 0 1

ON - THE - FLY COMPUTING Murder on Board, M´lord! Admiral Lord Reginald Bromstroke invites Sussex VIPs to celebrate the 125th anniversary of victory at the Battle of Trafalgar at a dazzling Royal Navy Dinner. This year’s event is also being held in remembrance of his late wife, who was lost at sea. In light of these special circumstances the Admiral has promised family and guests an extraordinary surprise… but a murder is committed before he is able to announce it...

We are looking forward to spending an enjoyable, as well as interesting evening together with you. >> Hotels >> Paderborn

We have reserved rooms in two different hotels: Paderborn is a modern city with a young population, but with a history that goes back over 1200 years. There are  Welcome Hotel Paderborn many places of historical interest to see. Most interesting-  Best Western Premier Arosa Hotel ly, high-tech and the Middle Ages go hand-in-hand in har- monious co-existence in this dynamic city pulsating with Welcome Hotel Paderborn life, but still small enough to feel familiar. Situated on the The Welcome Hotel Paderborn is nearest to the conferen- River Pader, the town encompasses numerous parks, and ce venue (5 minutes by foot) and offers all the facilities is surrounded by beautiful countryside. of a classical business hotel. A special conference rate of 94€ per night for a single room (which includes breakfast The fi rst documentary mention of Paderborn dates back and free W-LAN) has been negotiated for you as a partici- to the year 777. Paderborn long plays a major role in the pant of the HNI Symposium. Additionally, you can book (since 1929, Paderborn is an archbisho- for a rate of 7€ per night a parking place if needed. pric). In 836, the holy relics of St. Liborius were transferred to Paderborn – this is celebrated every year during the Best Western Premier Arosa Hotel Libori festival. In about 1000, Paderborn was awarded town The Best Western Premier Arosa Hotel is centrally located status. The Paderborn University was founded in 1972. and has a unique panoramic view of downtown Pader- born. A special conference rate of 72€ per night for a sing- le room (which includes breakfast and W-LAN) has been negotiated for you as participant of the HNI Symposium. If needed, you can also book a parking spot for a rate of 10€ per night.

Other Hotels If these hotels are booked out, alternative hotels in Pader- born (with no negotiated room rates) can be found via the tourist information website. For our part, we can recom- mend the following list of alternative hotels in Paderborn:

 Aspethera Hotel, Am Busdorf 7, Paderborn  Hotel IBIS Paderborn City, Paderwall 1 – 5, Paderborn  Galerie-Hotel Paderborn, Bachstr. 1, Paderborn  Hotel zur Mühle, Mü hlenstraße 2, Paderborn  Hotel Stadthaus, Hathumarstr. 22, Paderborn >> How to fi nd us

Travelling by car From the A33 take the exit Paderborn-Elsen. Turn onto Bundesstraße (main road) B1 towards Bad Lippspringe/ Detmold. After approx. 1.5 km leave Bundesstraße B1 at the exit Paderborn/Schloss Neuhaus. Continue straight ahead at the traffi c lights (Heinz-Nixdorf-Ring, Dubeloh- straße) onto the Heinz-Nixdorf-Ring and turn left at the next set of lights (Heinz-Nixdorf-Ring, Fürstenallee) onto Fürstenallee. The Heinz Nixdorf MuseumsForum is ap- prox. 300 m along this street on the right-hand side.

Travelling by air From Paderborn/Lippstadt airport take a taxi (total jour- ney time 25 minutes, approx. 35 Euro) or take bus No. 400/460 towards Paderborn Main Station (Hauptbahn- hof). From the main station take bus No. 11 towards Thu- ner Siedlung and get off at the MuseumsForum stop (total journey time approx. 50 minutes).

Travelling by train From Paderborn Main Station (Hauptbahnhof) take a taxi (total journey time 10 minutes, approx. 8 Euro) or take bus No. 11 towards Thuner Siedlung and get off at the Muse- umsForum stop (total journey time approx. 10 minutes).

Bielefeld Exit

PB-Schloß Schloß Neuhaus Neuhaus FürstenalleeMarienloher Straße Heinz Nixdorf Institute Münster An der Talle Fürstenallee 11 33102 Paderborn B1 Detmold Fürstenallee HeinzHeinz Nixdorf Nixdorf Institute Institut Telefon: +49 (0) 52 51 | 60 62 00 HeinzHeinz Nixdorf Nixdorf MuseumsForum Forum Telefax: +49 (0) 52 51 | 60 62 12 Exit FHDW,B.I.B. b.i.b. Paderborn- ZukunftsmeileZM 1 1

Dubelohstraße Elsen Neuhäuser Straße

Elsen g www.hni.uni-paderborn.de 1 e Löffelmannweg w Elsener Straße n e t s r O ü s tr F He i ier n all sw P g A33 w al e er l n B g d z e n li r i a G n l WINCOR i e P g ne R ie - ß e NIXDORF f a r r s r r r o t w S R s d a t i u r n 1 x l 1 i . l a g

N

n

B1 -

e r Paderborn z

t Driburger Straße

h

n

s Airport t

SIEMENS i CITY

l h

a

e l

c

Paderborn- Riemekestr. i

a

R H r w

Lippstadt d f

e r i

r o g F d n s i u Heinz-Nixdorf-Ring B nr Bahnhofstraße e L l e a Fürstenallee - f Exit Ma rg t Hbf n ibe s Weg s Paderborn- -Wall Libor e B 480) W

. Heinz Nixdorf Institute Dubelohstraße Zentrum e( B Campus Straß 2 MuseumsForum 64/B 68 University of Paderborn G r i se ing l Husener Str r FHDW, b.i.b. Borchener ast üd Neuhäuser raß S e University Paderborn Zukunftsmeile 1

Frankfurte TechnologiePark Paderborn Straße Welcome Hotel B 64/B 68

Exit Kassel Paderborn-Mönkeloh Fürstenweg Dortmund