VIDEO: Welcome to the Isaac Newton Institute

Want to learn all about INI? Here's the best place to start.

Watch now

Dispersive hydrodynamics: mathematics, simulation and experiments

July - December 2022

Learn more about this ongoing programme

New connections in number theory and physics

August - September 2022

Learn more about this ongoing programme

Verified software

July - August 2022

Learn more about this ongoing programme

What's On at INI

Seminars

From Drinfeld-Sokolov bihamiltonian structures to Dubrovin-Frobenius manifolds

11 August 2022 – 11:00 to 12:00

Yassir Dinar Sultan Qaboos University

Concurrency Meeting: When Concurrency Strikes: Behaviour Oriented Concurrency

11 August 2022 – 13:00 to 13:25

Matthew Parkinson Microsoft (UK)

Concurrency Meeting: Idioms for Interactions

11 August 2022 – 13:25 to 13:50

Nobuko Yoshida Imperial College London

Penumbral Moonshine: Relations and Implications 1

11 August 2022 – 14:00 to 15:00

Jeff Harvey University of Chicago

Concurrency Meeting: Generalised Multiparty Session Types with Crash-Stop Failures: Fangyi Zhou

11 August 2022 – 14:10 to 14:35

Fangyi Zhou Imperial College London

Concurrency Meeting: Relaxed virtual memory semantics

11 August 2022 – 15:00 to 15:25

Ben Simner

Concurrency Meeting: Implementing and Verifying Release-Acquire Transactional Memory in C11

11 August 2022 – 16:10 to 16:45

Brijesh Dongol University of Surrey

Concurrency Meeting: Making concurrency functional

12 August 2022 – 09:00 to 09:25

Glynn Winskel University of Cambridge; Cambridge Computer Laboratory

Concurrency Meeting: On the fluidization of Petri nets

12 August 2022 – 09:25 to 09:50

Esti Fraca University College London

Concurrency Meeting: CSP in Practice: Timed Verification of Robot Software

12 August 2022 – 10:10 to 10:35

Matthew Windsor University of York

Concurrency Meeting: Simulating Operational Memory Models

12 August 2022 – 10:35 to 11:00

Dan Iorga Imperial College London

Concurrency Meeting: Parallelising verified HLS

12 August 2022 – 11:20 to 11:45

Yann Herklotz Imperial College London

Current Programmes

INI supports the JUNIPER consortium

1 January 2021 to 31 December 2022

INI supports the JUNIPER consortium

Solidarity for mathematicians

10 March 2022 to 31 December 2024

Solidarity for mathematicians

Verified software

4 July 2022 to 12 August 2022

Verified software

New connections in number theory and physics

1 August 2022 to 23 September 2022

New connections in number theory and physics

Latest News

INI statement on Russia’s attack on Ukraine

10 March 2022

INI statement on Russia’s attack on Ukraine

We are shocked and appalled by the unprovoked attack on Ukraine by Russia and the humanitarian crisis it causes. To help our fellow mathematicians who have become refugees, INI has initiated a Solidarity List to connect those who need and those who can offer help.

STEM for BRITAIN winners announced

8 March 2022

STEM for BRITAIN winners announced

The winners of the Gold, Silver and Bronze medals for mathematics in the annual STEM for BRITAIN awards 2022 were announced yesterday afternoon (7 March 2022) at a prize-giving ceremony at the Houses of Parliament, Westminster.

Celebrating talented young mathematicians at the “STEM for BRITAIN” Parliamentary exhibition – Monday 7 March

1 March 2022

Celebrating talented young mathematicians at the “STEM for BRITAIN” Parliamentary exhibition – Monday 7 March

The Isaac Newton Institute is very proud to be supporting the Parliamentary & Scientific Committee’s STEM for BRITAIN exhibition at the UK Parliament on Monday 7 March.

The Isaac Newton Institute

“A world famous place for research in the mathematical sciences with a reputation for efficient management and a warm welcome for visitors”

The Isaac Newton Institute is a national and international visitor research institute. It runs research programmes on selected themes in mathematics and the mathematical sciences with applications over a wide range of science and technology. It attracts leading mathematical scientists from the UK and overseas to interact in research over an extended period.

INI has a vital national role, building on many strengths that already exist in UK universities, aiming to generate a new vitality through stimulating and nurturing research throughout the country.

During each scientific programme new collaborations are made and ideas and expertise are exchanged and catalysed through lectures, seminars and informal interaction, which the INI building has been designed specifically to encourage.

Supported By