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 […]
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 […]
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 […]
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 […]
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 […]
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 […]
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 […]
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 […]
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 […]
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. […]