Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014 (Veranstaltung)
- Kutsia, T. (Vorsitzende*r)
- Andrei Voronkov (Vorsitzende*r)
- Elvira Albert (Mitglied)
- Adel Boughoula (Mitglied)
- James Davenport (Mitglied)
- Roberto Giacobazzi (Mitglied)
- Arie Gurfinkel (Mitglied)
- Nao Hirokawa (Mitglied)
- Tetsuo Ida (Mitglied)
- Florent Jacquemard (Mitglied)
- Laura Kovacs (Mitglied)
- Ali Mili (Mitglied)
- Joel Ouaknine (Mitglied)
- Ruzica Piskac (Mitglied)
- Dongming Wang (Mitglied)
Aktivität: Mitgliedschaft/Funktion › Programm-Komitee