Federated Logic Conference (FLoC) 2018


Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on April 07, 2020 17:03 (4M ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

Manage series 2434525
Par Oxford University, découvert par Player FM et notre communauté - Le copyright est détenu par l'éditeur, non par Player F, et l'audio est diffusé directement depuis ses serveurs. Appuyiez sur le bouton S'Abonner pour suivre les mises à jour sur Player FM, ou collez l'URL du flux dans d'autre applications de podcasts.
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