|
|
Second Vienna Tbilisi Summer School in Logic and Language |
Organized by the Kurt Gödel Society
IMPORTANT NOTE: All participants NOT from Georgia should contact Matthias Baaz at baaz@logic.at!
Participants from countries with currency problems - no fee
Participants from other countries Euro 200.- including accomodation for up to 7 nights
A registration form will soon be online.
Nino ANTIDZE
Rusudan ASATIANI
Matthias BAAZ
Nani CHANISHVILI
Gogi CHIKOIDZE
Marina IVANISHVILI
Norbert PREINING
Chimurui RUKHAIA (chair)
All inquiries should be submitted to the following address:
tbilisi06@logic.at
Jemal Antidze: Formal Language and Grammar and its application to natural
language modelling
Matthias Baaz: ε-calculus and Skolem functions
Michel Parigot: Proof and Complexity
Norbert Preining: Kripke Semantics
Andrei Voronkov: Propositional Satisfiability
| Monday 18.9. | 10:00-12:00 | Michel Parigot |
|---|---|---|
| 14:00-16:00 | Michel Parigot | |
| 16:30-18:30 | Jemal Antidze | |
| Tuesday 19.9. | 10:00-12:00 | Matthias Baaz |
| 14:00-16:00 | Matthias Baaz | |
| 16:30-18:30 | Jemal Antidze | |
| Wednesday 20.9. | Excursion During the excursion we will visit Kacheti, the most important wine growing region of Georgia. All participants are invited. |
|
| Summer School Dinner - All participants are invited. | ||
| Thursday 21.9. | 10:00-12:00 | Andrei Voronkov |
| 14:00-16:00 | Andrei Voronkov | |
| Friday 22.9. | 10:00-12:00 | Norbert Preining |
| 14:00-16:00 | Norbert Preining | |
| 6pm: Kurt Gödel- a Mathematical Myth (by W.Schimanovich and P.Weibel, German with English subtitles) |
||
| © 2006 Norbert Preining. | 2005-06-18
 |