Mathematical, Physical and Life Sciences (MPLS)
Relevant Links
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
Astrophysics: An Introduction
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 Physics
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
Lab, Camera, Action!
Mathematical Institute
Musical Abstracts
Open Science
Oxford Physics Academic Lectures
Oxford Physics Alumni
Oxford Physics Public Lectures
Oxford Sparks: bringing science to life
Physics and Philosophy: Arguments, Experiments and a Few Things in Between
Physics Flash Talks
Quantum Mechanics
Reduced Density Matrices in Quantum Physics and Role of Fermionic Exchange Symmetry
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 | The brief history of the Universe | Sergio Martin describes the evolution of the Universe. | Sergio Martin | 22 Mar 2019 | |
| 2 | 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 | |
| 3 | 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 | |
| 4 | 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 | |
| 5 | 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 | |
| 6 | 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 | |
| 7 | 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 | |
| 8 | 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 | |
| 9 | 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 | |
| 10 | 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 | |
| 11 | 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 | |
| 12 | 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 | |
| 13 | 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 | |
| 14 | Entropy from Entanglement | Siddharth Parameswaran, Associate Professor, Physics Department. | Siddharth Parameswaran | 03 Dec 2018 | |
| 15 | Entropy: two short stories | John Chalker, Head of Theoretical Physics, gives a talk on entropy. | John Chalker | 03 Dec 2018 | |
| 16 | Entropy: Gaining Knowledge by Admitting Ignorance | Alexander Schekochihin, Professor of Theoretical Physics, gives a talk on entropy. | Alexander Schekochihin | 03 Dec 2018 | |
| 17 | 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 | |
| 18 | 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 | |
| 19 | 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 | |
| 20 | 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 | |
| 21 | 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 | |
| 22 | 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 | |
| 23 | Ski Friction and the Alchemy of Waxing | The 5th session of the 2018 Hinshelwood lecture series | Lydéric Bocquet | 20 Sep 2018 | |
| 24 | 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 | |
| 25 | 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 | |
| 26 | 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 |
| 27 | Creative Commons | The Logic of Real Proofs | George Gonthier delivers a lecture at FLoc2018 | George Gonthier | 16 Jul 2018 |
| 28 | 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 | |
| 29 | 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 | |
| 30 | 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 | |
| 31 | 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 | |
| 32 | 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 |
| 33 | 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 | |
| 34 | Networked Quantum Information Technologies | This talk reviews the developments in quantum information processing. | Dominic O'Brien | 06 Jul 2018 | |
| 35 | 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 | |
| 36 | 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 | |
| 37 | “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 | |
| 38 | Quantum Systems from Group up | This talk reviews the modern formulation of the basic ideas of quantum mechanics. | James Binney | 06 Jul 2018 | |
| 39 | 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 | |
| 40 | 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 | |
| 41 | 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 | |
| 42 | 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 |
| 43 | Creative Commons | The Awesome Acoustic Bubble | A mini lecture recorded as part of the Maurice Lubbock Memorial Event | Ronald Roy | 05 Jun 2018 |
| 44 | 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 |
| 45 | 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 | |
| 46 | 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 | |
| 47 | 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 |
| 48 | 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 | |
| 49 | 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 | |
| 50 | 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 | |
| 51 | 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 | |
| 52 | 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 | |
| 53 | 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 | |
| 54 | 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 | |
| 55 | 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 | |
| 56 | 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 | |
| 57 | 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 | |
| 58 | 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 | |
| 59 | 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 | |
| 60 | 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 | |
| 61 | 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 | |
| 62 | 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 | |
| 63 | Creative Commons | 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 |
| 64 | 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 | |
| 65 | 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 | |
| 66 | 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 |
| 67 | 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 | |
| 68 | 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 | |
| 69 | 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 | |
| 70 | 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 | |
| 71 | 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 | |
| 72 | 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 | |
| 73 | The Big Bang and a Multiverse | Darsh Kodwani gives a short talk on The Big bang and a multiverse. | Darsh Kodwani | 21 Feb 2018 | |
| 74 | 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 | |
| 75 | 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 | |
| 76 | 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 | |
| 77 | Weighing Black Holes | Oxford astrophysicist Martin Bureau gives a talk on black holes. | Martin Bureau | 21 Feb 2018 | |
| 78 | 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 | |
| 79 | Merging Galaxies: Making the Biggest Mess! | Nathan Adams presents a short talk on merging galaxies. | Natham Adams | 21 Feb 2018 | |
| 80 | 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 | |
| 81 | 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 | |
| 82 | 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 | |
| 83 | Galaxy Dynamics: The chemical evolution side | Dr Ralph Schoenrich will talk about the chemical evolution side | Ralph Schoenrich | 25 Jan 2018 | |
| 84 | Galaxy Dynamics: The dynamics of galaxy discs | Dr John Magorrian will talk about the dynamics of galaxy discs | John Magorrian | 25 Jan 2018 | |
| 85 | 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 | |
| 86 | 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 |
| 87 | 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 |
| 88 | 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 |
| 89 | 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 |
| 90 | 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 |
| 91 | 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 |
| 92 | 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 |
| 93 | Creative Commons | Manifest Sharing with Session Types | Stephanie Balzer (Carnegie Mellon University, USA) gives the third talk in the third panel, Contracts and Sessions, on the 3rd day of the ICFP conference. | Stephanie Balzer | 22 Jan 2018 |
| 94 | Creative Commons | Whip: Higher-Order Contracts for Modern Services | Lucas Waye (Harvard University, USA), gives the second talk in the third panel, Contracts and Sessions , on the 3rd day of the ICFP conference. | Lucas Waye | 22 Jan 2018 |
| 95 | Creative Commons | A Metaprogramming Framework for Formal Verification | Sebastian Ullrich (KIT, Germany), gives the fourth talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. | Sebastian Ullrich | 17 Jan 2018 |
| 96 | Creative Commons | Normalization by Evaluation for Sized Dependent Types | Andreas Abel (University of Gothenburg, Sweden), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. | Andreas Abel | 17 Jan 2018 |
| 97 | Creative Commons | A Specification for Dependent Types in Haskell | Antoine Vizard (University of Pennsylvania, USA), gives the first talk in the second panel, Dependently Typed Programming, on the 3rd day of the ICFP conference. | Antoine Vizard | 17 Jan 2018 |
| 98 | Creative Commons | Herbarium Racketensis: A Stroll through the Woods (Functional Pearl) | Robby Findler (Northwestern University, USA), gives the first talk in the first panel, Domain-Specific Languages, on the 3rd day of the ICFP conference. | Robby Findler | 17 Jan 2018 |
| 99 | Creative Commons | Visitors Unchained | Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. | François Pottier | 17 Jan 2018 |
| 100 | Creative Commons | Compiling to Categories | Conal Elliott, Target, USA, gives the first talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference. | Conal Elliott | 16 Jan 2018 |
- 1 of 9
- next ›