Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Computational Logic Autumn Summit, 19-30 Septe...

Email Gateway (May 20 2022 at 20:04):

From: Besik Dundua <bdundua@gmail.com>
==============================================

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

Last updated: Jul 15 2022 at 23:21 UTC