{"id":5533,"date":"2021-11-01T12:36:12","date_gmt":"2021-11-01T10:36:12","guid":{"rendered":"https:\/\/zen-cori.138-201-132-86.plesk.page\/?post_type=events&p=5533"},"modified":"2022-07-14T15:50:18","modified_gmt":"2022-07-14T13:50:18","slug":"industry-day-of-formal-methods-2021-conference","status":"publish","type":"events","link":"https:\/\/www.btc-embedded.com\/de\/events\/industry-day-of-formal-methods-2021-conference\/","title":{"rendered":"Industry Day of Formal Methods 2021 Conference"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

20. – 26. November 2021<\/h3>

Location: Online (virtual conference)<\/h3>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

FM 2021<\/a>\u00a0is the 24th international symposium in a series organized by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems.<\/p>

The conference is planned to take place on November 20-26, 2021. It is hosted by the Institute of Software, Chinese Academy of Sciences in Beijing, China.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t

\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

The\u00a0Industry Day (I-Day)<\/a>\u00a0is a forum organized in conjunction with FM and targets industrial development and use of formal methods. The objective of I-Day is to bring industry to the congress, and to foster the important discussion about where state of the art in formal methods is today, seen from an industry point of view.<\/p>

As part of the Industry Day, our\u00a0CEO Dr. Udo Brockmeyer<\/strong>\u00a0will present a paper about\u00a0„Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems“<\/strong>, in which he will share our experience with variuos applications of formal methods with our industrial partners and customers.<\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"

As part of the Industry Day, our CEO Dr. Udo Brockmeyer will present a paper about „Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems“, in which he will share our experience with variuos applications of formal methods with our industrial partners and customers.<\/p>\n","protected":false},"featured_media":0,"template":"elementor_theme","event_type":[59],"class_list":["post-5533","events","type-events","status-publish","hentry","event_type-conference"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/events\/5533","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/events"}],"about":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/types\/events"}],"version-history":[{"count":0,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/events\/5533\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/media?parent=5533"}],"wp:term":[{"taxonomy":"event_type","embeddable":true,"href":"https:\/\/www.btc-embedded.com\/de\/wp-json\/wp\/v2\/event_type?post=5533"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}