Over 4000 free audio and video lectures, seminars and teaching resources from Oxford University.
Skip to Content Skip to Navigation

Mathematical, Physical and Life Sciences (MPLS)

The Mathematical, Physical and Life Sciences (MPLS) Division is one of the four academic divisions of the University of Oxford. We have over 6,000 students and research staff, and generate over half of our funding from external research grants.
The MPLS Division's 10 departments and 3 interdisciplinary units span the full spectrum of the mathematical, computational, physical, engineering and life sciences, and undertake both fundamental research and cutting-edge applied work. Our research addresses major societal and technological challenges and is increasingly interdisciplinary in nature. We collaborate closely with colleagues in Oxford across the medical sciences, social sciences and humanities.
Today's scientific research not only crosses traditional subject boundaries, but also transcends national boundaries: MPLS scientists collaborate with researchers from around the world, and play leading roles in many international projects.

Series associated with Mathematical, Physical and Life Sciences (MPLS)

A Mathematician's Holiday
Ada Lovelace Symposium - Celebrating 200 Years of a Computer Visionary
Big Questions - with Oxford Sparks
Building a Business: Moving Your Product to the Market
Caging Schrödinger's Cat - Quantum Nanotechnology
Careers in Chemistry: Academia
Careers in Chemistry: Beyond Academia
Chemistry for the Future: Clean Energy
Chemistry for the Future: Human Health
Chemistry for the Future: Incredible Machines
Chemistry for the Future: Meet the Scientists
Chemistry for the Future: Solar Fuels
Chemistry for the Future: Strange Substances and Structures
Chemistry Spotlight Lectures
Christmas Science Lectures
Computer Science
Cultural Heritage Forum
Darwin 200
Department of Engineering Science Centenary Lectures
Department of Engineering Science Lectures
Department of Materials
Department of Statistics
Earth Sciences
Exploring Spoken Word Data in Oral History Archives
Federated Logic Conference (FLoC) 2018
Hinshelwood Lectures 2018 - Soft Interfaces: A Journey Across Scales
Inside Oxford Science
International Conference on Functional Programming 2017
Mathematical Institute
Musical Abstracts
Open Science
Oxford Physics Academic Lectures
Oxford Physics Public Lectures
Oxford Physics Research
Oxford Physics Short Talks & Introductions
Oxford Sparks: bringing science to life
Quantum Mechanics
Scientific Computing for DPhil Students
So you want to study Chemistry?
Stargazing
Strachey 100: an Oxford Computing Pioneer
Study Skills
Sutton Trust Chemistry Summer School
The Hinshelwood Lectures: Bioinspired Materials
The Medtronic Lectures in Biomedical Engineering
The Oxford Reproducibility School
The Oxford Solid State Basics
The Physics of Fine-Tuning
The Secrets of Mathematics
The World of Art
Theoretical Physics - From Outer Space to Plasma
# Episode Title Description People Date
1 Oxford Mathematics Public Lectures: Graham Farmelo - The Universe Speaks in Numbers An old-fashioned tale of tale of romance and estrangement, of hope and despair. Graham Farmelo 21 May 2019
2 ... from collisions to the Higgs boson To study the Higgs boson at the LHC we also need to understand how highly energetic quarks and gluons interact, among themselves and with the Higgs. Fabrizio Caola 16 May 2019
3 From protons to collisions… We learn about the Higgs Boson and its interactions at the LHC by examining the debris produced by colliding protons head-on at unprecedented high energies. Lucian Harland-Lang 16 May 2019
4 What the Large Hadron Collider is telling us about the Higgs sector and its new interactions Over the past two years, CERN’s Large Hadron Collider (LHC) has started to directly probe a qualitatively new class of interactions, associated with the Higgs boson. Gavin Salam 16 May 2019
5 Oxford Mathematics 1st Year Student Lecture: Analysis III - Integration The third in our popular series of filmed student lectures takes us to Integration. This is the opening lecture in the 1st Year course. Ben Green 09 May 2019
6 The oldest light in the Universe In this short stargazing talk, Luke Jew looks at the topic - The oldest light in the Universe. Luke Jew 05 Apr 2019
7 Strachey Lecture - Doing for our robots what evolution did for us Professor Leslie Kaelbling (MIT) gives the 2019 Stachey lecture. The Strachey Lectures are generously supported by OxFORD Asset Management. Leslie Kaelbling 29 Mar 2019
8 The brief history of the Universe Sergio Martin describes the evolution of the Universe. Sergio Martin 22 Mar 2019
9 Oxford Mathematics Public Lectures: Marc Lackenby - Knotty Problems Knots are a familiar part of everyday life, for example tying your tie or doing up your shoe laces. They play a role in numerous physical and biological phenomena, such as the untangling of DNA when it replicates. Marc Lackenby 20 Mar 2019
10 Electron Paramagnetic Resonance - Past, Present and Future Professor Mark Newton describes some of the key events in the discovery and development of Electron Paramagnetic Resonance (EPR). Mark Newton 18 Mar 2019
11 Creative Commons All the dark we cannot see - the state of the art in direct searches for particle dark matter Professor Laura Baudis, University of Zurich, discusses the nature of dark matter. Laura Baudis 18 Mar 2019
12 Oxford Mathematics First Year Student Tutorial on Dynamics The Oxford Mathematics educational experience is a journey, a journey like any other educational experience. Ian Hewitt, Kate Adams, Farid Manzoor 22 Feb 2019
13 Why the world is simple - Prof Ard Louis The coding theorem from algorithmic information theory (AIT) - which should be much more widely taught in Physics! - suggests that many processes in nature may be highly biased towards simple outputs. Ard Louis 15 Feb 2019
14 Topology in Biology - Prof Julia Yeomans FRS Active systems, from cells and bacteria to flocks of birds, harvest chemical energy which they use to move and to control the complex processes needed for life. Julia Yeomans 15 Feb 2019
15 Welcome from the Head of the Physics Department Ian Shipsey delivers the welcome speech for the Saturday Mornings of Theoretical Physics. Ian Shipsey 15 Feb 2019
16 Oxford Mathematics 1st Year Undergraduate Lecture James Sparks - Dynamics For the first time ever, Oxford Mathematics has live streamed a student lecture. It took 800 years but now you can see what it is really like. We hope you find it familiar and intriguing and challenging. James Sparks 15 Feb 2019
17 James Maynard - Prime Time: How simple questions about prime numbers affect us all Prime Numbers are fascinating, crucial and ubiquitous. The trouble is, we don't know that much about them. James Maynard, one of the leading researchers in the field explains all (at least as far as he can). James Maynard 15 Feb 2019
18 Oxford Mathematics Public Lectures: Hooke Lecture - Michael Berry - Chasing the dragon: tidal bores in the UK and elsewhere In some of the world’s rivers, an incoming high tide can arrive as a smooth jump decorated by undulations, or as a breaking wave. The river reverses direction and flows upstream. Michael Berry 28 Jan 2019
19 Oxford Mathematics Student Lectures: An Introduction to Complex Numbers - Vicky Neale Much is written about life as an undergraduate at Oxford but what is it really like? Vicky Neale 22 Jan 2019
20 Oxford Mathematics Public Lectures: Marcus du Sautoy - The Num8er My5teries With topics ranging from prime numbers to the lottery, from lemmings to bending balls like Beckham, Professor Marcus du Sautoy provides an entertaining and, perhaps, unexpected approach to explain how mathematics can be used to predict the future. Marcus du Sautoy 14 Jan 2019
21 Strachey Lecture - Steps Towards Super Intelligence Why has AI been so hard and what are the problems that we might work on in order to make real progress to human level intelligence, or even the super intelligence that many pundits believe is just around the corner? Rodney Brooks 20 Dec 2018
22 Entropy from Entanglement Siddharth Parameswaran, Associate Professor, Physics Department. Siddharth Parameswaran 03 Dec 2018
23 Entropy: two short stories John Chalker, Head of Theoretical Physics, gives a talk on entropy. John Chalker 03 Dec 2018
24 Entropy: Gaining Knowledge by Admitting Ignorance Alexander Schekochihin, Professor of Theoretical Physics, gives a talk on entropy. Alexander Schekochihin 03 Dec 2018
25 The Quantum and the Cosmos The 17th Hintze Lecture, given by Professor Rocky Kolb, Arthur Holly Compton Distinguished Service Professor of Astronomy and Astrophysics, The University of Chicago. Rocky Kolb 14 Nov 2018
26 Can we build AI with Emotional Intelligence? The 2018 Annual Charles Simonyi Lecture Marcus du Sautoy and Professor Rosalind Picard for 2018's annual Simonyi Lecture: Can we build AI with Emotional Intelligence? Marcus du Sautoy, Rosalind Picard 09 Nov 2018
27 Roger Penrose in conversation with Hannah Fry - Oxford Mathematics Public Lectures In our Oxford Mathematics London Public Lecture Roger Penrose in conversation with Hannah Fry reveals his latest research, a veritable chain reaction of universes, which he says has been backed by evidence of events that took place before the Big Bang. Roger Penrose, Hannah Fry 06 Nov 2018
28 The Search for Life on Earth, In Space and Time Dr James Green, current Chief Scientist of NASA gives a talk on the how life may be distributed on Earth and in the Solar System with consideration of the age of our sun. James Green 29 Oct 2018
29 Oxford Mathematics and the Clay Mathematics Institute Public Lectures: Roger Penrose - Eschermatics In this lecture Roger Penrose uses M.C Escher's work to illustrate and explain important mathematical ideas and their connections to the visual arts. Roger Penrose 01 Oct 2018
30 An Outdoor Pause: Skipping Stones, Splashes (and some tea to conclude) The 6th and final session of the Hinshelwood 2018 chemistry lecture series Lydéric Bocquet 20 Sep 2018
31 Ski Friction and the Alchemy of Waxing The 5th session of the 2018 Hinshelwood lecture series Lydéric Bocquet 20 Sep 2018
32 John Ball in conversation with Alain Goriely John Ball is retiring as Sedleian Professor of Natural Philosophy, Oxford oldest Scientific Chair. In this interview he charts the journey of the Applied Mathematician.as the subject has developed over the last 50 years. John Ball, Alain Goriely 27 Jul 2018
33 Ethics and Morality of Robotics The future of robotics raises important questions for humanity. Judy Wajcman, Sandra Wachter, Francesca Rossi, Ben Kuipers 18 Jul 2018
34 Creative Commons Formal Reasoning about the Security of Amazon Web Services Amazon Web Services (AWS) uses and develops tools based on formal verification to reason about the security of AWS itself, as well as the security of systems that customers build on AWS. Byron Cook 18 Jul 2018
35 Creative Commons The Logic of Real Proofs George Gonthier delivers a lecture at FLoc2018 George Gonthier 16 Jul 2018
36 Looking Backward; Looking Forward An invited talk by the Emeritus Hillman University Professor of Computer Science, Philosophy and Mathematical Logic at Carnegie Mellon University at FLoC2018 Dana Scott 13 Jul 2018
37 Pseudo deterministic algorithms and proofs In this talk I will describe what is known about pseudo-deterministic algorithms in the sequential, sub-linear and parallel setting. Shafi Goldwasser 13 Jul 2018
38 How do you grow rice faster? 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? Jane Langdale 11 Jul 2018
39 Unifying Logic and Probability: the BLOG Language Logic and probability are ancient subjects whose unification holds significant potential for the field of artificial intelligence. Stuart Russell 10 Jul 2018
40 Creative Commons Continuous Reasoning: Scaling the impact of formal methods 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. Peter O'Hearn 10 Jul 2018
41 Oxford Mathematics Public Lectures - Richard James - Atomistically inspired origami The World population is growing at about 80 million per year. As time goes by, there is necessarily less space per person. Perhaps this is why the scientific community seems to be obsessed with folding things. Richard James 06 Jul 2018
42 Networked Quantum Information Technologies This talk reviews the developments in quantum information processing. Dominic O'Brien 06 Jul 2018
43 Quantum logic with trapped-ion qubits This talk reviews testing and developing ideas in quantum computing using laser-manipulated trapped ions. David Lucas 06 Jul 2018
44 The ultimate limits of privacy and randomness...for the paranoid ones This talk explains how qubits are used to represent numbers in a way that permits 'quantum-mechanical parallel' computing. Artur Ekert 06 Jul 2018
45 “Open” Quantum Systems This talk reviews how to deal with quantum systems that are coupled to the outside world, as in reality all systems are. Fabian Essler 06 Jul 2018
46 Quantum Systems from Group up This talk reviews the modern formulation of the basic ideas of quantum mechanics. James Binney 06 Jul 2018
47 How do we find planets around other stars? The 3rd Wetton lecture, 19th June 2018 delivered by Professor David W. Hogg, Center for Cosmology and Particle Physics, New York University David W Hogg 02 Jul 2018
48 Is there a faster way to diagnose Tuberculosis? Tuberculosis is still one of the top ten causes of death worldwide, with 1.4 million people dying from TB in 2015. If your doctor suspects you have the disease it can take up to 6 weeks to get a diagnosis! Philip Fowler 26 Jun 2018
49 How do you teach a robot social cues? As robots are increasingly deployed in settings requiring social interaction we asked the Big Question: How do you teach a robot social cues? To find out we visited Shimon Whiteson, Associate Professor at the Department of Computer Science Shimon Whiteson 19 Jun 2018
50 Creative Commons Bubble Acoustics: from listening to the ocean to cleaning medical devices and fighting antimicrobial and antibiotic resistance. By understanding how bubbles make sound, we can listen to the ocean, and track the >1 billion tonnes of atmospheric carbon that transfers between atmosphere and ocean annually when ocean waves break and trap atmospheric gas under the sea. Timothy Leighton 05 Jun 2018
51 Creative Commons The Awesome Acoustic Bubble A mini lecture recorded as part of the Maurice Lubbock Memorial Event Ronald Roy 05 Jun 2018
52 Creative Commons The Use of Ultrasound Mediated Cavitation to Enhance the Delivery of Cancer Therapies A mini lecture recorded as part of the 44th Maurice Lubbock Memorial Event Robert Carlisle 05 Jun 2018
53 Can you stop Alzheimer’s before it even starts? Alzheimer's, is a chronic neurodegenerative disease that usually starts slowly and worsens over time. In this podcast episode we ask: Can you stop Alzheimer's before it even starts? Jennifer Lawson 31 May 2018
54 Oxford Mathematics Public Lectures - Numbers are Serious but they are also Fun - Michael Atiyah Archimedes, who famously jumped out of his bath shouting "Eureka", also 'invented' the number pi. Euler invented e and had fun with his formula e^(2 pi i) = 1. The world is full of important numbers waiting to be invented. Why not have a go? Michael Atiyah 23 May 2018
55 Creative Commons The Quest for Nearby Habitable Worlds The 16th Hintze lecture, 25th April 2018 delivered by Professor René Doyon, Director, Mont-Mégantic Observatory & Institute for Research on Exoplanets, University of Montreal, Canada Rene Doyon 22 May 2018
56 What is antimatter? What is antimatter? Antimatter was one of the most exciting physics discoveries of the 20th century, and has since been picked up by fiction writers such as Dan Brown. But what exactly is it? Donal Hill 17 May 2018
57 Interfacial Transport: from Colloid Transport to Active Matter 4th lecture in the 2018 Hinshelwood lecture series delivered by Professor Lydéric Bouquet, Directeur de Recherche, CNRS, and Professor of Physics, Ecole Normale Supérieure, Paris Lydéric Bocquet 04 May 2018
58 Can you cure HIV? HIV isn’t a death sentence anymore. People can live long lives with the virus in their body, as long as they have the right combination of drugs. But some researchers want to take the fight against HIV and AIDS even further... John Frater 02 May 2018
59 Playing with Osmosis: Kidney Filtration, Active Sieving and Energy Harvesting 3rd Lecture in the 2018 Hinshelwood lecture series, with Professor Lyderic Bocquet, Directeur de Recherche, CNRS, and Professor of Physics, Ecole Normale Superieure, Paris Lydéric Bocquet 01 May 2018
60 Flows at Nanoscales, from Exotic Transport to Ionic Machines 2nd lecture in the 2018 Hinshelwood lecture series delivered by Professor Lyderic Bouquet, Directeur de Recherche, CNRS, and Professor of Physics, Ecole Normale Superieure, Paris Lydéric Bocquet 01 May 2018
61 General introduction: Soft Interfaces and Scales Slippery Roads of Hydrodynamic Slippage 1st Lecture in the 2018 Hinshelwood lecture series, with Professor Lyderic Bocquet, Directeur de Recherche, CNRS, and Professor of Physics, Ecole Normale Superieure, Paris. Lydéric Bocquet 30 Apr 2018
62 Fine-Tuning Discussion Simon Friederich, Natalja Deng, and Erik Curiel participate in a roundtable discussion addressing questions around probability, fine-tuning, and arguments for a multiverse or deity. Simon Friederich, Natalja Deng, Erik Curiel 24 Apr 2018
63 Erik Curiel: Measure, Topology, and Probability in Cosmology. Erik Curiel explains the challenges in making assessments of probability by making assumptions about the space of universes--or cosmological models--that our theories allow. Erik Curiel 24 Apr 2018
64 Natalja Deng: What Kind of Fine-Tuner? Natalja Deng discusses whether the apparent fine-tuning of the universe for life can be evidence for a divine creator. Natalja Deng 24 Apr 2018
65 Simon Friederich: Fine-Tuning for Life in the Universe, A Panoramic View Simon Friederich reviews the challenges that arise in using empirical evidence that the universe is tuned for life to evaluate multiverse hypothesis. Simon Friederich 24 Apr 2018
66 Evidence in the Multiverse Erik Curiel and Simon Friederich hash out the problems we encounter when we look for evidence of a multiverse. Erik Curiel, Simon Friederich 24 Apr 2018
67 The Hard Fact of Life in Big Physics City How similar is the fine-tuning of our universe to probabilistic reasoning we use and understand? Simon Friederich and Erik Curiel go through a series of examples. Erik Curiel, Simon Friederich 24 Apr 2018
68 Stability and Probability Erik Curiel and Simon Friederich discuss how reasoning in cosmology sometimes conflates topological stability with probability, and why that might be wrong. Simon Friederich, Erik Curiel 24 Apr 2018
69 Problems with Probability Simon Friederich and Erik Curiel discuss the problems fine-tuning arguments raise for our understanding of probability. Simon Friederich, Erik Curiel 24 Apr 2018
70 What do water striders have in common with Game of Thrones? On this episode of the Oxford Sparks Big Question’s podcast we visited Dr Jennifer Perry, evolutionary biologist and entomologist to ask: What do water striders have in common with Game of Thrones? Listen here to find out…. Jennifer Perry 17 Apr 2018
71 Creative Commons Strachey Lecture - Privacy-preserving analytics in, or out of, the cloud This talk is about the experience of providing privacy when running analytics on users’ personal data. Jon Crowcroft 16 Apr 2018
72 How does the brain identify voices? In this episode of The Big Questions podcast we joined the experiment to ask: How does he brain identify voices? To find out we interviewed MRI Physicist Stuart Clare and Neuro Scientist Holly Bridge at the Wellcome Centre for Integrative for Neuroimaging Stuart Clare, Holly Bridge 09 Apr 2018
73 ALMA and the Birth of Stars Across Galaxies The 2018 Astor Visiting Lecture 14th March 2018 delivered by Professor Adam Leroy, Ohio State University. Adam Leroy 28 Mar 2018
74 Creative Commons How do you mend a broken heart? In this episode of the Oxford Sparks Big Questions podcast we visited Cardiovascular Biologist, Nicola Smart, from the department of physiology, anatomy and genetics to ask: How do you mend a broken heart? Nicola Smart 23 Mar 2018
75 Oxford Mathematics Public Lectures - Can Mathematics Understand the Brain?' - Alain Goriely The human brain is the object of the ultimate intellectual egocentrism. It is also a source of endless scientific problems and an organ of such complexity that it is not clear that a mathematical approach is even possible, despite many attempts. Alain Goriely 16 Mar 2018
76 How do you become an astronaut? Millions dream of being an astronaut, but how many of us have what it takes? In this episode of the Oxford Sparks Big Question's podcast, we visit Merritt Moore, quantum physicist from The University of Oxford, to ask: How do you become an astronaut? Merritt Moore 13 Mar 2018
77 How did Mary Somerville get on the Scottish 10 Pound note? In this episode of the Big Questions podcast we are asking: How did Mary Somerville get on the Scottish 10 Pound note? Brigitte Stenhouse 13 Mar 2018
78 Oxford Mathematics Public Lectures - Euler’s pioneering equation: "the most beautiful theorem in mathematics" - Robin Wilson Euler’s equation, the ‘most beautiful equation in mathematics’, startlingly connects the five most important constants in the subject: 1, 0, π, e and i. Central to both mathematics and physics. So what is this equation – and why is it pioneering? Robin Wilson 07 Mar 2018
79 Rushing Robots and Tons of Glass: Building the WEAVE Spectrograph Ellen Schallig gives a short talk on building the WEAVE spectograph. Ellen Schallig 21 Feb 2018
80 Quasars: Are They As Cool As They Sound? In this flash talk, Josie Peters presents on the topic of quasars. Josie Peters 21 Feb 2018
81 The Big Bang and a Multiverse Darsh Kodwani gives a short talk on The Big bang and a multiverse. Darsh Kodwani 21 Feb 2018
82 I'm Spinning Around: Watching Galaxies Rotate (Or Not) Mark Graham gives a short talk on the rotation of galaxies. Mark Graham 21 Feb 2018
83 It's a Star's Life In this short talk, Rebecca Esselstein gives an overview of a typical star's lifespan. Rebecca Esselstein 21 Feb 2018
84 Galactic Archaeology: Mining Stellar Fossils in the Milky Way Halo Payel Das gives a short talk on mining stellar fossils in the Milky Way halo. Payel Das 21 Feb 2018
85 Weighing Black Holes Oxford astrophysicist Martin Bureau gives a talk on black holes. Martin Bureau 21 Feb 2018
86 Taking Real Photos of Planets Outside the Solar System Jean-Loup Baudino gives a short talk on planets outside the solar system. Jean-Loup Baudino 21 Feb 2018
87 Merging Galaxies: Making the Biggest Mess! Nathan Adams presents a short talk on merging galaxies. Natham Adams 21 Feb 2018
88 Oxford Mathematics Public Lectures - Scaling the Maths of Life - Michael Bonsall Michael Bonsall explores how we can use mathematics to link between scales of organisation in biology, delving in to developmental biology, ecology and neurosciences. Michael Bonsall 12 Feb 2018
89 Does love have a scent? In this episode of the Oxford Sparks Big Questions podcast we are looking at the science behind love at first smell and asking does love have a scent? Tristram Wyatt 06 Feb 2018
90 How do you measure a Mars quake? In this episode of the Big Questions podcast, we visited Dr Neil Bowles, Jane Hurley and Tristram Warren from the Atmospheric Oceanic & Planetary Physics Department to ask the question: how do you measure a Mars quake? Neil Bowles, Jane Hurley, Tristram Warren 29 Jan 2018
91 Galaxy Dynamics: The chemical evolution side Dr Ralph Schoenrich will talk about the chemical evolution side Ralph Schoenrich 25 Jan 2018
92 Galaxy Dynamics: The dynamics of galaxy discs Dr John Magorrian will talk about the dynamics of galaxy discs John Magorrian 25 Jan 2018
93 Galaxy Dynamics: Stellar systems: a new state of matter Prof James Binney FRS will talk about stellar systems: a new state of matter James Binney 25 Jan 2018
94 Creative Commons Inferring Scope through Syntactic Sugar Justin Pombrio (Brown University, USA) gives the third talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. Justin Pombrio 23 Jan 2018
95 Creative Commons Automating Sized-Type Inference for Complexity Analysis Martin Avanzini (University of Innsbruck, Austria) gives the second talk in the fifth panel, Inference and Analysis on the 3rd day of the ICFP conference. Martin Avanzini 23 Jan 2018
96 Creative Commons Constrained Type Families Richard A. Eisenberg (Bryn Mawr College, USA) gives the first talk in the fifth panel, Inference and Analysis, on the 3rd day of the ICFP conference. Richard A Eisenberg 23 Jan 2018
97 Creative Commons Gradual Typing with Union and Intersection Types Victor Lanvin (ENS Cachan, France) gives the third talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. Victor Lanvin 23 Jan 2018
98 Creative Commons On Polymorphic Gradual Typing Yuu Igarashi (Kyoto University, Japan) gives the second talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. Yuu Igarashi 22 Jan 2018
99 Creative Commons Theorems for Free for Free: Parametricity, With and Without Types Amal Ahmed (Northeastern University, USA) gives the first talk in the fourth panel, Integrating Static and Dynamic Typing, on the 3rd day of the ICFP conference. Amal Ahmed 22 Jan 2018
100 Creative Commons Gradual Session Types Peter Thiemann (University of Freiburg, Germany) gives the fourth talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. Peter Thiemann 22 Jan 2018