26 - 30 September 2022, Autumn School of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022 Autumn School), Tbilisi, Georgia

The ICTAC autumn school is a part of CLAS 2022 and will be held in Tbilisi, Georgia, September 26-30, 2022. The school will be organized by the Tbilisi State University. The intended audience of the winter school includes master and PhD students as well as young researchers from the fields of computer science and mathematics. The following lectures agreed to deliver classes at the school:

- Gödel logics - the dominance of order, Matthias Baaz(Vienna University of Technology)
- Verification and Model Checking with finite automata, Volker Diekert (University of Stuttgart)
- Nominal techniques, Maribel Fernandez (King's College London)
- A logical bases for the verification of imperative programs, Tudor Jebelean (RISC, Johannes Kepler University Linz)
- The semantically reflected digital twin, Einar Broch Johnsen (University of Oslo)
- Learning Meets Verification, Martin Leucker (University of Lübeck)
- Logical framework with union and intersection types, Luigi Liquori (INRIA)
- To prove with a proof assistant or not to prove, Dmitriy Traytel (University of Copenhagen)