19 - 24 September 2022, International School on Rewriting (ISR 2022), Tbilisi, Georgia
Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verification, model-checking, compilation, biology, chemistry, physics, etc. The 13th International School on Rewriting, ISR 2022 will be part of Computational Logic Autumn Summit and is scheduled to be held September 19-24, 2022 in Tbilisi, Georgia. The school is aimed at Master and PhD students, researchers and practitioners interested in the use or the study of rewriting and its applications.
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.