ენა, ლოგიკა, გამოთვლები, - თბილისის მეთორმეტე საერთაშორისო სიმპოზიუმი (18.IX.2017-22.IX.2017, თბილისი, Tbilisi Symposium on Logic, Language and Computation) წარმოადგენს ერთ-ერთ მნიშვნელოვან საერთაშ. აკად. ღონისძიებას, რ-იც აერთიანებს ლოგიკის, ენათმეცნ. და კომპიუტერული მეცნიერებების სფეროებს. მისი მიზანია ენის სტრუქტურის, აზროვნების ლოგიკური მოდელების და გამოთვლითი სისტემების ურთიერთკავშირის კვლევა. მეთორმეტე სიმპოზიუმი გაიმართა თსუ-ის და საერთაშ. პარტნიორი ორგანიზაციების მონაწილეობით. სიმპოზიუმის მთ. მიზანი იყო: ლოგიკისა და ენის თეორიის ინტეგრაცია; ბუნებრივი ენის ფორმალური მოდელების განვითარება; ხელოვნური ინტელექტის ლოგიკური საფუძვლების კვლევა; გამოთვლითი ლინგვისტიკის ახ. მეთოდების განხილვა; საერთაშ. თანამშრომლობის გაძლიერება მეცნიერებაში. ეს ღონისძიება წარმოადგენს ერთ-ერთ ყველაზე პრესტიჟულ რეგიონულ ფორუმს, სადაც ერთმანეთს ხვდებიან ევროპ. და მსოფლიოს წამყვანი უნ-ტების მკვლევრები. სიმპოზიუმზე განხილული იყო რამდენიმე ძირითადი მიმართულება. ლოგიკა და ფორმალური სისტემები: მათ. და მოდალური ლოგიკა; მტკიცებულების თეორია; ფორმალური სემანტიკა. ენა და ლინგვისტიკა: სინტაქსი და სემანტიკა; ლინგვ. ტიპოლოგია; ენის ევოლუცია და განვითარება. გამოთვლითი მეცნიერებები: ალგორითმები და მონაცემთა დამუშავება; ბუნებრივი ენის დამუშავება (NLP); ხელოვნური ინტელექტის მოდელები. ინტერდისციპლინარული კვლევები: ენისა და აზროვნების კავშირი; ლოგიკური მოდელები კოგნიტურ მეცნიერებაში; თამაშების თეორია და ფორმალური სისტემები. სიმპოზიუმის ორგანიზებაში მონაწილეობდნენ: თსუ; ამსტერდამის უნ-ტის ლოგიკის, ენისა და გამოთვლების ინ-ტი (ILLC); სხვადასხვა ევროპ. და საერთაშ. სამეცნ. ცენტრები. მონაწილეობდნენ წამყვანი ევრ. პროფესორები; ქართვ. მეცნიერები; ახალგაზრდა მკვლევრები და დოქტორანტები. სიმპოზიუმის პროგრამა შედგებოდა: მოწვეული ლექციებისგან (Invited talks); სამეცნ. მოხსენებებისგან (Contributed papers); სასწ. კურსებისგან (Tutorials); დისკუსიებისა და სამუშაო სესიებისგან. ეს ფორმატი ხელს უწყობდა როგორც თეორიული ცოდნის გაზიარებას, ისე პრაქტ. კვლევითი გამოცდილების გაცვლას. თბილ. მეთორმეტე საერთაშ. სიმპოზიუმი „ენა, ლოგიკა, გამოთვლები“ წარმოადგენს მნიშვნელოვან აკად. მოვლენას, რ-მაც ხელი შეუწყო ლოგიკის, ენათმეცნ. და კომპიუტერული მეცნიერებების ინტეგრაციას. მისი მნიშვნელობა განსაკუთრებით იზრდება თანამედროვე ეპოქაში, როდესაც ხელოვნური ინტელექტი და ენის ტექნოლოგიები სწრაფად ვითარდება. სიმპოზიუმი ასევე მნიშვნელოვანია საქართველოსთვის, რადგან იგი აძლიერებს ქვეყნის მონაწილეობას საერთაშ. სამეცნ. სივრცეში.