The Goals of the Summer School
The main driving task of the Tbilisi International Summer School in "Logic, Language, Artificial Intelligence" is to construct technological alphabets for Georgian and Abkhazian languages, in other words, to construct the artificial intelligence systems completely knowing Georgian and Abkhazian languages, necessity of which is directly caused by Georgian state obligation to protect Georgian state languages - Georgian and Abkhazian languages from the danger of digital extinction in the rapidly forthcoming digital age.
In this way, the main first stage aim of the Summer School in "Logic, Language, Artificial Intelligence" is to make clear to the students of the school, predominantly to the local students of the school the objectives, methods, results and the perspectives of the interdisciplinary scientific field of the logic, language and artificial intelligence, which has a very high cultural value in nowadays for any nation, for any language.
At the same time, the abovementioned, and it is very clear, is an obligatory basis for ensuring further inclusion of local young scientific staff in this important interdisciplinary scientific field, and it is also very clear, that this inclusion vitally important for the culturally protection and technologically development of the Georgian and Abkhazian languages, which for today - in rapidly forthcoming digital age are the technologically very insufficiently supported and, accordingly, they are in the high level danger of digital extinction in the digital age.
Constitution of Georgia
The official language of Georgia shall be Georgian, and, in the Autonomous Republic of Abkhazia, also Abkhazian. The official language is protected by the organic law.
„When the parents take away the mother tongue from their children and instead making them to develope in a some foreign language, what do they do by this? - By this they take away their children from the greatest and matchless teacher and give them in the hands of a careless and soulless one. There is no need to be too forethoughtful to foresee for such children a hopeless future." - Iakob Gogebashvili (1840-1912)
„The first sign of the nation's identity is a language“ - Ilia Chavchavadze (1837-1907)
„Which European languages will thrive in the networked information and knowledge society, and which are doomed disappear? ... Europe needs robust and affordable language technology for all European languages“ – The META-NET’s study “Europe's Languages in the Digital Age” (2010 – 2012)
Program
September 9, Monday.
Georgian Technical University, Small Conference Hall
Konstantine Pkhakadze
Merab Chikvinidze
Giorgi Chichua
Lasha Abzianidze
Aleksandre Maskharashvili
The organizing group of the team competition
To define the tasks for team competition and to give some necessary comments to understand them
Konstantine Pkhakadze
Merab Chikvinidze
Giorgi Chichua
Lasha Abzianidze
Aleksandre Maskharashvili
The organizing group of the team competition
Additional explanations for the team competition tasks
Break - coffee and tea
Lasha Abzianidze
A natural proof system for natural language
Aleksandre Maskharashvili
Logical Grammars for Natural Language: Syntax, Semantics, and Their Interface
Jean-Philippe Bernardy
Probabilistic Semantics for Natural Language
Konstantine Pkhakadze
Foundation of Logical grammar of Georgian language
Konstantine Pkhakadze
Merab Chikvinidze
Giorgi Chichua
Lasha Abzianidze
Aleksandre Maskharashvili
The organizing group of the team competition
Consulting meeting with participants of the competition
Introductory meeting for school lecturers – banquet
September 10, Tuesday
Morning - Georgian Technical University, Small Conference Hall
Temur Kutsia
Proving and Solving in Unranked Logic Theories
Bagher BabaAli
Neural network & N-gram based language modeling for continuous speech recognition
Break - coffee and tea
Midday - Georgian National Academy of Sciences, Small Conference Hall
Opening of the session Dedicated to the 100th anniversary of the founder of the school of classical mathematical logic in Georgia, the honor scientist of Georgia, Shalva Pkhakadze
Khimur Rukhaia
A brief overview of Shalva Pkhakadze's scientific activities
Aleks Kirtadze
On the strong uniqueness property of invariant measures
Alexander Kharazishvili
On some applications of almost invariant sets
Konstantine Pkhakadze
Notation theory as a theoretical basis of the logical grammar of Georgian language and Georgian language’s theses
Zurab Khasidashvili
From Notation Theory to Expression Reduction Systems
Temur Kutsia
Notation Theory, Pattern Calculus, and Finitary Matching
coffee, tea and alafurshet
Cultural and gastronomic tour in old Tbilisi
September 11, Wednesday
Georgian Technical University, Small Conference Hall
Temur Kutsia
Proving and Solving in Unranked Logic Theories
Johan Bos
The parallel meaning bank: a multilingual corpus of translations annotated with compositional meaning representations
Break - coffee and tea
Aleksandre Maskharashvili
Logical Grammars for Natural Language: Syntax, Semantics, and Their Interface
Jean-Philippe Bernardy
Probabilistic Semantics for Natural Language
Konstantine Pkhakadze
Merab Chikvinidze
Giorgi Chichua
Lasha Abzianidze
Aleksandre Maskharashvili
The organizing group of the team competition
Consulting meeting with participants of the competition
September 12, Thursday
Excursion out of the city
More Details Comming Soon
September 13, Friday
Georgian Technical University, Small Conference Hall
Lasha Abzianidze
A natural proof system for natural language
Johan Bos
The parallel meaning bank: a multilingual corpus of translations annotated with compositional meaning representations
Break - coffee and tea
Aleksandre Maskharashvili
Logical Grammars for Natural Language: Syntax, Semantics, and Their Interface
Jean-Philippe Bernardy
Probabilistic Semantics for Natural Language
Konstantine Pkhakadze
Merab Chikvinidze
Giorgi Chichua
Lasha Abzianidze
Aleksandre Maskharashvili
The organizing group of the team competition
Consulting meeting with participants of the competition
September 14, Saturday
Georgian Technical University, Small Conference Hall
Lasha Abzianidze
A natural proof system for natural language
Konstantine Pkhakadze
Foundation of Logical grammar of Georgian language
Break - coffee and tea
Bagher BabaAli
Neural network & N-gram based language modeling for continuous speech recognition
Konstantine Pkhakadze
Merab Chikvinidze
Giorgi Chichua
Lasha Abzianidze
Aleksandre Maskharashvili
Presentations of participating teams of competition and evaluation of the results
Closing of the school
- Announcing a winning team; Presentation of the certificate and prize to the winning team; about the future perspectives of the school
School lecturers farewell meeting - banquet
September 15 , Sunday . Departure day
Competition
About the Team Competition of the School: School organizes team competition (see the program). For participate in this competition team leader is obligatory to complete registration form for the team competition (see Team Registration Form in the registration link). In addition, the first three places will be awarded by the winner's diploma and cash prize (first place - 500 GEL, second place 300 GEL, third place - 200 GEL).
Registration Form for student
To the winner of the team competition will be awarded with the
certificate of the winner
Registration Form for team
Graduates of the school will receive a
Certificate of the Graduation
Travel
-
International Travel
To Kutaisi Airport (KUT)
Kutaisi is a city in western Georgia. This city situated 221 kilometers (137 miles) west of Tbilisi. It is only 3.5 hour drive from Tbilisi. Information about bus From Kutaisi to Tbilisi is in the Gergian Bus Website WizzAir (a Low Cost Airline) is operating via Kutaisi Airport.WizzAir
To Tbilisi Airport (TBS)
Flights to Tbilisi are mainly operated by Turkish Airlines, Lufthansa and Pegasus Airlines. Turkish Airlines Lufthansa Pegasus Airlines
-
Local Transportation
Taxi fare is cheap in Georgia. In Tbilisi mostly you will pay max. 6-12 GEL (2-4 Euro). For foreigners we suggest Yandex Taxi Application which you can download from Google Play Store and Apple App Store. Public transportation also available. Minibus, Bus, Subway costs only 0.5 GEL (0.2 Euro). Some minibuses may cost 0.8 GEL (0.3 Euro).
Organizers
Constantine Demurchev
Member of the organizer committee of the school
David kurtskhalia
Member of the organizer committee of the school
Shalva Malidze
Member of the organizer committee of the school
Merab Chikvinidze
Coordinator of the Summer School
Giorgi Chichua
Assistant of the Summer School
Konstantine Pkhakadze
Chairman of the Summer School