Computational Logic Autumn Summit (CLAS 2022)
19-30 September 2022, Tbilisi, Georgia
http://viam.science.tsu.ge/clas2022/
CLAS 2022 is supported by KGS
==============================================
The Computational Logic Autumn Summit brings together six 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)
# Schools
- Summer School of the International Colloquium on Theoretical Aspects of
Computing
- International School on Rewriting
- International Tbilisi Summer School in Logic and Language
============================================================
Venue of CLAS
============================================================
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.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
