Understanding Processes

Date: 22nd April 2022
Time: 14:---16:00
Title: Understanding Processes Speaker: Filip Smola Abstract: In this talk I will give a high-level overview of my work on mechanising linear resources and process models. I will focus on what we can express and do with these models rather than how the mechanisation is set up. This includes how we can use specific kinds […]

Continue Reading →

Challenges in predicting rehabilitation requirements for older patients

Date: 8th April 2022
Time: 14:00-14:30
Title: Challenges in predicting rehabilitation requirements for older patients Speaker: Konstantin Georgiev Abstract: An ageing population is a major success of modern healthcare, but this challenges the NHS to better support increasingly frail hospitalisations. One third of older people acquire a new disability by discharge, leaving hospital with less independence than before getting ill. Rehabilitation […]

Continue Reading →

Neurosymbolic AI for Reasoning on Graph Structures

Date: 25th March 2022
Time: 14:00-16:00
Title: Neurosymbolic AI for Reasoning on Graph Structures Speaker: Lauren DeLong Abstract: In this short talk, I'll present my idea for a survey paper on using neurosymbolic methods for reasoning on graph structures. Neurosymbolic methods are increasing in popularity as they combine the scalability and performance of neural network-based methods with the interpretability of symbolic […]

Continue Reading →

Sensing Enhancement on Complex Networks

Date: 25th March 2022
Time: 14:00-16:00
Title: Sensing Enhancement on Complex Networks Speaker: Guillermo Moreno Abstract: Sensing and processing information about uncertain environments is important for survival in many types of collectives in the animal world as well as in human populations. Refining information about a complex dynamic environment is particularly important if individuals' sensing abilities are limited or information is […]

Continue Reading →

Using Explainable AI to Investigate Persistent Critical Illness

Date: 25th February 2022
Time: 14:00-16:00
Title: Using Explainable AI to Investigate Persistent Critical Illness Speaker: Scott O’Donoghue Abstract:  Explainable AI (XAI) techniques are now used extensively to build trust in machine learning models, but can they also be used to evaluate or add to scientific theories in the medical domain? In this project we attempt to use XAI techniques to evaluate […]

Continue Reading →

AIML 3-minute thesis competition

Date: 10th February 2022
Time: 14:00-16:00
Speaker: Mark Chevallier Title: You can survive the maze of death Abstract: Every turn you take in the maze of death might lead to fortune or disaster. And you don't know which way to go! But we can prove, beyond any doubt, that by following some simple rules, you will be able to learn the […]

Continue Reading →

Lagrangian Mechanics in Isabelle/HOL

Date: 28th January 2022
Time: 14:00-16:00
Title: Lagrangian Mechanics in Isabelle/HOL Speaker: Dawson Silkenat Abstract:  Mechanics is an incredibly important branch of physics which describes motion of and interaction between particles in a system. It is widely applied in engineering fields and has a large historic role in our understanding of how the universe works. In my project I seek to […]

Continue Reading →

Practical Ethics and the Need for Interpretability in Biomedical AI

Date: 28th January 2022
Time: 14:00-16:00
Title: Practical Ethics and the Need for Interpretability in Biomedical AI Speaker: Abstract:  I plan to submit a short essay on the need for​ interpretability in biomedical AI to the Oxford Uehiro Prize in Practical Ethics essay competition. Practical Ethics is the dialog and debate between three major facets of ethics: egoism, which is the […]

Continue Reading →

Increasing User Engagement on the Archive of Formal Proofs

Date: 28th January 2022
Time: 14:00-16:00
Title: Increasing User Engagement on the Archive of Formal Proofs Speaker: Carlin Mackenzie Abstract:  The first part of this project focused on creating a strong foundation for future development on the Archive of Formal Proofs. We now add features which encourage community growth. For example, the addition of comments allows people to discuss entries and […]

Continue Reading →

Mechanising Newtonian Mechanics in Isabelle

Date: 28th January 2022
Time: 14:00-16:00
Title: Mechanising Newtonian Mechanics in Isabelle Speaker: Lars Werne Abstract:  The Isabelle Theorem Prover is an interactive framework for developing formal mathematical theories that checks proofs for validity using the rules of Higher Order Logic. In my talk, I will present the state of my project on the mechanisation of Newtonian mechanics using this framework. […]

Continue Reading →