Algebraic specification of symbolic computation systems (by means of institutions technology).

Development of prototypes for new applications in Symbolic Computation for Algebraic Topology.

Interactions between functional and object-oriented programming for symbolic computation.

Integration of computer algebra systems and automated proof tools.

Conceptual modelling of mathematical knowledge.

Linguistic tools enabling the interoperability in Internet-based environments.