Programme

6-8pm Reception for delegates at the University of Greenwich - information will be sent to those registered for the conference

1:00 Welcome and Housekeeping

1:15-2:15 Session 1 - Plenary

1:15    *Joseph Duthie, Durham University, The watchman's walk on dynamic graphs

1:35 *Fred Tyrrell, University of Oxford, New Lower Bounds for Cap Sets

1:55    *Paartha Soni, London School of Economics, Cards and Combinatorics

2:20 -3:00 Session 2

Stream 1

2:20  Veronica Bitonti, University College London, Intellectual Challenges: Algorithms and Undecidable Problems in Group Theory

2:40    Marina Anagnostopoulou-Merkouri, University of St Andrews, Pre-Primitive Permutation Groups

Stream 2

2:20 Ali Aziz, University of Southampton, A Walk Through the Metric Dimension of Graphs 

2:40    Botond Major, University College London, Integration on fractals: Using self-similarity to evaluate singular integrals

3:00-3:30 Networking Opportunity

3:30 -4:30 Session 3 - Plenary

3:30     Maria Esteban Casadevall, Heriot-Watt University, An introduction to machine learning in the Hyperbolic space

3:50     Eleanor Kneip, Imperial College London, The Duality Problem

4:10     Oscar Lewis, Durham University, Toric surfaces in F-theory

4:35-5:15 Session 4

Stream 1

4:35   Sidharth Hariharan, Imperial College London, Proving and Formalising the Existence of a Partial Fraction Decomposition for Certain Fractions of Polynomials

4:55     Anda-Raluca Epure, University College London, The complex plane and beyond - Elliptic and Theta functions

Stream 2

4:35     Katherine Hamilton, University of Nottingham, The Mathematics of Music

4:55     Alastair Fan, University of Greenwich, Definitions Of Tangent Space To Manifold

5:30 Keynote: Professor Edward Frenkel, University of California, Berkeley, Imagination and Knowledge 

6:30-7:00 Networking Opportunity

1:00-1:30 Networking Opportunity

1:30 -2:30 Session 1

Stream 1

1:30 James Hanson, Durham University, Fermion - Qubit mapping: making Quantum Chemistry accessible to Quantum Computing

1:50 Oleksii Babaskin and Varad Kulkarni, University of Glasgow, The Wave Function Collapse Algorithm

2:10 Ben Snodgrass, Durham University, How to 'land' a warp drive

Stream 2

1:30 James Thorn, University of Southampton, The group of rational points on the unit circle

1:50 Stan Harrison, Durham University, Diverse Varieties of Techniques in Additive Combinatorics

2:10 William Stephenson, University of Leeds, Group Actions on Binary Quartic Forms: How to bound the rank of an Elliptic Curve?

2:40-3:40              Session 2

Stream 1

2:40 Bingheng Yang, University College London, The Dirichlet problem and Perron’s solution

3:00 Maya Al Saadi, University of Greenwich, From East to West, Travelling Through Mathematical History: A Search for the Origin

3:20 Eilis Meldrum-Dolan, University of Greenwich, Incorrect Pattern recognition and mathematics education

Stream 2

2:40 Toby Lam, University of Oxford, Showing preservation of properties under multiplication via difference of squares

3:00 Yujing Xing, University College London, The Google PageRank Algorithm

3:20 Jiguang Yu, University College London, The relationship between probability and integrals with “sinc” function

3:40-4:00 Networking Opportunity

4:00-5:00              Session 3

Stream 1

4:00 Jiale Miao, Imperial College London, Formalizing Ostrowski’s theorem in Lean

4:20 Adil Raza, University of Kent, Mordell's Equations, Formalised

4:40 Yaël Dillies, University of Cambridge, The EGZ theorem: A mathematical library tale

Stream 2

4:00 Alice Kukuruzovic, University of Huddersfield, Mathematical Modelling of Coffee Brewing

4:20 Abbie Marsh, University of Bath, Theatrical Mathematics: Mathematical modelling of the effects of Covid and theatres

4:40 Katerina Michenina, London School of Economics, Stochastic modelling of climate change: From Hasselmann to contemporary research

5:15 Award of IMA Prize for the Best Presentation

5:30 Keynote: Professor Sarah Hart, Birkbeck, University of London, A Mathematical Journey through Literature 

6:30-7:00 Networking Opportunity and End of Conference