AVoCS 2005

"Fifth International Workshop on Automated Verification of Critical Systems" just concluded at
University of Warwick, (12–13 September 2005). The conference was arranged by members of Formal method and Quantum processing group of Department of computer Science. The details can be found here. Don't forget to check the photographs by our in-house researcher cum photographer Nick :-)

: 16 Sep 2005 11:50 |  Tags: Work |  Comments (0) |  Report a problem