BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2022/newsitem/13582/19
 ---30-September-2022-Computational-Logic-Autumn-Su
 mmit-CLAS-2022-Tbilisi-Georgia-and-Virtual
DTSTAMP:20220428T164750
SUMMARY:Computational Logic Autumn Summit (CLAS 20
 22), Tbilisi  (Georgia) and Virtual
DTSTART;VALUE=DATE:20220919
DTEND;VALUE=DATE:20220930
LOCATION:Tbilisi  (Georgia) and Virtual
DESCRIPTION:The Computational Logic Autumn Summit 
 brings together eight conferences and three school
 s. Taking into account the coronavirus pandemic an
 d the war in Ukraine, the conference will be organ
 ized as a hybrid event.  Conferences: Internationa
 l Colloquium on Theoretical Aspects of Computing (
 ICTAC)Conference on Intelligent Computer Mathemati
 cs (CICM)International Symposium on Principles and
  Practice of Declarative Programming (PPDP)Interna
 tional Symposium on Logic-based Program Synthesis 
 and Transformation (LOPSTR)International Conferenc
 e on Mathematics of Program Construction (MPC)Inte
 rnational Conference on Runtime Verification (RV)I
 nternational Conference on Verification and Evalua
 tion of Computer and Communication Systems (VECoS)
 International Conference on Practical and Theoreti
 cal Aspects of Logic, Cyber Security and Cryptogra
 phy (LCSC) Schools Summer School of the Internatio
 nal Colloquium on Theoretical Aspects of Computing
 International School on RewritingInternational Tbi
 lisi Summer School in Logic and Language 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 cente
 r, from where many hotels, cafeterias, pubs, resta
 urants, parks, other attractions (zoo, theaters, c
 inemas, opera, etc.) are within walking distance. 
 The Summit will feature various excursions, banque
 ts, and other social events.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The Computatio
 nal Logic Autumn Summit brings together eight conf
 erences and three schools. Taking into account the
  coronavirus pandemic and the war in Ukraine, the 
 conference will be organized as a hybrid event.</p
 >\n  <p>Conferences:</p>\n  <ul>\n    <li>Internat
 ional Colloquium on Theoretical Aspects of Computi
 ng (ICTAC)</li>\n    <li>Conference on Intelligent
  Computer Mathematics (CICM)</li>\n    <li>Interna
 tional Symposium on Principles and Practice of Dec
 larative Programming (PPDP)</li>\n    <li>Internat
 ional Symposium on Logic-based Program Synthesis a
 nd Transformation (LOPSTR)</li>\n    <li>Internati
 onal Conference on Mathematics of Program Construc
 tion (MPC)</li>\n    <li>International Conference 
 on Runtime Verification (RV)</li>\n    <li>Interna
 tional Conference on Verification and Evaluation o
 f Computer and Communication Systems (VECoS)</li>\
 n    <li>International Conference on Practical and
  Theoretical Aspects of Logic, Cyber Security and 
 Cryptography (LCSC)</li>\n  </ul>\n  <p>Schools</p
 >\n  <ul>\n    <li>Summer School of the Internatio
 nal Colloquium on Theoretical Aspects of Computing
 </li>\n    <li>International School on Rewriting</
 li>\n    <li>International Tbilisi Summer School i
 n Logic and Language</li>\n  </ul>\n  <p>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 cente
 r, from where many hotels, cafeterias, pubs, resta
 urants, parks, other attractions (zoo, theaters, c
 inemas, opera, etc.) are within walking distance. 
 The Summit will feature various excursions, banque
 ts, and other social events.</p>\n
URL:http://viam.science.tsu.ge/clas2022/
END:VEVENT
END:VCALENDAR