13th International School on Rewriting (ISR 2022), September 19-24, 2022, Tbilisi, Georgia - Registration Open

--===============8603678780013771209==
Content-Type: multipart/alternative; boundary="000000000000ae10c205e5150b55"

--000000000000ae10c205e5150b55
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
13th International School on Rewriting (ISR 2022)

September 19-24, 2022, Tbilisi, Georgiahttps://viam.science.tsu.ge/clas2022=
/isr/

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

Term Rewriting is a simple but powerful model of computation with
numerous applications in computer science and mathematics. It is
heavily used in symbolic computation, formal reasoning, and program
verification. Rewriting-based techniques are useful in many other
fields as well, for instance, in quantum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will take place
at Ivane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The
school is aimed at students, researchers and practitioners interested
in the use or the study of rewriting and its applications and offers
two parallel tracks:

- Basic track: introduction to first-order term rewriting and =CE=BB-calcul=
us
  with lectures by Aart Middeldorp, Sarah Winkler and Sandra Alves

- Advanced track: lectures on rewriting theory and applications
   - Probabilistic term rewriting, Martin Avanzini
   - Protocol Analysis using Maude-NPA, Santiago Escobar
   - Automated Termination Analysis of Term Rewriting, Carsten Fuhs
   - On the Confluence of Rewrite Systems, Ra=C3=BAl Guti=C3=A9rrez
   - Theorem Proving with Applications, Christopher Lynch
   - Rule-based Programming with Rholog, Mircea Marin
   - Tree Automata Techniques for Term Rewriting, Aart Middeldorp
   - Modeling and Analysis of Real-time Systems in Rewriting Logic,
Peter Csaba =C3=96lveczky
   - Formal Methods for Machine Learning, Caterina Urban
   - Constraint Programming for Analysis of Rewriting, Johannes Waldmann

=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
Temur Kutsia

Contact:  [email protected]

ISR 2022 is promoted by the IFIP WG1.6 and supported by Ivane
Javakhishvili Tbilisi State University.

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

<div dir=3D"ltr"><div dir=3D"ltr"><pre style=3D"white-space:pre-wrap;font-f=
amily:&quot;Courier New&quot;,Courier,monospace,arial,sans-serif;margin-top=
:0px;margin-bottom:0px;color:rgb(0,0,0);font-size:14px">=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
13th International School on Rewriting (ISR 2022)

September 19-24, 2022, Tbilisi, Georgia
<a href=3D"https://viam.science.tsu.ge/clas2022/isr/" target=3D"_blank">htt=
ps://viam.science.tsu.ge/clas2022/isr/</a>

Part of the Computational Logic Autumn Summit (CLAS 2022)
<a href=3D"https://viam.science.tsu.ge/clas2022" target=3D"_blank">https://=
viam.science.tsu.ge/clas2022</a>
=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

Term Rewriting is a simple but powerful model of computation with numerous =
applications in computer science and mathematics. It is heavily used in sym=
bolic computation, formal reasoning, and program verification. Rewriting-ba=
sed techniques are useful in many other fields as well, for instance, in qu=
antum computing, biology, music...

The 13th International School on Rewriting (ISR 2022) will take place at Iv=
ane Javakhishvili Tbilisi State University, Tbilisi, Georgia. The school is=
 aimed at students, researchers and practitioners interested in the use or =
the study of rewriting and its applications and offers two parallel tracks:=
 =20

- Basic track: introduction to first-order term rewriting and =CE=BB-calcul=
us
  with lectures by Aart Middeldorp, Sarah Winkler and Sandra Alves

- Advanced track: lectures on rewriting theory and applications
   - Probabilistic term rewriting, Martin Avanzini
   - Protocol Analysis using Maude-NPA, Santiago Escobar
   - Automated Termination Analysis of Term Rewriting, Carsten Fuhs=20
   - On the Confluence of Rewrite Systems, Ra=C3=BAl Guti=C3=A9rrez
   - Theorem Proving with Applications, Christopher Lynch
   - Rule-based Programming with Rholog, Mircea Marin
   - Tree Automata Techniques for Term Rewriting, Aart Middeldorp
   - Modeling and Analysis of Real-time Systems in Rewriting Logic, Peter C=
saba =C3=96lveczky
   - Formal Methods for Machine Learning, Caterina Urban
   - Constraint Programming for Analysis of Rewriting, Johannes Waldmann

=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
<br></pre><pre style=3D"white-space:pre-wrap;font-family:&quot;Courier New&=
quot;,Courier,monospace,arial,sans-serif;margin-top:0px;margin-bottom:0px;c=
olor:rgb(0,0,0);font-size:14px">For the registration visit the Easychair sy=
stem: <a href=3D"https://easychair.org/conferences/?conf=3Dclas2022" target=
=3D"_blank">https://easychair.org/conferences/?conf=3Dclas2022</a></pre><pr=
e style=3D"white-space:pre-wrap;font-family:&quot;Courier New&quot;,Courier=
,monospace,arial,sans-serif;margin-top:0px;margin-bottom:0px;color:rgb(0,0,=
0);font-size:14px"><br></pre><pre style=3D"white-space:pre-wrap;font-family=
:&quot;Courier New&quot;,Courier,monospace,arial,sans-serif;margin-top:0px;=
margin-bottom:0px;color:rgb(0,0,0);font-size:14px">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 i=
nclude access to school materials, coffee breaks, and social events (excurs=
ion and banquet). The registration fee for an accompanying person is 150 Eu=
ro and includes only social events. </pre><pre style=3D"white-space:pre-wra=
p;font-family:&quot;Courier New&quot;,Courier,monospace,arial,sans-serif;ma=
rgin-top:0px;margin-bottom:0px;color:rgb(0,0,0);font-size:14px">Participant=
s affiliated with Ukrainian universities will have the registration fee wai=
ved. Further support will be announced if funds get available.=20

=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
Temur Kutsia

Contact:  <a href=3D"mailto:[email protected]" target=3D"_blank">bdundua@gm=
ail.com</a>

ISR 2022 is promoted by the IFIP WG1.6 and supported by Ivane Javakhishvili=
 Tbilisi State University.</pre></div><div class=3D"gmail-yj6qo"></div><div=
 class=3D"gmail-adL"></div><div class=3D"gmail-adL"><br></div></div>

--000000000000ae10c205e5150b55--

--===============8603678780013771209==
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

--===============8603678780013771209==--