|
Eighteenth International Tbilisi Summer School in Logic and Language
|
Tbilisi 2024
Eighteenth International Tbilisi Summer School in Logic and Language
Sept. 12–Sept. 15, 2024, Tbilisi, Georgia
This summer school is partially co-located with the fifteenth edition of the International Conference on Interactive Theorem Proving (ITP 2024) and organized by the Kurt Gödel Society in Tbilisi, Georgia.
It will take place September 12-15 2024.
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 ITP.
Contact information
All inquiries should be sent to Matthias Baaz: baaz@logic.at
Contact in Georgia: +995593571217
Venue
Ivane Javakhishvili Tbilisi State University
1.Chavchavadze Av Tbilisi
Intended Lecturers
M. Baaz and M. Gamsakhurdia, on epsilon calculus
M. Butskhrikidze, on languages
D. Cerna, on CERES (cut elimination by resolution)
S. Hetzl, on induction
M. Parigot, on proof sytems
Program
TBA
Excursion
The exursion of the summer school is free for students and participants of ITP, otherwise the fee is 60 euros.
The excursion of the summer school will lead to the ancient Petra-like stone town of Ushguli.
The visit to Mtskheta, the capital of Georgia in Roman times is followed by the sunset in Jvari monestary and the Summer School dinner at Cafe Tatin, Mtskheta, before returning to Tbilisi. The excursion will start 8.30 am in front of the University.
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
Revaz Grigolia
Marina Ivanishvili
Anela Lolic
Mariami Gamsakhurdia
Michel Parigot
Mikheil Rukhaia
Lali Tibua
| 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
|