Search

icon
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,...