Federated Logic Conference (FLoC) 2018

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.
Federated Logic Conference (FLoC) 2018

馃帶 Podcast episodes

Listen to 6 episodes

Similar podcasts

Parenting Conference 2018

Tudor and Stuart Ireland Conference 2018

European Conference on Software Architecture 2018

Logic Bomb

Planet Logic

Liberal 鈥淟ogic鈥

Logic Bomb