Temur Kutsia

Editorial board member

• Journal of Symbolic Computation.
• Tbilisi Mathematical Journal.

Guest editor

• Special issues of the Journal of Symbolic Computation: 2009, 2010, 2014, 2016.
• Special issue of the Journal of Applied Logic: 2011.

Involvement in Program Committees

• PC (co-)chair: AB'07, SCSS'08, WWV'09, LLC'09, WWV'10, LLC'11, SCSS'14, UNIF'14, MACIS'17, UNIF'20, CICM'22.
• PC member: UNIF'06, WWV'07, WRS'08, UNIF'08, WWV'08, RTA'08, SCSS'09, UNIF'10, PAAR'10, Calculemus'10, Automatheo'10, ANB'10, SCSS'10, LOPSTR'10, PPDP'10, SYNASC (since 2010), WWV'11, AITC'11, WWV'12, ATX'12, SCSS'12, CICM'13, SCSS'13, RTA'13, LPAR-19, PPDP'14, UNIF'15, RTA'15, LPAR-20, SCSS'16, LSFA'16, UNIF'16, SCSS'17, CICM'17, UNIF'17, ICMS'18, UNIF'18, UNIF'19, CICM'20, LOPSTR'20, FSCD'21.