19 - 24 September 2022, 13th International School on Rewriting (ISR 2022), Tbilisi, Georgia
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 be part of Computational Logic Autumn Summit and 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 both Basic and Advanced tracks.
We invite proposals for courses in the Advanced Track. If you are interested in giving a lecture in the advanced track, send us a mail before December 15, 2022 with the following informations: - a title, - an abstract, - an outline of the lecture, - some bibliographical references, - an expected duration.