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
WWV 2011: 7th International Workshop on Automated Specification and Verification of Web Systems (Event)
- Maria Alpuente (Member)
- Demis Ballis (Member)
- Santiago Escobar (Member)
- Jean-Marie Jacquet (Member)
- Laura Kovacs (Member)
- Kutsia, T. (Member)
- Tiziana Margaria (Member)
- Manuel Mazzara (Member)
- Catherine Meadows (Member)
- Yasuhiko Minamide (Member)
- Rosario Pugliese (Member)
- I.V. Ramakrishnan (Member)
- Maurice ter Beek (Member)
- Francesko Tiezzi (Member)
- F. Weitl (Member)
- Nobuko Yoshida (Member)
Activity: Membership/Function › Program committee