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
SCSS 2012: International Symposium on Symbolic Computation in Software Science (Event)
- Fairouz Kamareddine (Chair)
- Mahmoud Al-Saheb (Member)
- Serge Autexier (Member)
- M. Ayala-Rincón (Member)
- Iliano Cervesato (Member)
- Veronique Cortier (Member)
- Flavio de Moura (Member)
- Valeria de Paiva (Member)
- Mariangiola Dezani (Member)
- Sihem Guemara El Fatmi (Member)
- Anas Abou El Kalam (Member)
- Henda Ben Ghezala (Member)
- Sylvia Ghilezan (Member)
- Therese Hardin (Member)
- Jebelean, T. (Member)
- Mohamed Jmail (Member)
- Ahmed Hadj Kacem (Member)
- Helene Kirchner (Member)
- Kutsia, T. (Member)
- Pierre Lescanne (Member)
- Manuel Maarek (Member)
- Mohammed Mezghiche (Member)
- Greg Michaelson (Member)
- Aart Middeldorp (Member)
- Ali Mili (Member)
- Yasuhiko Minamide (Member)
- M. Mosbah (Member)
- David Plaisted (Member)
- Riadh Robbana (Member)
- Michael Rusinowitch (Member)
- Amr Sabry (Member)
- Masahiko Sato (Member)
- Yahya Slimani (Member)
- Sofiene Tahar (Member)
- Martin Wirsing (Member)
Activity: Membership/Function › Program committee