Skip to main content
Home

Main navigation

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

Main navigation

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

Federated Logic Conference (FLoC) 2018

Image
Journey of a Molecular Detective; David Sherratt
During the past 50 years there has been extensive, continuous, and increasing interaction between logic and computer science.

In many respects, logic provides computer science with both a unifying foundational framework and a modelling tool. Indeed, logic has rightly been called 'the calculus of computer science," playing a crucial role in such diverse areas as artificial intelligence, computational complexity, distributed computing, database systems, hardware design, programming languages, and software engineering.

Since 1996, the Federated Logic Conference has brought together several international conferences related to mathematical logic and computer science, along with plenaries, invited talks, tutorial days and over 70 workshops.

Related

FLoC 2018Department of Computer Science

Subscribe

Apple Podcast Video Audio RSS Feed Video RSS Feed
Displaying 1 - 6 of 6 episodes
Episode Description People Date Captions
Ethics and Morality of Robotics The future of robotics raises important questions for humanity. Judy Wajcman, Sandra Wachter, Francesca Rossi, Ben Kuipers, Matthias Scheutz, Jeanette Wing, Luciano Floridi 18 July, 2018
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 July, 2018
The Logic of Real Proofs George Gonthier delivers a lecture at FLoc2018 George Gonthier 16 July, 2018
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 July, 2018
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 July, 2018
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 July, 2018
Displaying 1 - 6 of 6 episodes

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