Wednesday, April 13, 2022

[DMANET] Computational Logic Autumn Summit (CLAS 2022) - Hybrid, 19-30 September 2022, Tbilisi, Georgia

==============================================

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 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


============================================================

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.


============================================================

Social Events

============================================================

Although Georgia is a small country covering only 69700km2, it contains a
huge variety of places of interest, ranging from ski resorts and beaches to
cultural landmarks that tell the history of more than 3000 years. You will
experience Georgia's unique culture during your visit, especially during
the excursions throughout the country.


# Excursions


CLAS participants will have options to select one from the following tours:


- Kakheti, Georgia's eastern region also known as the "cradle of wine".

https://georgiantravelguide.com/en/kakheti


- Uplistsikhe, the cave city, the home of one of the oldest settlements in
Georgia. After that, we will visit town Gori.

https://sakurageorgia.com/en/location/uplistsikhe-cave-town


- Kazbegi, the municipality in the Caucasus mountains and enjoy the view
from close by.

https://georgia.travel/en_US/mtskheta-mtianeti/kazbegi

# Banquets

During the banquets, the visitors will be able to experience the world's
famous Georgian Cuisine and most importantly, Georgian wine, which has a
history of 8000 years. The restaurants will offer a vast variety of
Georgian meals and wine. Some information about Georgian cuisine and wine
can be found at the following links:

https://en.wikipedia.org/wiki/Georgian_cuisine

https://en.wikipedia.org/wiki/Georgian_wine

**********************************************************
*
* 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/
*
**********************************************************