FORSYTE organizes CAV 2018

Wednesday, Jan 10, 2018

The FORSYTE group is co-organizing the 30th International Conference on Computer Aided Verification (CAV), which will take place in Oxford from July 14-17, 2018, as part of the Federated Logic Conference (FLoC). CAV is the leading conference on theory and practice of computer-aided formal verification for hardware and software systems.

The paper submission deadline is January 31, 2018 (see our Call for Papers). Please consider submitting your work to CAV, and join us in July in Oxford!