VIDEO: Welcome to the Isaac Newton Institute

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

Watch now

Mathematical aspects of turbulence: where do we stand?

January - June 2022

Learn more about this ongoing programme

Frontiers in kinetic theory: connecting microscopic to macroscopic scales

January - June 2022

Learn more about this ongoing programme

K-theory, algebraic cycles and motivic homotopy theory

May - July 2022

Learn more about this ongoing programme

Groups, representations and applications: new perspectives

May - July 2022

Learn more about this ongoing programme

What's On at INI

Seminars

Cooperative Verification: Combination Approaches that Share Information

7 July 2022 – 09:30 to 10:30

Dirk Beyer Ludwig-Maximilians-Universität München

In Defense of Software Testing & On Techniques for Continuous Testing

7 July 2022 – 11:00 to 12:00

Cristian Cadar Imperial College London

Wrestling with real systems

7 July 2022 – 13:30 to 14:30

Peter Sewell University of Cambridge

Vistas in Proof-oriented Programming: F*, Everest, and Beyond

7 July 2022 – 14:30 to 15:30

Nikhil Swamy Microsoft (USA)

Contributed Talks

7 July 2022 – 16:00 to 17:00

Unisingular irreducible representations of finite groups of Lie type in the natural characteristic

7 July 2022 – 16:00 to 17:00

Alexandre Zalesski University of East Anglia

Automatic Detecting Billion $ Coding Errors with Static Program Analysis

8 July 2022 – 09:30 to 10:30

Mooly Sagiv Tel Aviv University

Interpreters for Free

8 July 2022 – 11:00 to 12:00

Philip Wadler University of Edinburgh

Static Analysis for Data Scientists

8 July 2022 – 13:30 to 14:30

Caterina Urban INRIA

TBA

8 July 2022 – 14:30 to 15:30

Thomas Henzinger IST Austria

CN: A separation-logic refinement type system for production systems code verification

8 July 2022 – 16:00 to 17:00

Neel Krishnaswami University of Cambridge

Whitham modulation theory and water waves

11 July 2022 – 10:00 to 11:00

Thomas Bridges University of Surrey

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

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