Computational Logic Autumn Summit 2022Organising Committee
- Sedat Akleylek, Ondokuz Mayis University
- Sandra Alves, University of Porto
- Matthias Baaz (co-chair), Vienna University of Technology
- Besik Dundua (chair), Institute of Applied Mathematics, Tbilisi State University / Kutaisi International University
- Santiago Escobar, Universitat Politècnica de València
- Revaz Grigolia, Tbilisi State University
- Ana Idadze (event secretary), Kutaisi International University
- Temur Kutsia, Johannes Kepler University Linz
- Luigi Liquori, INRIA Sophia Antipolis-Méditerranée
- Mircea Marin, West University of Timisoara
- Konstantine Pkhakadze, Georgian Technical University
- Mikheil Rukhaia (co-chair), Institute of Applied Mathematics, Tbilisi State University
- Lali Tibua, Institute of Applied Mathematics, Tbilisi State University
- Zurab Vashakidze, University of Georgia
Volunteer Students
- Anna Arnania, Kutaisi International University
- Davit Begashvili, Kutaisi International University
- Luka Beraia, Tbilisi State University
- Zauri Bokelavadze, Kutaisi International University
- Nani Chkhenkeli, Kutaisi International University
- Tatia Dundua, Tbilisi State University
- Giorgi Grigolia, Business and Technology University
- Zurab Kituashvili, Kutaisi International University
- Tsotne Mikadze, Kutaisi International University
- Elene Prozorovi, Kutaisi International University
