19-30 Sep 2022
============================================== 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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html 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