Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
WWV 2011: 7th International Workshop on Automated Specification and Verification of Web Systems (Veranstaltung)
- Maria Alpuente (Mitglied)
- Demis Ballis (Mitglied)
- Santiago Escobar (Mitglied)
- Jean-Marie Jacquet (Mitglied)
- Laura Kovacs (Mitglied)
- Kutsia, T. (Mitglied)
- Tiziana Margaria (Mitglied)
- Manuel Mazzara (Mitglied)
- Catherine Meadows (Mitglied)
- Yasuhiko Minamide (Mitglied)
- Rosario Pugliese (Mitglied)
- I.V. Ramakrishnan (Mitglied)
- Maurice ter Beek (Mitglied)
- Francesko Tiezzi (Mitglied)
- F. Weitl (Mitglied)
- Nobuko Yoshida (Mitglied)
Aktivität: Mitgliedschaft/Funktion › Programm-Komitee