Event Archive – all

Nov
19

Galileo Sartor: Representing and reasoning with legal aspects of traffic rules for autonomous vehicles

On 19th November 2024 at 2:00 pm

Theory Lab, Computational Foundry

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.

Nov
13

Prof. Martin Johnes: What is Wales? A History Talk

On 13th November 2024 at 2:00 pm

002, Computational Foundry

Martin Johnes is Professor of Modern History and specialises in the histories of Wales and popular culture in modern Britain. His latest book is Welsh Not: Elementary Education and the Anglicization of 19th Century Wales, which will be published in 2024. It is the first academic study of the infamous Welsh Not and examines how the Welsh language was treated and viewed in schools in the nineteenth century.

Oct
29

Benjamin Koch: Introduction to Effective Fractal Dimension

On 29th October 2024 at 2:00 pm

The purpose of this talk is to give an overview of effective fractal dimension

Oct
15
Oct
11
Oct
02

Robert Bismuth in International Seminar Series

On 2nd October 2024 at 12:00 pm
Jun
04
May
13

Agda Implementors Meeting

From 13th May 2024 12:00 am to 18th May 2024 12:00 am