Temur Kutsia

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

Organized Conferences, Symposia, Workshops, Schools

  • SWCL 2023
  • CLAS 2022
  • SYNASC 2022
  • SCSS 2021
  • UNIF 2014
  • SCSS 2013
  • PPDP 2010
  • LOPSTR 2010
  • RISC Summer 2010
  • WWV 2009
  • RISC Summer 2009
  • RTA 2008 and colocated events (meeting of the IFIP WG 1.6, CHR, RULE, WRS, UNIF)
  • SCSS 2008
  • RISC Summer 2008
  • AB 2007
  • SCSV 2007
  • Series of Training Schools in Symbolic Computation, 2007-2010
  • RISC Summer 2007
  • UNIF 2006

Copyright © 2018 - All Rights Reserved

Template by OS Templates