Multilingual support for AMEISE. The objective is to simplify the set of existing database queries and to extent the marking agents by multilinguality support (as part of the AMEISE project, some funding might be possible). (P1102)

3D graph animation and clustering support within the Eclipse framework.The objective is to implement and test several graph and clustering algorithms with really large graphical structures. In an extended form, the topic is also available as a Master thesis. (P1201)

Eclipse test-case generator for formal Z specification. The objective is to integrate the „fastest“ framework (M. Cristia) into the Eclipse environment. In an extended form, the topic is also available as a Master thesis. (P1301)