The AVM is a 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 meeting is open to the public.<\/p>\n\n\n\n
AVM 2013 will take place at Fondazione Bruno Kessler (FBK) in Trento, Italy, from May 27th to May 29th, 2013.<\/p>\n\n\n\n
AVM will take place at the Scientific and Technological Hub of FBK.<\/p>\n\n\n\n
Address:
Fondazione Bruno Kessler (FBK)
Center for Scientific and Technological Research
Via Sommarive, 18
I-38123 Trento, Italy
tel. (+39) 0461 314 444
<\/p>\n\n\n\n
More information about past and future Alpine Verification Meetings are available on the AVM web site.<\/p>\n[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]\n","protected":false},"excerpt":{"rendered":"
The AVM is a 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 meeting is open to the public.
\nAVM 2013 will take place at Fondazione Bruno Kessler (FBK) in Trento, Italy, from May 27th to May 29th, 2013.<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"\n
The AVM is a 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 meeting is open to the public.<\/p>\n\n\n\n
AVM 2013 will take place at Fondazione Bruno Kessler (FBK) in Trento, Italy, from May 27th to May 29th, 2013.<\/p>\n\n\n\n
AVM will take place at the Scientific and Technological Hub of FBK.<\/p>\n\n\n\n
Address:
Fondazione Bruno Kessler (FBK)
Center for Scientific and Technological Research
Via Sommarive, 18
I-38123 Trento, Italy
tel. (+39) 0461 314 444
<\/p>\n\n\n\n
More information about past and future Alpine Verification Meetings are available on the AVM web site.<\/p>\n","_et_gb_content_width":"","footnotes":""},"categories":[9],"tags":[],"class_list":["post-418","post","type-post","status-publish","format-standard","hentry","category-news-and-events","et-doesnt-have-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/418","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=418"}],"version-history":[{"count":9,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/418\/revisions"}],"predecessor-version":[{"id":1527,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/418\/revisions\/1527"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=418"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=418"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=418"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}