|
Nineteenth International Tbilisi Summer School in Logic and Language
|
Kutaisi 2025
Nineteenth International Tbilisi Summer School in Logic and Language
Sept. 3–Sept. 6, 2025, Kutaisi, Georgia
This summer school is organized by the Kurt Gödel Society and is partially co-located with 19th edition of the European Conference on Logics in Artificial Intelligence (September 1-5)
(Jelia 2025) and followed by the Fifteenth International Tbilisi Symposium on Logic, Language and Computation
(September 8-12), Kutaisi (Tskhaltubo), Georgia. (TbiLLC 2025).
Summer School will take place September 3-6 2025.
Registration
Georgian participants who intend to participate for free should send an e-mail to baaz@logic.at with subject Summer School Waiver.
The attendance of the summer school is free for participants of Jelia and/or TbiLLC.
Contact information
All inquiries should be sent to Matthias Baaz: mariami@logic.at
Contact in Georgia: +995577958435
Venue
Kutaisi International University Campus
Akhalgazrdoba Ave. Lane 5/7,
Kutaisi, 4600 Georgia
Lecturers
M. Baaz and M. Gamsakhurdia: Goedel Logics
S. Ghilardi: Categorical Logic: a gentle introduction
M. Jibladze: TBA
V. Marra: TBA
Program : TBA
Excursion
The exursion of the summer school is free for students and participants of Jelia and summer school, otherwise the fee is 60 euros.
Date: Wednesday
Venue: TBA
About Georgia
Georgia is a beautiful country in the heart of the Caucasus. For more information please visit the following web site:
Official website of Georgia.
Programme and Organising Committee
Nino Antidze
Rusudan Asatiani
Matthias Baaz
Nick Bezhanishvili
Nani Chanishvili
Gogi Chikoidze
Besik Dundua
David Gabelaia
Mariami Gamsakhurdia
Revaz Grigolia
Marina Ivanishvili
Anela Lolic
Michel Parigot
Mikheil Rukhaia
Lali Tibua
Lia Kurtanidze
Anna Chutkerashvili
| Impressum gem. § 25 MedienG (Österreich): Matthias Baaz; c/o TU Wien; 1040 Wien. technische Betreuung: Anela Lolic; Wien.
Für extern gelinkte Seiten wird keine Haftung übernommen, und die Verfasser distanzieren sich vom Inhalt gelinkter Seiten. |
2015-01-09
|