Foreword

– Avoid stereotyping. Journalists should examine the ways their values and experiences may shape their reporting. We need to ask how values are built into these systems and what are

ALEXANDRIA is a new ERC project at the University of Cambridge led by Lawrence Paulson aiming at the creation of a proof development environment for working mathematicians through

Cyber physical systems (CPS) areubiquitous in various safety and mission critical domains including medical devices, avionics and au- tonomous driving systems. The verification of

If software engineers are to take those principles account while engineering the requirements and design of their systems, we will see a significant shift towards more

This presentation will describe conceptual frameworks for researching, designing, and evaluating such systems for sustainability, known as the Persuasive Systems Design

I will first present how to learn conceptual space representations from data, and then introduce some inductive reasoning techniques that use conceptual spaces together with

In the recent years we are witnessing a dominance of deep neural net- work learning approach in the machine learning field. Eventhough the neural network concept is more than 50

When formalizing a mathematical development with an interactive prover, it is helpful if the user can interface with a library (to avoid starting from scratch) and with