Temur Kutsia

  • kutsia@risc.jku.at
  • RISC, Johannes Kepler University Linz
  • Home
  • Publications
    • By Type
    • By Topics
      • Matching and Unification
      • Generalization
      • Declarative Programming
      • Automated Reasoning
      • Security and Verification
      • Formal Languages
      • Lambda Calculus-Related
      • Various
  • Projects
  • Activities
  • Teaching
  • Organization
  • Software
  • Links
  • Personal

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.

Copyright © 2018 - All Rights Reserved

Template by OS Templates