Computational Logic Autumn Summit - CLAS 2022

19-30 September 2022, Tbilisi, Georgia

Supported by Kurt Godel Society