Projects

The MIPPA project investigates usage foundations of proof planning techniques in mathematical tutoring systems. It targets the integration of the …

The purpose of the CONTACT project is to take a first step towards the broad goal of building a general animation and simulation framework for …

The aim of the AWE project is to increase this feasibility by developing a methodology for the reuse of formal developments under the slogan …

Gnowsis ist a Software Tool to gather, order and structure the miscellanous Information and Data that can be found on personal computers by the …

The success of user interfaces based on conversational agents is very much dependent on the agents' conversational skills, and their ability to …

Protection Profiles for Discretionary Information Flow Control The protection of information flow is prevalently implemented with techniques like …

Eutist-Ami is an European Commission initiative aiming to help SMEs to improve their competitiveness and production processes by using leading edge …