HiPEDS CDT Seminar Series with Giorgio Orsi, Senior Research Scientist at Meltwater. Abstract: Data acquisition plays an important role in modern organisations and is a strategic business process for data-driven... Read more »

Abstract: In 1987, Jim Gray and Gianfranco Putzolu introduced the five-minute rule for trading memory to reduce disk I/O using the then-current price-performance characteristics of DRAM and Hard Disk Drives... Read more »

Abstract: Formal verification of software has finally started to become viable: we have examples of formally verified microkernels, realistic compilers, hypervisors etc. These are huge achievements and we can expect... Read more »

Abstract: Large technology companies rely on collecting data from their users to understand their interests, and better customize the company's products. Increasingly, this must be done while preserving individual users' privacy. ... Read more »

Abstract: I will present an overview of some of the open challenges and opportunities for structured data management that are especially relevant for today’s world of Big Data and the... Read more »

Abstract: Many new and exciting things are coming for TensorFlow, to be announced at the Developer Summit on 3/30 in Mountain View. Since this event will have just finished by... Read more »

Abstract: What use is machine learning unless we can turn predictions into decisions? In this talk I'll explain how this idea motivates our strategy at PROWLER.io. I'll explain how different... Read more »

Title: Building Computer Vision Systems That Really Work Speaker: Andrew Fitzgibbon, Microsoft  Andrew Fitzgibbon has been shipping advanced computer vision systems for twenty years. In 1999, prize-winning research from Oxford... Read more »

Title: An IP provider’s perspective on functional safety Speaker: Pete Harrod, Director of Functional Safety at Arm, Cambridge. Royal Academy of Engineering Visiting Professor in Dependable Embedded Computing, Imperial In this talk, Pete will... Read more »

Title: Symbolic Repairs for GR(1) Specifications Speaker: Jan Oliver Ringert, Lecturer in Model-Based Software Development in the Department of Informatics at the University of Leicester Abstract: Reactive synthesis is an automated procedure to... Read more »