An international summer school on modern artificial intelligence technologies is being held at Kutaisi International University (KIU).
"School on Symbolic and Statistical Methods for Reasoning and Processing Formal Expressions" - a five-day program - is being conducted for students of KIU’s Schools of Mathematics and Computer Science.
Professor Paata Turava, Acting Rector of Kutaisi International University, welcomed the organizers and participants with an opening speech. He emphasized the importance of integrating modern AI methods into the educational process and the need to create new opportunities for students. The opening ceremony was attended by Vakhtang Tsagareli, Director of Kutaisi University Campus, as well as professors and invited guests. Giorgi Pipia, Head of the International Relations Department at KIU, also addressed the participants.
As part of the program, Georgian and international students are attending lectures on key topics in symbolic and statistical methods, delivered by distinguished researchers from leading universities, including King’s College London, the University of Bologna, Sapienza University of Rome, the Technical University of Valencia, Johannes Kepler University, the University of Lübeck, and the University of Sussex.
Throughout the five-day program, participants will explore modern techniques in formal reasoning and expression processing. These approaches are essential for verifying the accuracy and security of computer programs and systems, analyzing control policies, and enabling automated reasoning.
The International Summer School is organized by Nika Gagua, Head of the School of Computer Science at KIU, and Besik Dundua, Associate Professor at the CS School. Upon successful completion of the summer school, participants will be awarded certificates.
