Skip to main content
Home

Main navigation

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

Main navigation

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

floc

Contemporary Islamic Studies

Ethics and Morality of Robotics

The future of robotics raises important questions for humanity.
Contemporary Islamic Studies

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.
Contemporary Islamic Studies

The Logic of Real Proofs

George Gonthier delivers a lecture at FLoc2018
Contemporary Islamic Studies

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
Contemporary Islamic Studies

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.
Contemporary Islamic Studies

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.

Footer

  • About
  • Accessibility
  • Contribute
  • Copyright
  • Contact
  • Privacy
  • Login
'Oxford Podcasts' X Account @oxfordpodcasts | Upcoming Talks in Oxford | © 2011-2026 The University of Oxford