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.

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.

Summer School of the International Colloquium on Theoretical Aspects of Computing

26-30 September 2022