20th Edition
An international forum for students and researchers
in logic, language, and computation
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.
September 9–13, 2026
Tbilisi, Georgia
Venue details to be announced
Undergraduate, Master's & PhD students, and Researchers
TU Wien · Kurt Gödel Society · Tbilisi State University
| 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.
The summer school welcomes applications from:
Suggested English language proficiency: minimum B2 level
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.
Georgia is a beautiful country in the heart of the Caucasus. For more information please visit the Georgian National Tourism Administration (GNTA).
Practical
We wouldn't recommend exchanging more than 50 Euros/dollars at the airport. There are plenty of banks, ATMs, and exchange offices throughout the city.
European sockets/plugs with ~220 V voltage.
There are many options around Chavchavadze Avenue and Melikishvili Street, within walking distance of TSU. Sites like booking.com, airbnb.com, and Google Maps can help you search and book — ratings based on many reviews are generally reliable. One hotel academic guests have used previously is Orion Hotel, though there are now many more options. Other central locations include Rustaveli Avenue and around Liberty Square (considered the central point of the city).
Flights at Tbilisi airport often arrive/depart in the middle of the night and taking a taxi is generally the most convenient option (bus #337 also runs between 07:00–23:00). Official airport taxis cost around 40–50 GEL (~15 €); private taxis can be 25–30 GEL if you agree on the price beforehand. We strongly recommend using Bolt or Maxim for taxi service.
A single ride (bus, minibus, or metro) costs 1 GEL. Pay with a bank card (Visa/Mastercard) or get a Metromani card at any metro station for 2 GEL.
Buses near the venue: 301, 307, 311, 345, 351, 354, 359, 385, 388, 397
Minibuses near the venue: 466, 512, 540
Plan trips at ttc.com.ge or via their mobile app.
We recommend Bolt for getting around the city (Uber has also announced availability in Georgia). The average price for a 1 km ride is around 2 GEL — expect 5–20 GEL between two city locations.
The school is jointly organized by
Contact: baaz@logic.at · mariami@logic.at
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
Two decades of logic, language, and Georgian hospitality
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.
TU Wien
Present since 2005
Université Paris Cité
Present since 2006
TSU Tbilisi
Present since 2007
Accelia Inc.
Present since 2006
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.
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.
Dining & Nightlife
Food & Nightlife in Tbilisi
Lunch near the Venue
There are many small cafes and restaurants within walking distance of the university. Some recommendations:
Bars & Restaurants
Several neighbourhoods in Tbilisi are packed with bars and restaurants:
Nightlife & Entertainment
The areas around Liberty Square and Rustaveli Metro Station are particularly lively. info-tbilisi.com lists arts, culture, and entertainment events. Apps like Foursquare or TripAdvisor are also useful for finding places to eat.