Welcome to FroCoS 2019

FroCoS 2019 will take place at the Computer Science Department of the Middlesex University London, United Kingdom on September 4-6, 2019.

The conference is the 12th in a series of meetings of the International Symposium on Frontiers of Combining Systems (FroCoS).

FroCoS 2019 will be colocated with the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2019.