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 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:

\n - Gödel logi
cs - the dominance of order, Matthias Baaz(Vienna
University of Technology)

\n - Verification an
d Model Checking with finite automata, Volker Diek
ert (University of Stuttgart)

\n - Nominal tec
hniques, Maribel Fernandez (King's College London)

\n - A logical bases for the verification of
imperative programs, Tudor Jebelean (RISC, Johanne
s Kepler University Linz)

\n - The semanticall
y reflected digital twin, Einar Broch Johnsen (Uni
versity of Oslo)

\n - Learning Meets Verificat
ion, Martin Leucker (University of Lübeck)

\n
- Logical framework with union and intersection ty
pes, Luigi Liquori (INRIA)

\n - To prove with
a proof assistant or not to prove, Dmitriy Traytel
(University of Copenhagen)

\n
URL:https://viam.science.tsu.ge/clas2022/ictac/sch
ool.html
CONTACT:Besik Dundua at bdundua at gmail.com
END:VEVENT
END:VCALENDAR