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)

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
Algebra of Programming
Back Garden Biology
Big Questions - with Oxford Sparks
Biology: The Whole Story
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
Cultural Heritage Forum
Darwin 200
Department of Engineering Science Centenary Lectures
Department of Engineering Science Lectures
Department of Materials
Department of Statistics
Earth Sciences
Enterprising Women
Exploring Spoken Word Data in Oral History Archives
Federated Logic Conference (FLoC) 2018
Good Natured
Hinshelwood Lectures 2018 - Soft Interfaces: A Journey Across Scales
Hinshelwood Lectures 2019 - Shedding New Lights to Light-Matter Interactions
Inside Oxford Science
International Conference on Functional Programming 2017
Mathematical Institute
Maths + Cancer
Models of Consciousness
Musical Abstracts
Open Science
Oxford Kafka24
Oxford Physics Academic Lectures
Oxford Physics Public Lectures
Oxford Physics Research
Oxford Physics Short Talks and Introductions
Oxford Sparks: bringing science to life
Proving the Negative (PTNPod): Swanning About in Cyber Security
Quantum Mechanics
Scientific Computing for DPhil Students
So you want to study Chemistry?
Stargazing
Strachey 100: an Oxford Computing Pioneer
Strachey Lectures
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
Valentine's Day at Oxford
# Episode Title Description People Date
857 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
856 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
855 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
854 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
853 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
852 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
851 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
850 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
849 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
848 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
847 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
846 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
845 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
844 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
843 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
842 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
841 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
840 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
839 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
838 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
837 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
836 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
835 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
834 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
833 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
832 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
831 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
830 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
829 The Big Bang and a Multiverse Darsh Kodwani gives a short talk on The Big bang and a multiverse. Darsh Kodwani 21 Feb 2018
828 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
827 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
826 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
825 Weighing Black Holes Oxford astrophysicist Martin Bureau gives a talk on black holes. Martin Bureau 21 Feb 2018
824 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
823 Merging Galaxies: Making the Biggest Mess! Nathan Adams presents a short talk on merging galaxies. Natham Adams 21 Feb 2018
822 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
821 Does love have a scent? Love is in the air - or is it? Companies are advertising that they can find you love through the power of scent! But are pheromones a chemical way to find your true love? Or is it just a myth? Tristram Wyatt 06 Feb 2018
820 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
819 Galaxy Dynamics: The chemical evolution side Dr Ralph Schoenrich will talk about the chemical evolution side Ralph Schoenrich 25 Jan 2018
818 Galaxy Dynamics: The dynamics of galaxy discs Dr John Magorrian will talk about the dynamics of galaxy discs John Magorrian 25 Jan 2018
817 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
816 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
815 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
814 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
813 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
812 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
811 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
810 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
809 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
808 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
807 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
806 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
805 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
804 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
803 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
802 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
801 Creative Commons Local Refinement Typing Benjamin Cosman, University of California at San Diego, USA, gives the third talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. Benjamin Cosman 16 Jan 2018
800 Creative Commons SpaceSearch: A Library for Building and Verifying Solver-Aided Tools Konstantin Weitz (University of Washington, USA) gives the second talk in the second panel, Tools for Verification, on the 2nd day of the ICFP conference. Konstantin Weitz 15 Jan 2018
799 Creative Commons Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification Muralidaran Vijayaraghavan 15 Jan 2018
798 Creative Commons No-Brainer CPS Conversion Milo Davis (Northeastern University, USA) gives the fourth talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP. Milo Davis 15 Jan 2018
797 Creative Commons Foundations of Strong Call by Need Thibaut Balabonski (LRI, France and University of Paris-Sud, France) gives the third talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. Thibaut Balabonski 15 Jan 2018
796 What happens after a storm? In our latest episode of the Big Questions podcast we visited Dr Peter Walton, a geography teacher turned fellow of the Environmental Change Institute, at the University of Oxford, to ask: What happens after a storm? Peter Walton 10 Jan 2018
795 Is vaping better than smoking? As many of you set your new year’s resolution to quit smoking and start vaping, we thought we’d ask the question: Is vaping better than smoking? And could it help you quit? Jamie Hartmann-Boyce 09 Jan 2018
794 How do you survive the office Christmas party? ‘Tis the season to be merry, so it’s time for the annual Christmas party. For some employers it can be more fraught than fun! In this episode of the Oxford Sparks Big Questions podcast we ask: how do you survive the office Christmas party? Robin Dunbar 09 Jan 2018
793 Research behind... Understanding Misunderstanding A podcast about a song about the parallels of fake news today and satire in the 18th Century based on research by Prof Abigail Williams at the University of Oxford Abigail Williams 09 Jan 2018
792 Research Behind... The Great Vape Debate A podcast about a song about vaping based on the latest evidence from research from Dr Jamie Hartmann-Boyce at the University of Oxford Jamie Hartmann-Boyce 09 Jan 2018
791 Research Behind... Stomach is the Monarch The research behind a song about how Victorians saw the conversation between the gut and mood, featuring an interview with researcher Dr Emilie Taylor-Brown at the University of Oxford Emilie Taylor-Brown 09 Jan 2018
790 Research Behind... Use the Digital to Make the World you Want to See The research behind a song about mapping the internet and how it links to our physical world, based on research by Prof Mark Graham at the University of Oxford. Mark Graham 08 Jan 2018
789 Research Behind... Mars Quakes The research behind a song about the quest to hear Marsquakes based on research by Dr Neil Bowles at the University of Oxford. Neil Bowles 08 Jan 2018
788 Creative Commons How to Prove Your Calculus Is Decidable: Practical Applications of Second-Order Algebraic Theories and Computation Makoto Hamana (Gunma University, Japan), gives the first talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. Makoto Hamana 18 Dec 2017
787 Creative Commons Better Living through Operational Semantics: An Optimizing Compiler for Radio Protocols Geoffrey Mainland (Drexel University, USA) gives the fourth talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Geoffrey Mainland 18 Dec 2017
786 Creative Commons Verifying Efficient Function Calls in CakeML Scott Owens University of Kent, UK, gives the third talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Scott Owens 18 Dec 2017
785 Creative Commons A Relational Logic for Higher-Order Programs Alejandro Aguirre, IMDEA Software Institute, Spain, gives the second talk in the second panel, Foundations of Higher-Order Programming, on the 2nd day of the ICFP conference. Alejandro Aguirre 18 Dec 2017
784 Creative Commons Verified Low-Level Programming Embedded in F Jonathan Protzen, Microsoft Research, United States, gives the second talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Jonathan Protzen 18 Dec 2017
783 Creative Commons Persistence for the Masses: RRB-Vectors in a Systems Language Juan Pedro Bolívar Puente, Independent Consultant, Sinusoidal Engineering, Germany, gives the first talk in the first panel, Low-level and Systems Programming, on the 2nd day of the ICFP conference. Juan Pedro Bolívar Puente 18 Dec 2017
782 Creative Commons Assuring AI John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference. John Launchbury 18 Dec 2017
781 Creative Commons Effect-Driven QuickChecking of Compilers Jan Midtgaard, gives the fourth presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Mathias Nygaard Justesen, Patrick Kasting, Flemming Nielson, Hanne Riis Nielson, DTU, Denmark. Jan Midtgaard 18 Dec 2017
780 Creative Commons Imperative Functional Programs that Explain their Work Jan Stolarek, University of Edinburgh, UK, gives the third presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Wilmer Ricciotti, Roly Perera and James Cheney, and University of Edinburgh, UK. Jan Stolarek 18 Dec 2017
779 Can Yule Solve My Problems? - Alex Bellos In our Oxford Mathematics Christmas Lecture Alex Bellos challenges you with some festive brainteasers as he tells the story of mathematical puzzles from the middle ages to modern day. Alex Bellos 13 Dec 2017
778 Creative Commons On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control Ohad Kammar, University of Oxford, UK, gives the second presentation in the fourth panel, Effects, in the ICFP 2017 conference. Ohad Kammar 13 Dec 2017
777 Creative Commons Abstracting Definitional Interpreters David Darais, University of Maryland, USA, gives the first presentation in the fourth panel, Effects, in the ICFP 2017 conference. Co-written by Nicholas Labich, David Van Horn, Phuc C. Nguyen, University of Maryland, USA. David Darais 13 Dec 2017
776 Creative Commons Symbolic Conditioning of Arrays in Probabilistic Programs Praveen Narayanan, Indiana University, USA, gives the third presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Chung-Chief Shan, Indiana University, USA. Praveen Narayanan 13 Dec 2017
775 Creative Commons A Framework for Adaptive Differential Privacy Daniel Winograd-Cort University of Pennsylvania, USA, gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Andreas Haeberlen and Aaron Roth, University of Pennsylvania, USA. Daniel Winograd-Cort 13 Dec 2017
774 Welcome to the Oxford Reproducibility School Dorothy Bishop (University of Oxford) gives a talk for the Oxford Reproducibility School, held on Wednesday, September 27, 2017, in the Sherrington Lecture Theatre, University of Oxford. Dorothy Bishop 12 Dec 2017
773 Selfish reasons to work reproducibly Florian Markowetz, Cancer Research UK Cambridge Institute, University of Cambridge, gives a talk for the Oxford Autumn School in Cognitive Neuroscience, held in 28th-29th September 2017, Sherrington Lecture Theatre, University of Oxford. Florian Markowetz 12 Dec 2017
772 Practical tools for open and reproducible neuroimaging Tom Nichols, Big Data Institute, University of Oxford, gives a talk for the Oxford Autumn School in Cognitive Neuroscience, held in 28th-29th September 2017, Sherrington Lecture Theatre, University of Oxford. Tom Nichols 12 Dec 2017
771 Introduction to the morning: why and how of reproducible science Dorothy Bishop, Dept of Experimental Psychology, University of Oxford, gives a talk for the Oxford Autumn School in Cognitive Neuroscience, held in 28th-29th September 2017, Sherrington Lecture Theatre, University of Oxford. Dorothy Bishop 12 Dec 2017
770 Strachey Lecture: The Continuing Evolution of C++ Stroustrup discusses the development and evolution of the C++, one of the most widely used programming languages ever. Bjarne Stroustrup 12 Dec 2017
769 Creative Commons Prototyping a Query Compiler using Coq (Experience Report) Louis Mandel (IBM) gives the first presentation in the third panel, Applications, in the ICFP 2017 conference. Co-written by Joshua Auerbach, Martin Hirzel, Avraham Shinnar, Jerome Simeon, IBM Research, USA. Louis Mandel 12 Dec 2017
768 Creative Commons A Unified Approach to Solving Seven Programming Problems (Functional Pearl) William E. Byrd, University of Utah, USA, gives the fourth presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. William E Byrd 12 Dec 2017
767 Creative Commons Generic Functional Parallel Algorithms: Scan and FFT Conal Elliott, Target, USA United States, gives the third presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Conal Elliott 12 Dec 2017
766 Creative Commons A Pretty But Not Greedy Printer (Functional Pearl) Jean-Philippe Bernardy, University of Gothenburg, gives the second presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Jean-Philippe Bernardy 12 Dec 2017
765 Creative Commons Faster Coroutine Pipelines Mike Spivey, University of Oxford, UK, gives the first presentation in the second panel, Functional Programming Techniques, in the ICFP 2017 conference. Mike Spivey 12 Dec 2017
764 Creative Commons Scaling up Functional Programming Education: Under the Hood of the OCaml MOOC Roberto Di Cosmo (Inria, France and University of Paris Diderot, France), gives the fourth presentation in the first panel, Art and Education, in the ICFP 2017 conference. Roberto Di Cosmo 12 Dec 2017
763 Creative Commons Lock-Step Simulation Is Child's Play (Experience Report) Joachim Breiner, University of Pennsylvania, United States, gives the third presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Chris Smith Google, USA. Joachim Breiner 12 Dec 2017
762 Creative Commons Testing and Debugging Functional Reactive Programming Ivan Perez, University of Nottingham, UK, gives the second presentation in the first panel, Art and Education, in the ICFP 2017 conference. Co-written by Henrik Nilsson, University of Nottingham, UK. Ivan Perez 12 Dec 2017
761 Dilemmas of an early career researcher Ana Todorovic (University of Oxford) gives a talk for the Oxford Reproducibility School. Ana Todorovic 08 Dec 2017
760 The QUEST Center in Berlin: A structured approach to improve the value of academic biomedicine Ulrich Dirnagl ((Charité Universitätsmedizin Berlin) gives a talk for the Oxford Reproducibility School. Ulrich Dirnagl 08 Dec 2017
759 Bayesian statistics without tears EJ Wagenmakers (University of Amsterdam) gives a talk for the Oxford Reproducibility School. EJ Wagenmakers 08 Dec 2017
758 Registered reports as a solution to bias in research and publishing Chris Chambers (Cardiff University) gives a talk for the Oxford Reproducibility School. Chris Chambers 08 Dec 2017