Logic List Mailing Archive

CLAS 2022: Computational Logic Autumn Summit, Tbilisi (Georgia) and Virtual

19-30 Sep 2022

Computational Logic Autumn Summit (CLAS 2022)
19-30 September 2022, Tbilisi, Georgia
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

- 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


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


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


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


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


[LOGIC] mailing list
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam