Name: International Conference on Verification, Model Checking, and Abstract Interpretation
Start: 2022-01-16T9:00+08:00
End: 2022-01-18T18:00+08:00

WP_Post Object ( [ID] => 29578 [post_author] => 251 [post_date] => 2021-12-27 11:07:42 [post_date_gmt] => 2021-12-27 11:07:42 [post_content] => For researchers from the verification, model verification, and abstract understanding communities, VMCAI provides a forum for interacting, trans-fertilizing, and hybrid processes that are linked with those areas. The 23rd edition in the series will be VMCAI 2022. [post_title] => International Conference on Verification, Model Checking, and Abstract Interpretation [post_excerpt] => [post_status] => publish [comment_status] => open [ping_status] => closed [post_password] => [post_name] => international-conference-on-verification-model-checking-and-abstract-interpretation [to_ping] => [pinged] => [post_modified] => 2021-12-27 11:07:42 [post_modified_gmt] => 2021-12-27 11:07:42 [post_content_filtered] => [post_parent] => 0 [guid] => https://globalexpo-net.com/?post_type=event&p=29578 [menu_order] => 0 [post_type] => event [post_mime_type] => [comment_count] => 0 [filter] => raw )