L1

THIS TALK HAS BEEN CANCELLED

Please register here

[[{"fid":"55536","view_mode":"preview","fields":{"format":"preview"},"link_text":"Program.pdf","type":"media","field_deltas":{"4":{"format":"preview"}},"attributes":{"class":"media-element file-preview","data-delta":"4"}}]]

[[{"fid":"55364","view_mode":"embedded_landscape_image_full_width","fields":{"format":"embedded_landscape_image_full_width","field_file_image_alt_text[und][0][value]":false,"field_file_image_title_text[und][0][value]":false},"type":"media","field_deltas":{"1":{"format":"embedded_landscape_image_full_width","field_file_image_alt_text[und][0][value]":false,"field_file_image_title_text[und][0][value]":false}},"attributes":{"class":"media-element file-embedded-landscape-image-full-width","data-delta":"1"}}]]

OCIAM was created in 1989, when Alan Tayler, the first director, moved with a group of applied mathematicians into the annex of the Mathematical Institute in Dartington House.

To celebrate our 30th anniversary we have invited twenty speakers, all of whom have spent time in OCIAM, to talk on some of the many aspects of work generated by the group.

This programe will build on the success of ‘Mathematics in the Spirit of Joe Keller’, hosted by the Isaac Newton Institute, Cambridge in 2017.

Programme

The scientific talks commence on Monday 24th June and finish early afternoon on Tuesday 25th June, with lunch served on both days.

There will be a conference dinner on Monday evening at Somerville College, and on Tuesday afternoon the Mathematical Institute cricket match and BBQ at Merton College Pavilion, to which everyone is invited.

For our popular Christmas lecture this year Chris Budd will give a seasonal talk with a number of light hearted applications of mathematics to the
festive season. 

Chris is currently Professor of Applied Mathematics at the University of Bath, and Professor of Geometry at Gresham College. He is a passionate populariser of mathematics and was awarded an OBE in 2015 for services to science and maths education.

Please email @email to register.

Watch live:

https://www.facebook.com/OxfordMathematics/
https://livestream.com/oxuni/Budd

The Oxford Mathematics Public Lectures are generously supported by XTX Markets.

Oxford Mathematics Public Lectures together with the Simonyi Science Show:

Will a computer ever compose a symphony, write a prize-winning novel, or paint a masterpiece? And if so, would we be able to tell the difference?

In The Creativity Code, Marcus du Sautoy examines the nature of creativity, as well as providing an essential guide into how algorithms work, and the mathematical rules underpinning them. He asks how much of our emotional response to art is a product of our brains reacting to pattern and structure. And might machines one day jolt us in to being more imaginative ourselves?

Marcus du Sautoy is Simonyi Professor for the Public Understanding of Science in Oxford.

6-7pm
Mathematical Institute
Oxford

Please email @email to register.

Watch live:
https://facebook.com/OxfordMathematics
https://livestream.com/oxuni/du-Sautoy2

The Oxford Mathematics Public Lectures are generously supported by XTX Markets.

The supreme task of the physicist, Einstein believed, was to understand the 'miraculous' underlying order of the universe, in terms of the most basic laws of nature, written in mathematical language. Most physicists believe that it's best to seek these laws by trying to understand surprising new experimental findings. Einstein and his peer Paul Dirac disagreed and controversially argued that new laws are best sought by developing the underlying mathematics.

Graham will describe how this mathematical approach has led to insights into both fundamental physics and advanced mathematics, which appear to be inextricably intertwined. Some physicists and mathematicians believe they are working towards a giant mathematical structure that encompasses all the fundamental laws of nature. But might this be an illusion? Might mathematics be leading physics astray?

Graham Farmelo is a Fellow at Churchill College, Cambridge and the author of 'The Strangest Man,' a biography of Paul Dirac.

5.00pm-6.00pm
Mathematical Institute
Oxford

Please email @email to register.

Or watch live:

https://www.facebook.com/OxfordMathematics/
https://livestream.com/oxuni/farmelo

The Oxford Mathematics Public Lectures are generously supported by XTX Markets.

Speaker 1: Pawan Kumar
Title: Neural Network Verification
Abstract: In recent years, deep neural networks have started to find their way into safety critical application domains such as autonomous cars and personalised medicine. As the risk of an error in such applications is very high, a key step in the deployment of neural networks is their formal verification: proving that a network satisfies a desirable property, or providing a counter-example to show that it does not. In this talk, I will formulate neural network verification as an optimization problem, briefly present the existing branch-and-bound style algorithms to compute a globally optimal solution, and highlight the outstanding mathematical challenges that limit the size of problems we can currently solve.

Speaker 2: Samuel Albanie
Title: The Design of Deep Neural Network Architectures: Exploration in a High-Dimensional Search Space
Abstract: Deep Neural Networks now represent the dominant family of function approximators for tackling machine perception tasks. In this talk, I will discuss the challenges of working with the high-dimensional design space of these networks. I will describe several competing approaches that seek to fully automate the network design process and the open mathematical questions for this problem.