{"id":353,"date":"2018-07-23T10:14:32","date_gmt":"2018-07-23T10:14:32","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=353"},"modified":"2020-12-16T17:57:25","modified_gmt":"2020-12-16T17:57:25","slug":"i-day","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/i-day\/","title":{"rendered":"i-Day"},"content":{"rendered":"<p>\u27a1\ufe0f <strong>REGISTRATION<\/strong>&nbsp; &#8211; please visit the <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=2221#\">Call for Participation<\/a> page. \u2b05\ufe0f<\/p>\n<p>\u27a1\ufe0f <a href=\"https:\/\/easychair.org\/smart-program\/ID2019\/\"><strong>Final Program<\/strong><\/a> \u2b05\ufe0f<\/p>\n<p>The <strong>Industry Day<\/strong> (i-Day) of <strong>FM&#8217;19<\/strong> is scheduled for <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=200\">October 11, 2019<\/a>.<\/p>\n<h4>I-Day Chairs<\/h4>\n<ul>\n<li><a href=\"http:\/\/galois.com\/team\/joe-kiniry\/\">Joe Kiniry<\/a>, Galois, Inc<\/li>\n<li><a href=\"https:\/\/www.linkedin.com\/in\/thierry-lecomte-19695b\/\">Thierry Lecomte<\/a>, ClearSy<\/li>\n<\/ul>\n<h4>Program Committee<\/h4>\n<ul>\n<li><a href=\"https:\/\/www.linkedin.com\/in\/manthonyaiello\/\" target=\"_blank\" rel=\"noopener noreferrer\">M. Antony Aiello<\/a>, AdaCore Technologies<\/li>\n<li><a href=\"https:\/\/galois.com\/team\/flemming-andersen\/\" target=\"_blank\" rel=\"noopener noreferrer\">Flemming Andersen<\/a>, Galois Inc.<\/li>\n<li><a href=\"mailto:BasagiS@utrc.utc.com\" target=\"_blank\" rel=\"noopener noreferrer\">Stylianos Basagianni<\/a>, United Technologies Research Centre<\/li>\n<li><a href=\"https:\/\/proteancode.com\/\" target=\"_blank\" rel=\"noopener noreferrer\">Roderick Chapman<\/a>, Protean Code Limited<\/li>\n<li><a href=\"https:\/\/www.linkedin.com\/in\/david-cok-1a167310\/\" target=\"_blank\" rel=\"noopener noreferrer\">David Cok<\/a>, GrammaTech<\/li>\n<li><a href=\"https:\/\/stlab.dinfo.unifi.it\/fantechi\/\" target=\"_blank\" rel=\"noopener noreferrer\">Alessandro Fantechi<\/a>, DINFO &#8211; Universit\u00e1 di Firenze<\/li>\n<li><a href=\"https:\/\/www.microsoft.com\/en-us\/research\/people\/chrishaw\/\" target=\"_blank\" rel=\"noopener noreferrer\">Chris Hawblitzel<\/a>, Microsoft<\/li>\n<li><a href=\"http:\/\/pure.au.dk\/portal\/en\/persons\/peter-gorm-larsen(318d787b-3528-4a49-88be-60491de69409).html\" target=\"_blank\" rel=\"noopener noreferrer\">Peter Gorm Larsen<\/a>, Aarhus University<\/li>\n<li><a href=\"http:\/\/www.cs.hhu.de\/en\/research-groups\/software-engineering-and-programming-languages\/our-team\/team\/michael-leuschel.html\" target=\"_blank\" rel=\"noopener noreferrer\">Michael Leuschel<\/a>, University of D\u00fcsseldorf<\/li>\n<li><a href=\"https:\/\/blog.adacore.com\/author\/moy\" target=\"_blank\" rel=\"noopener noreferrer\">Yannick Moy<\/a>, AdaCore<\/li>\n<li><a href=\"http:\/\/www.informatik.uni-bremen.de\/agbs\/jp\/\" target=\"_blank\" rel=\"noopener noreferrer\">Jan Peleska<\/a>, Verified Systems International GmbH<\/li>\n<li><a href=\"https:\/\/www.researchgate.net\/profile\/Etienne_Prun\" target=\"_blank\" rel=\"noopener noreferrer\">Etienne Prun<\/a>, CLEARSY<\/li>\n<li><a href=\"https:\/\/www.linkedin.com\/in\/kenji-taguchi-22727b\/\" target=\"_blank\" rel=\"noopener noreferrer\">Kenji Taguchi<\/a>, CAV Technologies Co., Ltd.<\/li>\n<li><a href=\"https:\/\/es-static.fbk.eu\/people\/tonetta\/\" target=\"_blank\" rel=\"noopener noreferrer\">Stefano Tonetta<\/a>, FBK-irst<\/li>\n<li><a href=\"https:\/\/galois.com\/team\/dan-zimmerman\/\" target=\"_blank\" rel=\"noopener noreferrer\">Daniel Zimmerman<\/a>, Galois Inc.<\/li>\n<\/ul>\n<h4>Accepted Papers<\/h4>\n\n<table id=\"tablepress-69\" class=\"tablepress tablepress-id-69\">\n<thead>\n<tr class=\"row-1 odd\">\n\t<th class=\"column-1\"><strong ><strong >Title<\/strong><\/strong><\/th><th class=\"column-2\"><strong ><strong >Author<\/strong><\/strong><\/th>\n<\/tr>\n<\/thead>\n<tbody class=\"row-hover\">\n<tr class=\"row-2 even\">\n\t<td class=\"column-1\">Adopting Formal Methods in an Industrial Setting: the Railways Case<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"http:\/\/fmt.isti.cnr.it\/~mtbeek\/\">Maurice ter Beek<\/a><\/td>\n<\/tr>\n<tr class=\"row-3 odd\">\n\t<td class=\"column-1\">Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"mailto:robert.eschbach@itk-engineering.de\">Robert Eschbach<\/a><\/td>\n<\/tr>\n<tr class=\"row-4 even\">\n\t<td class=\"column-1\">Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"mailto:daniel.silveira@gmv.com\">Daniel Silveira<\/a><\/td>\n<\/tr>\n<tr class=\"row-5 odd\">\n\t<td class=\"column-1\">Practical Application of SPARK to OpenUxAS<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"https:\/\/www.linkedin.com\/in\/manthonyaiello\/\">M. Antony Aiello<\/a><\/td>\n<\/tr>\n<tr class=\"row-6 even\">\n\t<td class=\"column-1\">Property-Driven Software Analysis<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"\">David Deharbe<\/a><\/td>\n<\/tr>\n<tr class=\"row-7 odd\">\n\t<td class=\"column-1\">On the Role of Formal Methods in Assuring Autonomous Systems That Use Machine Learning (Invited Talk)<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"https:\/\/www.linkedin.com\/in\/connie-heitmeyer-5b526b\/\">Constance Heitmeyer<\/a><\/td>\n<\/tr>\n<tr class=\"row-8 even\">\n\t<td class=\"column-1\">Formal Models as Executable Prototypes and Interactive Requirements Documents (Invited Talk)<\/td><td class=\"column-2\"><a target=\"_blank\" href=\"http:\/\/www.cs.hhu.de\/en\/research-groups\/software-engineering-and-programming-languages\/our-team\/team\/michael-leuschel.html\">Michael Leuschel<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<!-- #tablepress-69 from cache -->\n<h4><\/h4>\n<h4>Call for papers<\/h4>\n<p><a href=\"http:\/\/www.fmeurope.org\/\"><img loading=\"lazy\" class=\"alignright wp-image-560\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/07\/fme.png\" alt=\"\" width=\"97\" height=\"108\"><\/a> The FM series of events has been notably successful in bringing together innovators and practitioners in precise mathematical methods for software and systems development, industrial users, as well as researchers.<\/p>\n<p>The <em>Industry Day<\/em> <strong>(i-Day<\/strong>) is a forum organized in conjunction with FM and targeting industrial development and use of formal methods. The objective of <strong>i-Day<\/strong> 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>\n<p>The <strong>i-Day<\/strong> will host two keynotes,<\/p>\n<ul>\n<li><a href=\"http:\/\/www.cs.hhu.de\/en\/research-groups\/software-engineering-and-programming-languages\/our-team\/team\/michael-leuschel.html\">Michael Leuschel<\/a> (University of Dusseldorf)<\/li>\n<li><a href=\"https:\/\/scholar.google.com\/citations?user=9P6yjggAAAAJ&amp;hl=en\">Constance Heitmeyer<\/a> (Naval Research Laboratory)<\/li>\n<\/ul>\n<p>and several presentations selected through a call for papers.<\/p>\n<p>The <strong>i-Day<\/strong> welcomes short papers and extended abstracts describing industrial applications of formal methods, experience with introducing formal methods in industry, tool usage reports and experiments with challenge problems. Authors are encouraged to explain how the use of formal methods has overcome engineering and certification\/qualification problems, led to improvements in design or provided new insights, with safety and\/or security consideration in mind.<\/p>\n<p>Topics of particular interest include (but are not restricted to):<\/p>\n<ul>\n<li>formal modelling and verification techniques<\/li>\n<li>safety and security<\/li>\n<li>autonomous vehicles<\/li>\n<li>explainable AI<\/li>\n<\/ul>\n<h4>Submissions<\/h4>\n<p>We can accept two types of submission:<\/p>\n<ul>\n<li>Industrial experience reports or research papers with strong connexion with industry \u2013 not more than 10 pages in length (including appendices and references).<\/li>\n<li>Extended abstracts &#8211; between 2 and 4 pages.<\/li>\n<\/ul>\n<p>The selection will be based on the innovative aspects of the subject and its connexion with current topics.<\/p>\n<p>At least one author of each accepted paper must register to the conference.<\/p>\n<p>To submit your paper go to the conference submission site &nbsp;(<a class=\"moz-txt-link-freetext\" href=\"https:\/\/easychair.org\/conferences\/?conf=id20191\">https:\/\/easychair.org\/conferences\/?conf=id20191<\/a>).<\/p>\n<p><a href=\"https:\/\/www.springer.com\/gp\/computer-science\/lncs\"><img loading=\"lazy\" class=\"alignright wp-image-560\" src=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/springer_lncs-300x209.png\" alt=\"\" width=\"152\" height=\"106\" srcset=\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/springer_lncs-300x209.png 300w, http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/09\/springer_lncs.png 500w\" sizes=\"(max-width: 152px) 100vw, 152px\" \/><\/a>Submissions must be formatted in the Springer LNCS format. The conference proceedings will be published by Springer in the LNCS series, as part of the FM conference proceedings.<\/p>\n<h4>Important dates<\/h4>\n<ul>\n<li style=\"list-style-type: none;\">\n<ul><!--\n \t\n\n<li>03 May 2019 - abstract submission<\/li>\n\n\n--><\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>19 May 2019 &#8211; full paper submission (extended) deadline<\/li>\n<li>14 June 2019 &#8211; notification<\/li>\n<li>14 July 2019 &#8211; camera-ready papers submitted<\/li>\n<li>11 October 2019 &#8211; I-Day<\/li>\n<\/ul>\n<h4>FM&#8217;19 Tool Exhibition: Call for Tools<\/h4>\n<p>The <a href=\"http:\/\/formalmethods2019.inesctec.pt\/\">3rd World Congress on Formal Methods<\/a> will take place during the week of <strong>7-11 October 2019<\/strong> in <strong>Porto<\/strong>, Portugal. It brings together major conferences on formal methods, including the flagship <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=565\">FM conference<\/a>, and many satellite workshops. Complementing the academic program, the <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=353\">Industry Day<\/a> on October 11 targets industrial development of formal methods.<\/p>\n<p>The <strong>FM Tool Exhibition<\/strong> provides a forum for developers of academic or industrial tools that support the use of formal methods in different stages of system and software development.<\/p>\n<p>The <strong>tool exhibition<\/strong> will be located in a central lobby of the main conference building, facilitating informal exchanges with conference participants. Tools can be exhibited during all or part of the week, with a particular focus on the <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=353\">industry day<\/a> on October 11. Exhibitors are requested to provide their hardware equipment and to ensure the presence of at least one person at their stands during the days they choose to exhibit their tool.<\/p>\n<h6>Financial conditions<\/h6>\n<ul>\n<li><strong>Academic tool<\/strong> developers: free with registration of the exhibitors.<\/li>\n<li><strong>Industrial tool<\/strong> developers: included with <a href=\"http:\/\/formalmethods2019.inesctec.pt\/?page_id=695\">sponsorship<\/a> of <strong>FM&#8217;19<\/strong> World Congress and registration of the exhibitors (basic sponsoring starts at \u20ac500, higher levels of sponsoring include registrations of participants).<\/li>\n<\/ul>\n<h6>Submisson<\/h6>\n<p>In order to submit a proposal for a tool to be exhibited, please send a title, short description, and URL describing the tool(s) by <strong>June 30, 2019<\/strong>, to the <strong>Tool Exhibition Chairs<\/strong>:<\/p>\n<ul>\n<li><a href=\"https:\/\/www.linkedin.com\/in\/thierry-lecomte-19695b\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-ref=\"Thierry_Lecomte\">Thierry Lecomte<\/a> &#8211; Clearsy, thierry.lecomte@clearsy.com<\/li>\n<li><a href=\"https:\/\/members.loria.fr\/SMerz\/\" target=\"_blank\" rel=\"noopener noreferrer\" data-ref=\"Stephan_Merz\">Stephan Merz<\/a> &#8211; Inria, stephan.merz@inria.fr<\/li>\n<\/ul>\n<p>Informal enquiries are welcome.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u27a1\ufe0f REGISTRATION&nbsp; &#8211; please visit the Call for Participation page. \u2b05\ufe0f \u27a1\ufe0f Final Program \u2b05\ufe0f The Industry Day (i-Day) of FM&#8217;19 is scheduled for October 11, 2019. I-Day Chairs Joe &#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/353"}],"collection":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=353"}],"version-history":[{"count":35,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/353\/revisions"}],"predecessor-version":[{"id":3870,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/353\/revisions\/3870"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=353"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}