Skip to main content
Home

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

Main navigation

  • Home
  • Series
  • People
  • Depts & Colleges
  • Open Education

computing

Journey of a Molecular Detective; David Sherratt

Computational Text Analysis (part 1)

One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019.
Journey of a Molecular Detective; David Sherratt

Digital trace data (part 2)

One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019.
Journey of a Molecular Detective; David Sherratt

Digital trace data (part 1)

One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019.
Journey of a Molecular Detective; David Sherratt

Mapping human populations and mobility in low and middle income countries for malaria elimination.

One in a series of talks from the Summer Institute in Computational Social Science (SICSS), which took place in Oxford, 2019.
Alliance

Artificial Intelligence and Consciousness

Could an AI be conscious? If so, how could we tell? What would a conscious AI mean for the possible risks that AI pose to humanity? In this episode we speak to Professor David Chalmers (NYU) about philosophy, consciousness and AI.
Futuremakers

Could quantum computing change the world?

Peter Millican tries to discover the truth about a global race to develop the world’s first scalable quantum.
Journey of a Molecular Detective; David Sherratt

The Origins of Enigma Codebreaking at Bletchley Park

Sir Dermot Turing will talk about the origins of Enigma codebreaking at Bletchley Park, the Bombe machine and how it worked.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

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.
International Conference on Functional Programming 2017

Visitors Unchained

Francois Pottier (Inria, France), gives the second talk in the fourth panel, Program Construction, on the 2nd day of the ICFP conference.

Pagination

  • First page
  • Previous page
  • Page 1
  • Page 2
  • Current page 3
  • Page 4
  • Page 5
  • Page 6
  • Page 7
  • Page 8
  • Next page
  • Last page

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
'Oxford Podcasts' Twitter Account @oxfordpodcasts | MediaPub Publishing Portal for Oxford Podcast Contributors | Upcoming Talks in Oxford | © 2011-2022 The University of Oxford