Upcoming events

In this talk, Galileo will give an overview of a modular system for representing and reasoning with legal aspects of traffic rules for autonomous vehicles.

We focus on a subset of the United Kingdom’s Highway Code (HC) related to junctions.
As human drivers and automated vehicles (AVs) will interact on the roads, especially in urban environments, we claim that an accessible, unitary, high-level computational model should exist and be applicable to both users.

We all know what we SHOULD have ready, and what to do.  But reality will include untested plans, egos and the pressures to get a business up and running. This will give a first-hand account of a Ransomware attack and the, many, lessons learned.

Humans vary considerably from one another– with each of us having an idiosyncratic, subjective viewpoint.  How inter-individual variation in behaviour relates to diversity in brain function is poorly understood. In my talk, I will focus on brain-fingerprints, a set of functional neuroimaging features that reliably distinguish individuals from one another.  I will describe work from my PhD studies at McGill University on brain-fingerprinting and its application to clinical and cognitive neuroscience.

Research on the semantics of programming language has tended towards formalisation. Following the successful deployment and myriad uses of formal syntax, many of those working on semantics assumed similar successes would be realised with formal semantics. The reality was different, and the resultant language specifications were large, complicated, technical artefacts.  My previous historical research has studied those from a technical perspective.