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
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/Function › Program committee