23rd International Symposium on Formal Methods – 3rd World Congress on Formal Methods, Porto, Portugal

FM 2019 encourages submissions on formal methods in a wide range of domains including software, computer&#8211;based systems, systems&#8211;of&#8211;systems, cyber&#8211;physical systems, human&#8211;computer interaction, manufacturing, sustainability, energy, transport, smart cities, and healthcare&#046; We particularly welcome papers on techniques, tools and experiences in interdisciplinary settings&#046; We also welcome papers on experiences of formal methods in industry, and on the design and validation of formal methods tools&#046; The broad topics of interest for FM 2019 include, but are not limited to:<br>Interdisciplinary formal methods: Techniques, tools and experiences demonstrating the use of formal methods in interdisciplinary settings&#046;<br>Formal methods in practice: Industrial applications of formal methods, experience with formal methods in industry, tool usage reports, experiments with challenge problems&#046; The authors are encouraged to explain how formal methods overcame problems, led to improved designs, or provided new insights&#046;<br>Tools for formal methods: Advances in automated verification, model checking, and testing with formal methods, tools integration, environments for formal methods, and experimental validation of tools&#046; The authors are encouraged to demonstrate empirically that the new tool or environment advances the state of the art&#046;<br>Formal methods in software and systems engineering: Development processes with formal methods, usage guidelines for formal methods, and method integration&#046; The authors are encouraged to evaluate process innovations with respect to qualitative or quantitative improvements&#046; Empirical studies and evaluations are also solicited&#046;<br>Theoretical foundations of formal methods: All aspects of theory related to specification, verification, refinement, and static and dynamic analysis&#046; The authors are encouraged to explain how their results contribute to the solution of practical problems with formal methods or tools&#046;<br><div><br></div>