Charts
Federated Logic Conference (FLoC) 2018Episode from the podcastFederated Logic Conference (FLoC) 2018
Next Episode
The Logic of Real Proofs

The Logic of Real Proofs

Released Monday, 16th July 2018
Good episode? Give it some love!
The Logic of Real Proofs

The Logic of Real Proofs

The Logic of Real Proofs

The Logic of Real Proofs

Monday, 16th July 2018
Good episode? Give it some love!
Rate Episode
List
About
InsightsPodchaser Pro
Reviews
Credits
Lists
Transcript
spinner
Rate
List
Get this podcast via API

From The Podcast

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.

Join Podchaser to...

  • Rate podcasts and episodes
  • Follow podcasts and creators
  • Create podcast and episode lists
  • & much more
Do you host or manage this podcast?
Claim and edit this page to your liking.
,
Podchaser Logo

Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More