Forschungsaktivitäten der Informatik 4