Tbilisi Summer School

20th Edition

International Tbilisi Summer School
in Logic and Language

An international forum for students and researchers
in logic, language, and computation

September 9–13, 2026 | Tbilisi, Georgia
Register Now  
About the School

About the School

The International Tbilisi Summer School in Logic and Language is a prestigious event bringing together students and researchers from around the world to explore foundational topics in mathematical logic, language theory, and computation.

Now in its 20th edition, the school continues its tradition of offering high-level courses taught by leading international experts in a welcoming and collaborative environment.

The school is organized jointly by TU Wien, the Kurt Gödel Society, and Tbilisi State University, and takes place alongside major logic events in Georgia — making it an ideal opportunity to engage with a broad international scientific community.

The summer school is supported by the Austrian Science Fund (FWF) and co-organised by the Kurt Gödel Society, TU Wien, and Tbilisi State University. The aim of this summer school is to bring international and Georgian scientists and students together.

Dates

September 9–13, 2026

Location

Tbilisi, Georgia
Venue details to be announced

Who Can Apply

Undergraduate, Master's & PhD students, and Researchers

Organizers

TU Wien · Kurt Gödel Society · Tbilisi State University

Faculty

Invited Speakers

  • Matthias Baaz TU Wien, Austria Proof Theory, Gödel Logics, Automated Reasoning
  • Michael Pinsker TU Wien, Austria Universal Algebra, Model Theory, Ramsey Theory
  • Stepan Kuznetsov Russian Academy of Sciences Modal Logics, Lambda Calculus, Infinitary Proofs
  • David Gabelaia I. Javakhishvili Tbilisi State University Modal Logic, Temporal Logic, Algebraic Logic
  • Zurab Baratashvili I. Javakhishvili Tbilisi State University Theoretical and Applied Linguistics, Philology
Curriculum

Topics Covered

Algebra
Mathematical Logic
Logic and Language
Foundations of Computation
Program

Schedule

Date Morning Afternoon Evening
Wed, Sep 9 To be announced To be announced To be announced
Thu, Sep 10 To be announced To be announced To be announced
Fri, Sep 11 Excursion departs 8:30 am — Uplistsikhe, Gori Mtskheta & Sveti-Tskhoveli Sunset at Jvari · Dinner at Cafe Tatin, Mtskheta
Sat, Sep 12 To be announced To be announced To be announced
Sun, Sep 13 To be announced To be announced

The detailed program will be announced closer to the event.

Day Trip

Excursion

Our excursion will lead us to the ancient Petra-like stone town of Uplistsikhe — an impressive town dating from the Bronze Age and central to Georgian history. When Tbilisi was in Arab hands, many Georgian Kings ruled from there, protected by its impregnable riverside position. You will see pre-Christian audience halls and living quarters cut in stone.

On the way, we will visit Mtskheta, the ancient capital of Georgia in Roman times, with its cathedral Sveti-Tskhoveli, the religious centre of the country, and the (worldwide last?) museum devoted to Stalin in Gori. The sunset at Jvari Monastery and the Summer School dinner at Cafe Tatin, Mtskheta, before returning to Tbilisi will complete our excursion.

The excursion will start at 8:30 am on Friday, 11 September, in front of the University.

Apply Now

Registration

The summer school welcomes applications from:

  • Undergraduate Students
  • Master's Students
  • PhD Students
  • Researchers

Suggested English language proficiency: minimum B2 level

Location

Venue

I. Javakhishvili Tbilisi State University

1 Chavchavadze Ave, Tbilisi, Georgia

The school will take place in Tbilisi, the capital city of Georgia — a vibrant destination with a rich cultural and scientific heritage.

About Georgia

Georgia is a beautiful country in the heart of the Caucasus. For more information please visit the Georgian National Tourism Administration (GNTA).

Organizers

Organization

The school is jointly organized by

Programme and Organising Committee

Nino Antidze · Rusudan Asatiani · Matthias Baaz · Nick Bezhanishvili · Gogi Chikoidze · Besik Dundua · David Gabelaia · Mariami Gamsakhurdia · Marina Ivanishvili · Evgeny Kuznetsov · Anela Lolic · Michel Parigot · Mikheil Rukhaia · Lali Tibua · Lia Kurtanidze · Anna Chutkerashvili

Legacy

School History

Two decades of logic, language, and Georgian hospitality

2005
Year Founded
20
Editions
50+
Invited Lecturers
15+
Countries Represented

The International Tbilisi Summer School in Logic and Language was founded in 2005 by the Kurt Gödel Society as a joint initiative between Vienna and Tbilisi, bringing together mathematicians, logicians, and linguists from across Europe and beyond. Held annually at Tbilisi State University, the school has featured world-class lecturers in proof theory, modal logic, algebra, and the foundations of computation — all against the backdrop of Georgian culture and hospitality. The 2008 edition was memorably described as "a gesture of peace in times of war." In 2010 the school ventured into the Svaneti mountains; in 2025 it moved to Kutaisi for the first time.

All Past Editions
Pillars

Founding & Long-Standing Contributors

Matthias Baaz
Matthias Baaz

TU Wien
Present since 2005

Michel Parigot
Michel Parigot

Université Paris Cité
Present since 2006

David Gabelaia
David Gabelaia

TSU Tbilisi
Present since 2007

Norbert Preining
Norbert Preining

Accelia Inc.
Present since 2006

Khimuri Rukhaia
Khimuri Rukhaia

TSU Tbilisi
Co-founder · In memoriam

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.