International Tbilisi Symposium on Logic, Language, and ComputationСимпозиум