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/13797/26
 ---30-September-2022-Autumn-School-of-the-19th-Int
 ernational-Colloquium-on-Theoretical-Aspects-of-Co
 mputing-ICTAC-2022-Autumn-School-Tbilisi-Georgia
DTSTAMP:20220704T143708
SUMMARY:Autumn School of the 19th International Co
 lloquium on Theoretical Aspects of Computing (ICTA
 C 2022 Autumn School), Tbilisi, Georgia
DTSTART;VALUE=DATE:20220926
DTEND;VALUE=DATE:20220930
LOCATION:Tbilisi, Georgia
DESCRIPTION:The ICTAC autumn school is a part of C
 LAS 2022 and will be held in Tbilisi, Georgia, Sep
 tember 26-30, 2022. The school will be organized b
 y the Tbilisi State University. The intended audie
 nce of the winter school includes master and PhD s
 tudents as well as young researchers from the fiel
 ds of computer science and mathematics. The follow
 ing lectures agreed to deliver classes at the scho
 ol:  - Gödel logics - the dominance of order, Matt
 hias Baaz(Vienna University of Technology)  - Veri
 fication and Model Checking with finite automata, 
 Volker Diekert (University of Stuttgart)  - Nomina
 l techniques, Maribel Fernandez (King's College Lo
 ndon)  - A logical bases for the verification of i
 mperative programs, Tudor Jebelean (RISC, Johannes
  Kepler University Linz)  - The semantically refle
 cted digital twin, Einar Broch Johnsen (University
  of Oslo)  - Learning Meets Verification, Martin L
 eucker (University of Lübeck)  - Logical framework
  with union and intersection types, Luigi Liquori 
 (INRIA)  - To prove with a proof assistant or not 
 to prove, Dmitriy Traytel (University of Copenhage
 n)
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The ICTAC autu
 mn school is a part of CLAS 2022 and will be held 
 in Tbilisi, Georgia, September 26-30, 2022. The sc
 hool will be organized by the Tbilisi State Univer
 sity. The intended audience of the winter school i
 ncludes master and PhD students as well as young r
 esearchers from the fields of computer science and
  mathematics. The following lectures agreed to del
 iver classes at the school:</p>\n  <p>- Gödel logi
 cs - the dominance of order, Matthias Baaz(Vienna 
 University of Technology)<br>\n  - Verification an
 d Model Checking with finite automata, Volker Diek
 ert (University of Stuttgart)<br>\n  - Nominal tec
 hniques, Maribel Fernandez (King's College London)
 <br>\n  - A logical bases for the verification of 
 imperative programs, Tudor Jebelean (RISC, Johanne
 s Kepler University Linz)<br>\n  - The semanticall
 y reflected digital twin, Einar Broch Johnsen (Uni
 versity of Oslo)<br>\n  - Learning Meets Verificat
 ion, Martin Leucker (University of Lübeck)<br>\n  
 - Logical framework with union and intersection ty
 pes, Luigi Liquori (INRIA)<br>\n  - To prove with 
 a proof assistant or not to prove, Dmitriy Traytel
  (University of Copenhagen)</p>\n
URL:https://viam.science.tsu.ge/clas2022/ictac/sch
 ool.html
CONTACT:Besik Dundua at bdundua at gmail.com
END:VEVENT
END:VCALENDAR