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/13170/19
 ---24-September-2022-13th-International-School-on-
 Rewriting-ISR-2022-Tbilisi-Georgia
DTSTAMP:20220630T152857
SUMMARY:13th International School on Rewriting (IS
 R 2022), Tbilisi, Georgia
DTSTART;VALUE=DATE:20220919
DTEND;VALUE=DATE:20220924
LOCATION:Tbilisi, Georgia
DESCRIPTION:Term Rewriting is a simple but powerfu
 l model of computation with numerous applications 
 in computer science and mathematics. It is heavily
  used in symbolic computation, formal reasoning, a
 nd program verification. Rewriting-based technique
 s are useful in many other fields as well, for ins
 tance, in quantum computing, biology, music...  Th
 e 13th International School on Rewriting (ISR 2022
 ) will be part of Computational Logic Autumn Summi
 t and take place at Ivane Javakhishvili Tbilisi St
 ate University, Tbilisi, Georgia. The school is ai
 med at students, researchers and practitioners int
 erested in the use or the study of rewriting and i
 ts applications and offers both Basic and Advanced
  tracks.  We invite proposals for courses in the A
 dvanced Track. If you are interested in giving a l
 ecture in the advanced track, send us a mail befor
 e December 15, 2022 with the following information
 s: - a title, - an abstract, - an outline of the l
 ecture, - some bibliographical references, - an ex
 pected duration.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Term Rewr
 iting is a simple but powerful model of computatio
 n with numerous applications in computer science a
 nd mathematics. It is heavily used in symbolic com
 putation, formal reasoning, and program verificati
 on. Rewriting-based techniques are useful in many 
 other fields as well, for instance, in quantum com
 puting, biology, music...</p>\n  <p>The 13th Inter
 national School on Rewriting (ISR 2022) will be pa
 rt of Computational Logic Autumn Summit and take p
 lace at Ivane Javakhishvili Tbilisi State Universi
 ty, Tbilisi, Georgia. The school is aimed at stude
 nts, researchers and practitioners interested in t
 he use or the study of rewriting and its applicati
 ons and offers both Basic and Advanced tracks.</p>
 \n</div><div>\n  <p>We invite proposals for course
 s in the Advanced Track. If you are interested in 
 giving a lecture in the advanced track, send us a 
 mail before December 15, 2022 with the following i
 nformations: - a title, - an abstract, - an outlin
 e of the lecture, - some bibliographical reference
 s, - an expected duration.</p>\n</div>
URL:http://viam.science.tsu.ge/clas2022/schools
CONTACT:Besik Dundua at bdundua at gmail.com
END:VEVENT
END:VCALENDAR