Alpine Verification Meeting 2010

lugano_cost-avm-luganoOctober 18–19 2010

The Alpine Verification Meeting is an informal meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations.

The final program is available here.

Posted in Events, News, Scientific News