News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

19 - 30 September 2022, Computational Logic Autumn Summit (CLAS 2022), Tbilisi (Georgia) and Virtual

Date: 19 - 30 September 2022
Location: Tbilisi (Georgia) and Virtual

The Computational Logic Autumn Summit brings together eight conferences and three schools. Taking into account the coronavirus pandemic and the war in Ukraine, the conference will be organized as a hybrid event.

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)

Schools

  • Summer School of the International Colloquium on Theoretical Aspects of Computing
  • International School on Rewriting
  • International Tbilisi Summer School in Logic and Language

The CLAS venue is the historical main building of the Ivane Javakhishvili Tbilisi State University (TSU). The main building of TSU is located in the city center, from where many hotels, cafeterias, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) are within walking distance. The Summit will feature various excursions, banquets, and other social events.

For more information, see http://viam.science.tsu.ge/clas2022/.

Please note that this newsitem has been archived, and may contain outdated information or links.