{"id":863892,"date":"2022-07-26T07:33:18","date_gmt":"2022-07-26T14:33:18","guid":{"rendered":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/?post_type=msr-event&#038;p=863892"},"modified":"2022-07-28T00:03:09","modified_gmt":"2022-07-28T07:03:09","slug":"floc-2022","status":"publish","type":"msr-event","link":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/event\/floc-2022\/","title":{"rendered":"FLoC 2022"},"content":{"rendered":"\n\n\n\n\n<p>Microsoft is proud to be a sponsor of the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"http:\/\/i-cav.org\/2022\/\" target=\"_blank\" rel=\"noopener noreferrer\">34th International Conference on Computer Aided Verification<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, and part of the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/www.floc2022.org\/\" target=\"_blank\" rel=\"noopener noreferrer\">Federated Logic Conference (FLoc) 2022<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/p>\n\n\n\n<p>The Federated Logic Conference brings together several leading international conferences related to mathematical logic and computer science. FLoC 2022 includes 12 conferences, including CAV 2022 which is the 34th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. FLoC is held every four years and involves thousands of students and researchers from industry and academia.<\/p>\n\n\n\n<h3 id=\"program-committee\">Program Committee<\/h3>\n\n\n\n<p><a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/rybal\/\">Andrey Rybalchenko<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/nbjorner\/\">Nikolaj Bjorner<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/shuvendu\/\">Shuvendu Lahiri<\/a><\/p>\n\n\n\n\n\n<h3 id=\"womensfloc-dinner\">Women&#8217;s@FLoC dinner<\/h3>\n\n\n\n<p>The Women&#8217;s@FLoC dinner aims to connect women in the FLOC community, including researchers, developers, faculty, post-docs, and students. It is intended to celebrate achievements, small and big, and provide a low-pressure atmosphere to foster building one&#8217;s support group.<\/p>\n\n\n\n<p>In particular, we aim to:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Increase the feelings of community and belonging, especially among junior faculty, post-docs, and students through positive interactions with peers and more established faculty;<\/li><li>Establish new connections and collaborations;<\/li><li>Create a culture of support, growth, and welcoming in the logic in computer science and formal verification research community.<\/li><\/ul>\n\n\n\n<p>This will be the first Women&#8217;s@FLoC networking dinner, and be held on Friday, August 05, 2022, at 7 PM at the restaurant Isabella (Address: Mahanayim St 8, Haifa) \u2013 which is in the &#8216;Carmel center&#8217;, and it is close to some of the hotels suggested by FLOC.<\/p>\n\n\n\n<p>All are invited (free of cost), but there is limited space, therefore you should sign up for the dinner by completing the <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSf4wl9n_9ysnGUDu9tPK7QQckb1I3fJ7OJBa9tAM4Emh5p9HQ\/viewform?usp=sf_link\" target=\"_blank\" rel=\"noopener noreferrer\">Google Form<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>.<\/p>\n\n\n\n<p><strong>Date:<\/strong> Friday, August 5, 2022<br><strong>Time:<\/strong> 7:00 PM<br><strong>Location:<\/strong> <a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/isabelabar.rest.co.il\/\" target=\"_blank\" rel=\"noopener noreferrer\">Isabella<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>, Mahanayim St 8, Haifa<\/p>\n\n\n\n<div class=\"wp-block-buttons is-layout-flex wp-block-buttons-is-layout-flex\">\n<div class=\"wp-block-button\"><a data-bi-type=\"button\" class=\"wp-block-button__link\" href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSf4wl9n_9ysnGUDu9tPK7QQckb1I3fJ7OJBa9tAM4Emh5p9HQ\/viewform?usp=sf_link\" target=\"_blank\" rel=\"noreferrer noopener\">Register<\/a><\/div>\n<\/div>\n\n\n\n<p>The event is generously supported by Microsoft and organized in collaboration with the Women in Logic Workshop (<a class=\"msr-external-link glyph-append glyph-append-open-in-new-tab glyph-append-xsmall\" href=\"https:\/\/sites.google.com\/g.uporto.pt\/wil2022\" target=\"_blank\" rel=\"noopener noreferrer\">WiL2022<span class=\"sr-only\"> (opens in new tab)<\/span><\/a>) and Premium &#8211; the FLoC Production Company.<\/p>\n\n\n","protected":false},"excerpt":{"rendered":"<p>Microsoft is proud to be a sponsor of the 34th International Conference on Computer Aided Verification (opens in new tab), and part of the Federated Logic Conference (FLoc) 2022 (opens in new tab). The Federated Logic Conference brings together several leading international conferences related to mathematical logic and computer science. FLoC 2022 includes 12 conferences, [&hellip;]<\/p>\n","protected":false},"featured_media":864912,"template":"","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","msr_startdate":"2022-07-31","msr_enddate":"2022-08-12","msr_location":"Haifa, Israel","msr_expirationdate":"","msr_event_recording_link":"","msr_event_link":"","msr_event_link_redirect":false,"msr_event_time":"","msr_hide_region":false,"msr_private_event":false,"msr_hide_image_in_river":0,"footnotes":""},"research-area":[13560],"msr-region":[243014],"msr-event-type":[197941],"msr-video-type":[],"msr-locale":[268875],"msr-program-audience":[],"msr-post-option":[],"msr-impact-theme":[261667],"class_list":["post-863892","msr-event","type-msr-event","status-publish","has-post-thumbnail","hentry","msr-research-area-programming-languages-software-engineering","msr-region-middle-east-africa","msr-event-type-conferences","msr-locale-en_us"],"msr_about":"<!-- wp:msr\/event-details {\"title\":\"Microsoft at FLoC 2022\",\"hasSubtitle\":true,\"subTitle\":\"Israel Daylight Time (UTC +3)\",\"image\":{\"id\":864912,\"url\":\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner.jpg\",\"alt\":\"abstract pattern with 0s and 1s on a dark blue background\"}} \/-->\n\n<!-- wp:msr\/content-tabs -->\n<!-- wp:msr\/content-tab -->\n<!-- wp:paragraph -->\n<p>Microsoft is proud to be a sponsor of the <a href=\"http:\/\/i-cav.org\/2022\/\" target=\"_blank\" rel=\"noreferrer noopener\">34th International Conference on Computer Aided Verification<\/a>, and part of the <a href=\"https:\/\/www.floc2022.org\/\" target=\"_blank\" rel=\"noreferrer noopener\">Federated Logic Conference (FLoc) 2022<\/a>.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>The Federated Logic Conference brings together several leading international conferences related to mathematical logic and computer science. FLoC 2022 includes 12 conferences, including CAV 2022 which is the 34th in a series dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. FLoC is held every four years and involves thousands of students and researchers from industry and academia.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:heading {\"level\":3} -->\n<h3>Program Committee<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p><a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/rybal\/\">Andrey Rybalchenko<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/nbjorner\/\">Nikolaj Bjorner<\/a>, <a href=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/people\/shuvendu\/\">Shuvendu Lahiri<\/a><\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:msr\/content-tab -->\n\n<!-- wp:msr\/content-tab {\"title\":\"W@FLoC dinner\"} -->\n<!-- wp:heading {\"level\":3} -->\n<h3>Women's@FLoC dinner<\/h3>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>The Women's@FLoC dinner aims to connect women in the FLOC community, including researchers, developers, faculty, post-docs, and students. It is intended to celebrate achievements, small and big, and provide a low-pressure atmosphere to foster building one's support group.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>In particular, we aim to:<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><li>Increase the feelings of community and belonging, especially among junior faculty, post-docs, and students through positive interactions with peers and more established faculty;<\/li><li>Establish new connections and collaborations;<\/li><li>Create a culture of support, growth, and welcoming in the logic in computer science and formal verification research community.<\/li><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:paragraph -->\n<p>This will be the first Women's@FLoC networking dinner, and be held on Friday, August 05, 2022, at 7 PM at the restaurant Isabella (Address: Mahanayim St 8, Haifa) \u2013 which is in the 'Carmel center', and it is close to some of the hotels suggested by FLOC.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>All are invited (free of cost), but there is limited space, therefore you should sign up for the dinner by completing the <a href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSf4wl9n_9ysnGUDu9tPK7QQckb1I3fJ7OJBa9tAM4Emh5p9HQ\/viewform?usp=sf_link\" target=\"_blank\" rel=\"noreferrer noopener\">Google Form<\/a>.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><strong>Date:<\/strong> Friday, August 5, 2022<br><strong>Time:<\/strong> 7:00 PM<br><strong>Location:<\/strong> <a href=\"https:\/\/isabelabar.rest.co.il\/\" target=\"_blank\" rel=\"noreferrer noopener\">Isabella<\/a>, Mahanayim St 8, Haifa<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:buttons -->\n<div class=\"wp-block-buttons\"><!-- wp:button -->\n<div class=\"wp-block-button\"><a class=\"wp-block-button__link\" href=\"https:\/\/docs.google.com\/forms\/d\/e\/1FAIpQLSf4wl9n_9ysnGUDu9tPK7QQckb1I3fJ7OJBa9tAM4Emh5p9HQ\/viewform?usp=sf_link\" target=\"_blank\" rel=\"noreferrer noopener\">Register<\/a><\/div>\n<!-- \/wp:button --><\/div>\n<!-- \/wp:buttons -->\n\n<!-- wp:paragraph -->\n<p>The event is generously supported by Microsoft and organized in collaboration with the Women in Logic Workshop (<a href=\"https:\/\/sites.google.com\/g.uporto.pt\/wil2022\" target=\"_blank\" rel=\"noreferrer noopener\">WiL2022<\/a>) and Premium - the FLoC Production Company.<\/p>\n<!-- \/wp:paragraph -->\n<!-- \/wp:msr\/content-tab -->\n<!-- \/wp:msr\/content-tabs -->","tab-content":[],"msr_startdate":"2022-07-31","msr_enddate":"2022-08-12","msr_event_time":"","msr_location":"Haifa, Israel","msr_event_link":"","msr_event_recording_link":"","msr_startdate_formatted":"July 31, 2022","msr_register_text":"Watch now","msr_cta_link":"","msr_cta_text":"","msr_cta_bi_name":"","featured_image_thumbnail":"<img width=\"960\" height=\"540\" src=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner-960x540.jpg\" class=\"img-object-cover\" alt=\"abstract pattern with 0s and 1s on a dark blue background\" decoding=\"async\" loading=\"lazy\" srcset=\"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner-960x540.jpg 960w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner-1066x600.jpg 1066w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner-655x368.jpg 655w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner-343x193.jpg 343w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner-640x360.jpg 640w, https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-content\/uploads\/2022\/07\/XX_CAV_1920x720_MSR_Event_Page_Banner-1280x720.jpg 1280w\" sizes=\"auto, (max-width: 960px) 100vw, 960px\" \/>","event_excerpt":"Microsoft is proud to be a sponsor of the 34th International Conference on Computer Aided Verification (opens in new tab), and part of the Federated Logic Conference (FLoc) 2022 (opens in new tab). The Federated Logic Conference brings together several leading international conferences related to mathematical logic and computer science. FLoC 2022 includes 12 conferences, including CAV 2022 which is the 34th in a series dedicated to the advancement of the theory and practice of&hellip;","msr_research_lab":[],"related-researchers":[],"msr_impact_theme":["Empowerment"],"related-academic-programs":[],"related-groups":[],"related-projects":[],"related-opportunities":[],"related-publications":[865416,865422],"related-videos":[],"related-posts":[],"_links":{"self":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/863892","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event"}],"about":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/types\/msr-event"}],"version-history":[{"count":13,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/863892\/revisions"}],"predecessor-version":[{"id":868764,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event\/863892\/revisions\/868764"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/media\/864912"}],"wp:attachment":[{"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/media?parent=863892"}],"wp:term":[{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=863892"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=863892"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=863892"},{"taxonomy":"msr-video-type","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-video-type?post=863892"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=863892"},{"taxonomy":"msr-program-audience","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-program-audience?post=863892"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=863892"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/newed.any0.dpdns.org\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=863892"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}