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.
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.