Registration open: ICTAC autumn school, September 26-30, Tbilisi, Georgia

--===============3386131130030455054==
Content-Type: multipart/alternative; boundary="00000000000005542605e5150ef1"

--00000000000005542605e5150ef1
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

    =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D
Autumn School of the 19th International Colloquium on Theoretical Aspects
of Computing (ICTAC 2022)

September 26-30, 2022, Tbilisi, Georgia
https://viam.science.tsu.ge/clas2022/ictac/school.html

Part of the Computational Logic Autumn Summit (CLAS 2022)
https://viam.science.tsu.ge/clas2022
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D


The ICTAC conference series aims at bringing together researchers and
practitioners from academia, industry and government to present research
and exchange ideas and experience addressing challenges in both theoretical
aspects of computing and the exploitation of theory through methods and
tools for system development. ICTAC also aims to promote research
cooperation between developing and industrial countries.

The ICTAC autumn school is a part of CLAS 2022 and will be held in Tbilisi,
Georgia, September 26-30, 2022. The school will be organized by the Tbilisi
State University. The intended audience of the winter school includes
master and PhD students as well as young researchers from the fields of
computer science and mathematics. The following lectures agreed to deliver
classes at the school:


   - G=C3=B6del logics - the dominance of order, Matthias Baaz(Vienna Unive=
rsity
of Technology)
   - Verification and Model Checking with finite automata, Volker Diekert
(University of Stuttgart)
   - Nominal techniques, Maribel Fernandez (King's College London)
   - A logical bases for the verification of imperative programs, Tudor
Jebelean (RISC, Johannes Kepler University Linz)
   - The semantically reflected digital twin, Einar Broch Johnsen
(University of Oslo)
   - Learning Meets Verification, Martin Leucker (University of L=C3=BCbeck=
)
   - Logical framework with union and intersection types, Luigi Liquori
(INRIA)
   - To prove with a proof assistant or not to prove, Dmitriy Traytel
(University of Copenhagen)
-...



=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
REGISTRATION
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

For the registration visit the Easychair system:
https://easychair.org/conferences/?conf=3Dclas2022

The registration fee is 200/250 Euro for students (early till July 31/late
till August 31) and 350/400 for non-students (early till July 31/late till
August 31), which will include access to school materials, coffee breaks,
and social events (excursion and banquet). The registration fee for an
accompanying person is 150 Euro and includes only social events.
Participants affiliated with Ukrainian universities will have the
registration fee waived. Further support will be announced if funds get
available.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
ORGANIZERS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Besik Dundua
Mikheil Rukhaia


Contact:  [email protected]

--00000000000005542605e5150ef1
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">=C2=A0 =C2=A0 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Autumn=C2=A0Schoo=
l=C2=A0of the 19th International Colloquium on Theoretical Aspects of Compu=
ting (ICTAC=C2=A02022)<br><br>September 26-30, 2022, Tbilisi, Georgia<br><a=
 href=3D"https://viam.science.tsu.ge/clas2022/ictac/school.html" target=3D"=
_blank">https://viam.science.tsu.ge/clas2022/ictac/school.html</a><br><br>P=
art of the Computational Logic Autumn Summit (CLAS 2022)<br><a href=3D"http=
s://viam.science.tsu.ge/clas2022" target=3D"_blank">https://viam.science.ts=
u.ge/clas2022</a><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br><br>The=C2=A0ICTAC=C2=A0c=
onference series aims at bringing together researchers and practitioners fr=
om academia, industry and government to present research and exchange ideas=
 and experience addressing challenges in both theoretical aspects of comput=
ing and the exploitation of theory through methods and tools for system dev=
elopment.=C2=A0ICTAC=C2=A0also aims to promote research cooperation between=
 developing and industrial countries.<br><br>The=C2=A0ICTAC=C2=A0autumn=C2=
=A0school=C2=A0is a part of CLAS 2022 and will be held in Tbilisi, Georgia,=
 September 26-30, 2022. The=C2=A0school=C2=A0will be organized by the Tbili=
si State University. The intended audience of the winter=C2=A0school=C2=A0i=
ncludes master and PhD students as well as young researchers from the field=
s of computer science and mathematics. The following lectures agreed to del=
iver classes at the=C2=A0school:<br><br><br>=C2=A0 =C2=A0- G=C3=B6del logic=
s - the dominance of order, Matthias Baaz(Vienna University of Technology)<=
br>=C2=A0 =C2=A0- Verification and Model Checking with finite automata, Vol=
ker Diekert (University of Stuttgart)<br>=C2=A0 =C2=A0- Nominal techniques,=
 Maribel Fernandez (King&#39;s=C2=A0College=C2=A0London)<br>=C2=A0 =C2=A0- =
A logical bases for the verification of imperative programs, Tudor Jebelean=
 (RISC, Johannes Kepler University Linz)<br>=C2=A0 =C2=A0- The semantically=
 reflected digital twin, Einar Broch Johnsen (University of Oslo)<br>=C2=A0=
 =C2=A0- Learning Meets Verification, Martin Leucker (University of L=C3=BC=
beck)<br>=C2=A0 =C2=A0- Logical framework with union and intersection types=
, Luigi Liquori (INRIA)<br>=C2=A0 =C2=A0- To prove with a proof assistant o=
r not to prove, Dmitriy Traytel (University of Copenhagen)<div>-...<br>=C2=
=A0 =C2=A0<br>=C2=A0 =C2=A0<br>=C2=A0<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D<br>REGISTRATION<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D<br><br>For the registration visit the Easychair syste=
m:=C2=A0<a href=3D"https://easychair.org/conferences/?conf=3Dclas2022" targ=
et=3D"_blank">https://easychair.org/conferences/?conf=3Dclas2022</a><br><br=
>The registration fee is 200/250 Euro for students (early till July 31/late=
 till August 31) and 350/400 for non-students (early till July 31/late till=
 August 31), which will include access to=C2=A0school=C2=A0materials, coffe=
e breaks, and social events (excursion and banquet). The registration fee f=
or an accompanying person is 150 Euro and includes only social events.<br>P=
articipants affiliated with Ukrainian universities will have the registrati=
on fee waived. Further support will be announced if funds get available.<br=
><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ORGANIZERS<b=
r>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>Besik Dundua<br=
>Mikheil Rukhaia<br><br><br>Contact: =C2=A0<a href=3D"mailto:bdundua@gmail.=
com" target=3D"_blank">[email protected]</a><div class=3D"gmail-yj6qo"></di=
v><div class=3D"gmail-adL"></div><div class=3D"gmail-adL"><br></div></div><=
/div>

--00000000000005542605e5150ef1--

--===============3386131130030455054==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Boost-Interest mailing list
[email protected]
https://lists.boost.org/mailman/listinfo.cgi/boost-interest

--===============3386131130030455054==--