Tbilisi Centre for Language, Logic and Speech

International Tbilisi Symposium on Logic, Language, and Computation

Since 1995, the Centre biennially organizes the International Tbilisi Symposium on Logic, Language, and Computation in Georgia. Since 1999 the organization is supported by the University of Amsterdam.

1995: The first symposium. Gudauri. Selected papers have been published by the CSLI Publications, Stanford.
1997: The second symposium. Tbilisi.
1999: The third symposium. Chakvi. Proceedings are available to download.
2001: The fourth symposium. Borjomi. Proceedings are available to download.
2003: The fifth symposium. Tbilisi. Proceedings are available to download.
2005: The sixth symposium. Batumi. Revised selected papers have been published by Springer as Volume 4363 of LNAI.
2007: The seventh symposium. Tbilisi. Revised selected papers have been published by Springer as Volume 5422 of LNAI.
2009: The eighth symposium. Bakuriani. Revised selected papers have been published by Springer as volume 6618 of LNAI .
2011: The ninth symposium. Kutaisi. Revised selected papers have been published by Springer as volume 7758 of LNCS.
2013: The tenth symposium. Gudauri. Revised selected papers have been published by Springer as volume 8984 of LNCS.
2015: The 11th symposium. Tbilisi. Revised selected papers have been published by Springer as volume 10148 of LNCS.
2017: The 12th symposium. Lagodekhi. Revised selected papers have been published by Springer as volume 11456 of LNCS.
2019: The 13th symposium. Tsikhisdziri. Revised selected papers have been published by Springer as volume 13206 of LNCS.

Vienna Tbilisi Summer School in Logic and Language

In 2000, the Centre organized the Tbilisi Summer School in Language, Logic and Computation. Since 2005, it joined the efforts of the Kurt Gödel Society to organize a series of Summer Schools on Logic and Language.