![\"\"](\"http:\/\/formalmethods2019.inesctec.pt\/wp-content\/uploads\/2018\/12\/FM19_Poster_FME.jpg\")
<\/p>\n<\/p>\n
\u27a1\ufe0f FM 2019 International Workshops <\/strong> (Volume I<\/a> + Volume II<\/a>) \u2b05\ufe0f<\/p>\n Conferences and Symposia FM 2019 – 23rd International Symposium on Formal Methods [ Final Program, including a Journal-first Track ] \u27a1\ufe0f On-line Proceedings LOPSTR 2019 – 29th International Symposium on …<\/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\/84"}],"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=84"}],"version-history":[{"count":180,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/84\/revisions"}],"predecessor-version":[{"id":3847,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/84\/revisions\/3847"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=84"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n
Tutorials<\/h4>\n
\n
\n\n
\n\n
\n\n
Computer scientists entering this field often lack\u00a0a background in biological sciences and may even lack training in the\u00a0mathematical and\u00a0computational techniques most often used in this field.\u00a0Through this one-day tutorial, we aim to give an introduction to computational\u00a0systems\u00a0biomedicine, starting with a crash course on molecular biology for\u00a0computer scientists, and continuing with an introduction to continuous and\u00a0discrete modeling techniques, including formal methods-based modeling\u00a0approaches. We also plan to overview several systems\u00a0biology\/biomedicine\u00a0projects (including applications to oncology and a formal methods-based\u00a0modeling of the heat-shock protein biological\u00a0pathway) that we have been\u00a0working on recently. We believe that this combination of concepts and\u00a0techniques would give our audience a valuable\u00a0insight into the beauty and the\u00a0challenges of systems biomedicine. We also hope to show how computer science\u00a0tools and techniques they are\u00a0already familiar with can be applied to the\u00a0biological setting.<\/li>\n\n\n
\n\n
\n\n
\nIn this tutorial, we will explore how ML helps FV in some classical approaches: static analysis, theorem-proving, and SAT solving (and Model-Checking, if time permits). We draw a landscape of the current practice and demonstrate with practical examples from state-of-the-art tools some of the most prominent uses of ML in FV, thus offering a new perspective on FV techniques that can help researchers and practitioners to better locate potential synergies. We will discuss lessons learned from a survey we have done during the past year, point to possible improvements and offer visions for the future of the domain in the light of the science of software and systems modelling.
\nThe tutorial will be interactive in the sense that we will hold discussions with the audience in order to both challenge the views we present throughout the tutorial and gather directions for future research on this topic.<\/li>\n\n\n