Federated Logic Conference (FLoC) 2018 podcast

Content provided by Oxford University. All podcast content including episodes, graphics, and podcast descriptions are uploaded and provided directly by Oxford University or their podcast platform partner. If you believe someone is using your copyrighted work without your permission, you can follow the process outlined here https://player.fm/legal.

Federated Logic Conference (FLoC) 2018

Series home•Feed

Archived series ("Inactive feed" status)

When? This feed was archived on September 19, 2020 16:07 (3+ y ago). Last successful fetch was on April 07, 2020 17:03 (4y ago)

Why? Inactive feed status. Our servers were unable to retrieve a valid podcast feed for a sustained period.

What now? You might be able to find a more up-to-date version using the search function. This series will no longer be checked for updates. If you believe this to be in error, please check if the publisher's feed link below is valid and contact support to request the feed be restored or if you have any other concerns about this.

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.

6 episodes

#Higher Education #Oxford University #Podcasting Education

Federated Logic Conference (FLoC) 2018

updated 6y ago