You are here

AVM 2013 - Alpine Verification Meeting 2013

The Embedded Systems Unit - Center for Information Technology of Fondazione Bruno Kessler is organizing the "AVM 2013 - Alpine Verification Meeting 2013" 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.

Location: 
Sala Stringa, Fondazione Bruno Kessler, Via Sommarive 18 - Povo