|
|
Tenth International Tbilisi Summer School in Logic and Language |
The summer school is supported by the Austrian Science Fund (FWF) and organised by the Kurt Gödel Society. The aim of this summer school is to bring international and Georgian scientists and students together.
Bahareh Afshari, Vienna: Logic, Games and Automata
Matthias Baaz, Vienna: Epsilon Calculus in Non-Classical Logics
David Gabelaia, Tbilisi: Crash course in Aristotle's Syllogistic
Graham Leigh, Vienna: Formal Theories of Truth
Saeed Salehi, Tabriz: Axiomatic Mathematics: Issues of Decidability in Logic [slides]
Andrei Voronkov, Manchester: First-Order Theorem Proving and Vampire
| Monday, Sep 22 | 09:00-10:30 | Andrei Voronkov |
|---|---|---|
| 11:00-12:30 | Saeed Salehi | |
| 14:30-16:00 | Graham Leigh | |
| 16:30-18:00 | ||
| Tuesday, Sep 23 | 09:00-10:30 | Andrei Voronkov |
| 11:00-12:30 | Saeed Salehi | |
| 14:30-16:00 | Bahareh Afshari | |
| 16:30-18:00 | Graham Leigh | |
| Wednesday, Sep 24 | 09:00-10:30 | |
| 11:00-12:30 | ||
| 14:30-16:00 | ||
| 16:30-18:00 | Bahareh Afshari | |
| Thursday, Sep 25 | Excursion (see below) |
|
| Friday, Sep 26 | 09:00-10:30 | |
| 11:00-12:30 | Matthias Baaz | |
| 14:30-16:00 | David Gabelaia | |
| 16:30-18:00 | David Gabelaia | |
Please note that due to weather conditions, the excursion has been shifted to thursday.
A one day excursion on thursday will lead to Khevsureti, a wild and romantic mountain region of Georgia.| Impressum gem. § 25 MedienG (Österreich): Matthias Baaz; c/o TU Wien; 1040 Wien. technische Betreuung: Daniel Weller; Wien. Für extern gelinkte Seiten wird keine Haftung übernommen, und die Verfasser distanzieren sich vom Inhalt gelinkter Seiten. | 2014-08-29
|