On July 19, 2016,  Prof. Dr. Xishun Zhao (Sun Yat-sen University, Guangzhou) will give a talk about "Hoare style proof systems for plan verification under 0-approximation semantics" in the context of the SFB 901.                                                                                                                         Abstract:  In this talk we would propose a Hoare style proof system called PR^0_D for plan verification under…

On July 13, 2016, Ines Ghribi (University of Karthage, Tunisia) will give a talk about "A new codesign methodology for reconfigurable embedded systems" in the context of the SFB 901.                                                                                                                                           Abstract:   Our work presents a co-design methodlogy based on new techniques for modeling and partitioning of reconfigurable…

On July 13, 2016, Dr. Dennis Komm will give a talk about "Information Content of Online Problems" in the context of the SFB 901.                                                                                                                                    Abstract: In online computation, the input of a computational problem is revealed gradually such that parts of the definite output need to be given with incomplete information.  Using…

On July 5 - 8, 2016, the 17th International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc) will take place at the HNF in Paderborn.                                                                                                                                                           MobiHoc is a premier international symposium dedicated to addressing challenges in dynamic networks and computing. It will bring together…

On July 4, 2016, Dr. Tobias Wenzel (University of Bath) will give a talk about "Hidden prices" in the context of the SFB 901.                                                                                                                                                                                                                                                        Abstract: We explore the incentives of firms to shroud prices in a model…

On July 2, 2014, the 4th SFB 901 seminar in the summer semester will take place.                                                                                                                             We will have two talks in this session: 16:00-16:45 (A3)  Title: Selfish resource sharing and analyzing complex, repeated strategic behavior Speaker: Alexander Skopalik Abstract: In the first part of this talk we introduce the concept of…

On June 30, 2016, Prof. Dr. David Andrews (University of Arkansas) will give a talk about "JIT Run Time Assembly of Hardware Accelerators" in the context of the SFB 901.                                                                                                                                   Abstract:   Reconfigurable Computing (RC) is poised to become part of the mainstream computing narrative. Intel acquired Altera and will soon be…

On June 22, 2016, the 5th SFB 901 seminar in the summer semester will take place.                                                                                                                                 16:00 - 16:45 Title: Provably Robust Networks Speaker: Prof. Dr. Christian Scheideler (TP C1) 17:00 - 17:45 Title: Churn- and DoS-resistant Overlay Networks Based on Network Reconfiguration Speaker: Robert Gmyr (TP C1)

On June 13, 2016, Prof. Dr. Helge Ritter (Bielefeld University)  will give a talk about "Von Fingerspitzengefühl zu mitdenkender Intelligenz - wie technische Systeme zu freundlichen Helfern von morgen werden" in the context of the annual graduation ceremony of the Faculty of Computer Science, Electrical Engineering and Mathematics.…

On June 2, 2016, Prof. Dr. Steffen Zimmermann (University of Innsbruck) will give a talk about "Pricing in C2C Online Sharing Platform" in the context of the SFB 901.                                                                                                                                          Abstract: Online sharing platforms such as Zilok.com or Airbnb.com enable the sharing of durable goods among consumers and seek to maximize…