Summit is held in Tbilisi on 19-30 September 2022, Georgia
The Computational Logic Autumn Summit brings together eight conferences and four schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.
For more information see: http://viam.science.tsu.ge/clas2022/.
# Schools
- Summer School of the International Colloquium on Theoretical Aspects of Computing
- International School on Rewriting
- International Tbilisi Summer School in Logic and Language
- Logic, Language, Artificial Intelligence
# Conferences
- International Colloquium on Theoretical Aspects of Computing (ICTAC)
- Conference on Intelligent Computer Mathematics (CICM)
- International Symposium on Principles and Practice of Declarative Programming (PPDP)
- International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)
- International Conference on Mathematics of Program Construction (MPC)
- International Conference on Runtime Verification (RV)
- International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)
- International Conference on Practical and Theoretical Aspects of Logic, Cyber Security and Cryptography (LCSC)