|
Sixteenth International Tbilisi Summer School in Logic and Language
|
Tbilisi 2022
Sixteenth International Tbilisi Summer School in Logic and Language
Sept. 19–Sept. 23, 2022, Tbilisi, Georgia
This summer school is part of the Computational Logic Autumn Summit (CLAS2022) coorganized by the Kurt Gödel Society in Tbilisi, Georgia. It will take place September 19-23 2022.
This Summer School is in addition to the eminence of the invited scientists devoted to peace within the sciences.
Registration
Registration: see CLAS2022 registration.
Georgian participants who intend to participate for free should send an e-mail to baaz@logic.at with subject Summer School Waiver.
Contact information
All inquiries should be sent to Matthias Baaz: baaz@logic.at
Contact in Georgia: +995593571217
Venue (PARTIAL CHANGE OF VENUE)
Ivane Javakhishvili Tbilisi State University
I Block Petre Melikishvili Auditorium 06 (19,20) Melikhvishvili Auditorium 115 (22,23)
1.Chavchavadze Av Tbilisi
Confirmed Lecturers
Bahareh Afshari (The Netherlands/Iran): Reasoning about Computation
Matthias Baaz (Austria): Epsilon Calculus
Lev Beklemishev (Russia): Foundations of Mathematics
Nachum Dershowitz (Israel): The Church=Turing Theses
Jan von Plato (Finnland): Recent Discoveries in Gödel´s Shorthand Notebooks
Program
| Monday, Sep 19 |
10:00-11:30 | Afshari |
|---|
| 12:00-13:30 | Dershowitz |
| Tuesday, Sep 20 |
10:00-11:30 | Afshari |
| 12:00-13:30 | Dershowitz |
| Thursday, Sep 22 |
10:00-11:30 | von Plato |
| 12:00-13:30 | Bekelmishev |
| 15:30-17:00 | Baaz |
| Friday, Sep 23 |
10:00-11:30 | von Plato |
| 12:00-13:30 | Bekelmishev |
| 15:30-17:00 | Baaz |
Excursion
The excursion of the Summer School will lead to Upliziche, an ancient stone cutted town similar to Petra in Jordan.
In addition a visit to the unique Stalin Museum in Gori is planned. 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
Guram Bezhanishvili
Nani Chanishvili
Gogi Chikoidze
David Gabelaia
Revaz Grigolia
Marina Ivanishvili
Anela Lolic
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
|