CLA'19 will be the 12th workshop on Computational Logic and Applications, to be held in Versailles, France. The workshop is scheduled to take place in May/June 2019. Specific dates are yet to be announced. The main purpose of CLA is to provide an open, free access forum for scientific research concentrated around combinatorial and quantitative aspects of mathematical logic and their applications in computer science.
We cordially invite all researchers interested in topics such as: