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

Open to:

BSc/MSC /PhD students and researchers


19 September, 2022


Tbilisi, Georgia



13th International School on Rewriting (ISR 2022) September 19-24, 2022, Tbilisi, Georgia https://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: - Basic track: introduction to first-order term rewriting and λ-calculus 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úl Gutiérrez - 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 Ölveczky - Formal Methods for Machine Learning, Caterina Urban - Constraint Programming for Analysis of Rewriting, Johannes Waldmann




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


ISR 2022 — 13th International School on Rewriting




BSc/MSC /PhD students and researchers


Please, contact us on e-mail.