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.
Jelia participants can register for the summer school Registration.
The attendance of the summer school is free for participants of TbiLLC. Those who are not participant of Jelia and/or TbiLLC should register and pay for the summer school Registration.
.

Contact information

All inquiries should be sent to Mariami Gamsakhurdia: mariami@logic.at
Matthias Baaz: baaz@logic.at
Contact in Georgia: +995577958435

Venue

Kutaisi International University Campus
Akhalgazrdoba Ave. Lane 5/7, Kutaisi, 4600 Georgia

Lecturers

F. Honsell: Constructive Type Theories and Logical Frameworks
M. Baaz and M. Gamsakhurdia: Goedel Logics
S. Ghilardi: Categorical Logic: a gentle introduction
V. Marra: A teaser on Algebraic Logic and Duality
M. Jibladze: The Continuing Story of Canonical Models

Program :

Wednesday, Sep 3	09:10 - 10:30	F. Honsell
	10:30 - 11:00	Cofee Break
	11:00 - 12:30	F. Honsell
	12:30 - 14:00	Lunch Break
	14:00 - 15:30	Excursion + Banquet
Thursday, Sep 4	10:30 - 11:00	Cofee Break
	11:00 - 12:30	M. Baaz, M. Gamsakhurdia
	12:30 - 14:00	Lunch Break
	14:00 - 15:30	M. Baaz, M. Gamsakhurdia
	15:30 - 16:00	Cofee Break
	16:00 - 17:30	V. Marra
Friday, Sep 5	10:30 - 11:00	Cofee Break
	11:00 - 12:30	S. Ghilardi
	12:30 - 14:00	Lunch Break
	14:00 - 15:30	M. Jibladze
	15:30 - 16:00	Cofee Break
	16:00 - 17:30	V. Marra
Saturday, Sep 6	10:30 - 11:00	Cofee Break
	11:00 - 12:30	S. Ghilardi
	12:30 - 14:00	Lunch Break
	14:00 - 15:30	M. Jibladze
	15:30 - 16:00	Cofee Break

Excursion

The excursion + dinner of the summer school is free for students and participants of Jelia and summer school, otherwise the fee is 60 euros(on site payment).
Please, notify us by email if you intend to join the excursion+dinner mariami@logic.at.
Date: Wednesday, September 3, 2025
Venue: Prometheus Cave Natural Monument Official website.

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
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