![ISR 2022](assets/img/course-3.jpg)
International School on Rewriting
19-24 September 2022
Rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.
![CLAS 2022](assets/img/course-3.jpg)
International Tbilisi Summer School in Logic and Language
19-23 September 2022
The summer school is organised by the Kurt Gödel Society. The aim of this summer school is to bring international and Georgian scientists and students together.
![CLAS 2022](assets/img/course-3.jpg)
Summer School of the International Colloquium on Theoretical Aspects of Computing
26-30 September 2022