Großer Erfolg für die Oldenburger Informatik: Die Deutsche Forschungsgemeinschaft (DFG) verlängert den vor acht Jahren ins Leben gerufenen Sonderforschungsbereich (Transregio) „Automatic Verification and Analysis of Complex Systems“ (AVACS).

18 Jahre, 50 Bände: Die „Gemeinsame Wissenschaftskonferenz“ des Bundes und der Länder (GWK) hat im November das Projekt einer Gesamtausgabe des Philosophen Karl Jaspers bewilligt. Ein Höhepunkt in der Beschäftigung mit dem aus Oldenburg stammenden Denker.

DFG fördert Graduiertenkolleg der Informatik zur „Systemkorrektheit unter widrigen Umständen": Wie kann ein Transportfahrzeug selbständig fahren, ohne mit anderen Fahrzeugen zu kollidieren? Was sichert den Zugriff auf Computerinformationen?