Arbeitsgruppe Zuverlässige Systeme

Florin Manea leitet Lenkungsausschuss der CiE

26.09.2016

Florin Manea wurde zum Leiter des Lenkungsausschusses der Computability in Europe (CiE) Konferenzreihe gewählt. Damit ist er auch gleichzeitig Mitglied im Leitungsgremium der European Association for Computer Science Logic (EACSL).