How do you grow rice faster?

Series

Embed

3 billion people depend on rice for survival & owing to predicted population increases, land that provided enough rice to feed 27 people in 2010 will need to support 43 by 2050. In this week's podcast episode we ask: how do you grow rice faster?

Currently over three billion people depend on rice for survival, and, owing to predicted population increases and a general trend towards urbanisation, land that provided enough rice to feed 27 people in 2010 will need to support 43 by 2050.
In the hopes of meeting the food needs of billions of people around the world, scientists have taken a major step towards creating a 'supercharged' strain of rice!
In this week’s Big Questions podcast we visited Jane Langdale, Professor of Plant Development at the University of Oxford, and is the current coordinator of the C4 Rice Project, to ask: How do you grow rice faster?

Episode Information

Series

Big Questions - with Oxford Sparks

People

Keywords

Department: Mathematical, Physical and Life Sciences (MPLS)

Date Added: 11/07/2018

Duration: 00:11:29

Download

Navayana Buddhism and Nationalism: Reading Dr B R Ambedkar

Series

Asian Studies Centre

Embed

Thahir Jamal Kiliyamannil and Manasi Mohanan Sushama speak at the 'Interrogating Buddhism and Nationalism' workshop 28 January 2018.

Episode Information

Series

Asian Studies Centre

People

Thahir Jamal Kiliyamannil

Manasi Mohanan Sushama

Keywords

Department: St Antony's College

Date Added: 11/07/2018

Duration: 00:19:29

Download

The Production of Buddhist-Violence in Sri Lanka: A Reading through the Development of the Idea of Holy City of Anuradhapura in the Early-Twentieth Century

Series

Asian Studies Centre

Embed

Pradeep Sangapala and Nihal Perera speak at the 'Interrogating Buddhism and Nationalism' workshop 28 January 2018.

Creative Commons Licence

Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series

People

Keywords

Department: St Antony's College

Date Added: 11/07/2018

Duration: 00:18:29

Download

Partha Mitter in conversation with Mallica Kumbera Landrus

Series

Asian Studies Centre

Embed

Partha Mitter and Mallica Kumbera Landrus speak at the Art of Independence Conference on 12 October 2018.

Creative Commons Licence

Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series

Asian Studies Centre

People

Partha Mitter

Mallica Kumbera Landrus

Keywords

Department: St Antony's College

Date Added: 10/07/2018

Duration: 00:19:26

Download

Continuous Reasoning: Scaling the impact of formal methods

Series

Federated Logic Conference (FLoC) 2018

Embed

Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of the most elusive.

There has been a tremendous amount of valuable research in formal methods, but rarely have formal reasoning techniques been deployed as part of the development process of large industrial codebases.

This talk describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers. We describe our experience using continuous reasoning with large, rapidly changing codebases at Facebook, and we describe open problems and directions for research for the scientific community.

This a paper with the same title accompanying this talk appears in the LICS’18 proceedings.

Creative Commons Licence

Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK (BY-NC-SA): England & Wales; https://creativecommons.org/licenses/by-nc-sa/2.0/uk/

Episode Information

Series

Federated Logic Conference (FLoC) 2018

People

Peter O'Hearn

Keywords

floc

computer science

Department: Department of Computer Science

Date Added: 10/07/2018

Duration: 00:53:19

Download

Federated Logic Conference (FLoC) 2018

DO NOT EDIT OR REMOVE THIS IMAGE -- CLICK 'X' TO CLOSE

During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.

In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

Since 1996, the Federated Logic Conference has brought together several international conferences related to mathematical logic and computer science, along with plenaries, invited talks, tutorial days and over 70 workshops.