|
Seventeenth International Tbilisi Summer School in Logic and Language
|
Tbilisi 2023
Seventeenth International Tbilisi Summer School in Logic and Language
Sept. 7–Sept. 15, 2023, Tbilisi, Georgia
This summer school is partially co-located with the conference Logic Algebra and Truth Degrees (LATD 2023) from September 11 – September 15 2023 coorganized by the Kurt Gödel Society in Tbilisi, Georgia, and supported by the Shota Rustaveli National Science Foundation of Georgie (SRNSFG).
It will take place September 7-15 2023.
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 LATD.
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
Lecture Hall 115
Confirmed Lecturers
Matthias Baaz, Austria: On the benefit of sound proofs based on unsound rules
Carles Noguera, Italy: First-order fuzzy logics and their 0-1 laws*
Michel Parigot, France: Introduction to proof theory
Norbert Preining, Japan: Introduction to machine learning - from idea to production
Andrei Voronkov, GB: Program synthesis using a saturation theorem prover*
*joint lectures with LATD
Program
| Thursday, Sep 7 |
10:00-11:30 | Parigot |
|---|
| 12:00-13:30 | Preining |
| 15:30-17:00 | Baaz |
| Friday, Sep 8 |
10:00-11:30 | Parigot |
| 12:00-13:30 | Preining |
| 15:30-17:00 | Baaz |
| Tuesday, Sep 12 |
16:30-18:00 | Voronkov |
| Thursday, Sep 14 |
16:30-18:00 | Noguera |
| Friday, Sep 15 |
15:00-16:30 | Noguera |
Excursion
The exursion of the summer school is free for students, otherwise the fee is 60 euros.
The excursion of the summer school on Saturaday, September 9, will lead to the Caucasus and to the Kazbek with its iconic church.
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.
(The excursion of LATD 2023 on Wednesday, September 13, will lead to Kakheti, the main wine growing region of Georgia, followed by a wine tasting, a visit to the palace of Duke Chavchavadze, and of the festival which takes place at this time. The conference dinner will be on return to Tbilisi.)
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
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
|