Skip to main navigation Skip to search Skip to main content

6th International Symposium on Symbolic Computation in Software Science, SCSS 2014 (Event)

  • Kutsia, T. (Chair)
  • Andrei Voronkov (Chair)
  • Elvira Albert (Member)
  • Adel Boughoula (Member)
  • James Davenport (Member)
  • Roberto Giacobazzi (Member)
  • Arie Gurfinkel (Member)
  • Nao Hirokawa (Member)
  • Tetsuo Ida (Member)
  • Florent Jacquemard (Member)
  • Laura Kovacs (Member)
  • Ali Mili (Member)
  • Joel Ouaknine (Member)
  • Ruzica Piskac (Member)
  • Dongming Wang (Member)

Activity: Membership/FunctionProgram committee

Period07 Dec 201408 Dec 2014
Event title6th International Symposium on Symbolic Computation in Software Science, SCSS 2014
Event typeOther
LocationTunisiaShow on map

Fields of science

  • 101013 Mathematical logic
  • 101001 Algebra
  • 101012 Combinatorics
  • 101 Mathematics
  • 101009 Geometry
  • 101005 Computer algebra

JKU Focus areas

  • Computation in Informatics and Mathematics