Categories
Events News

FroCoS and TABLEAUX coming to Middlesex in September

 

This year’s edition of two long-standing international conferences, FroCoS 2019 and TABLEAUX 2019, will take place at Middlesex University on September 2–6. They cover a broad range of theoretical and practical aspects pertaining to formal logic, proof systems, automated deduction and formal verification. Among others, they welcome contributions involving AI, machine learning and fuzzy logic. More information is given on the conferences’  websites.