During this talk, I report on progress we have made towards formalising Algebraic Quantum Field Theory (AQFT) and present formalisations in the theories of manifolds, Lie groups, and involutive algebras. I will outline a plan to quickly obtain a minimal formalisation of AQFT, suitable for the study of theorems with physical interpretation.
Speaker: Richard Schmoetten

This presentation will presentan assessment of the feasibility of predicting brain health outcomes from sleep duration derived using accelerometery data from UK Biobank.
Speaker: Matt Whelan