Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Remainder: ISR 2022 Registration Open


view this post on Zulip Email Gateway (Aug 07 2022 at 06:08):

From: Besik Dundua <bdundua@gmail.com>
========================================================
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
========================================================

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:

==================
REGISTRATION
==================

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

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 Georgian and Ukrainian universities will
have the registration fee waived. Further support will be announced if
funds get available.

==================
ORGANIZERS
==================
Besik Dundua
Temur Kutsia

Contact: bdundua@gmail.com

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


Last updated: Mar 28 2024 at 08:18 UTC