Dependable Systems Group

Florin Manea Chairs SC of CiE

Sep 26, 2016

Florin Manea has been appointed as the chair of the steering committee of the Computability in Europe (CiE) conference series. By that, he also became a member of the board of the European Association for Computer Science Logic (EACSL).