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

Flag Counter