Temur Kutsia

Editorial board member

• Journal of Symbolic Computation.
• SCML: A Publishing Forum for Symbolic Computation and Machine Learning.

Guest editor

• Special issues of the Journal of Symbolic Computation: 2009, 2010, 2014, 2016, 2023, 2025.
• Special issue of the Journal of Applied Logic: 2011.
• Special issues of Annals of Mathematics and Artificial Intelligence: 2020, 2022.
• Topical collection of the Journal of Automated Reasoning: 2025.

Program Committees and Evaluation Panels

• PC (co-)chair: AB'07, SCSS'08, WWV'09, LLC'09, WWV'10, LLC'11, SCSS'14, UNIF'14, MACIS'17, UNIF'20, SCSS'21, CICM'22, LSFA'23, ITP'24, JELIA'25, SCML'26.
• 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, FROM'20, LSFA'21, UNIF'21, LOPSTR'21, FSCD'21, WRLA'22, UNIF'22, LSFA'22, CAI'22, LOPSTR'22, LTC'23, TbiLLC'23, FROM'23, DCM'23, UNIF'23, CICM'23, IJCAI'23 (survey track), UNIF'24, WRLA'24, SCSS'24, CICM'24, IJCAI'24 (survey track), LFMTP'25, UNIF'25, LOPSTR'25, LTC'25, AAAI'25 (demo track), IJCAI'25 (survey track, HAI track), ISAIM'26.
• Evaluation panels: European Research Council (Synergy 2025 Call), Trond Mohn Foundation (Norway, evaluating research proposals), Georgian Ministry of Education and Science (evaluation of proposals of research institutes), Georgian National Science Foundation (evaluating research proposals), Austrian Academic Exchange Service OeAD (evaluating project proposals), LIT - Linz Institute of Technology (expert team member).