<div dir="ltr">Working Formal Methods Symposium (FROM 2020)<br>September 4-6, 2020, Cluj-Napoca, Romania<br><a href="http://www.cs.ubbcluj.ro/from2020/">http://www.cs.ubbcluj.ro/from2020/</a><br>-A Fully Virtual Conference-<br><br>##Submission deadline extended to 27 July, 2020 (AoE)##<br><br>##Important Dates<br>July 27, 2020 (AoE): deadline for paper submission<br>August 15, 2020: notification of acceptance<br>August 25, 2020: revised papers for Studia pre-proceedings<br>August 31, 2020: registration<br>September 4-6, 2020: virtual symposium days<br>September 14, 2020: revised papers for the Springer CCIS post-proceedings<br><br><br><br>##Overview<br><br>FROM aims to bring together researchers and practitioners who work<br>on formal methods by contributing new theoretical results, methods,<br>techniques, and frameworks, and/or make the formal methods to work<br>by creating or using software tools that apply theoretical contributions.<br>Formal methods emphasize the use of mathematical techniques and rigour<br>for developing software and hardware. They can be used to specify,<br>verify, and analyse systems at any stage in their life cycle:<br>requirements engineering, modeling, design, architecture,<br>implementation, testing, maintenance and evolution. This assumes on<br>one hand the development of adequate mathematical methods and<br>frameworks and on the other hand the development of tools that help<br>the user effectively apply these methods/frameworks.<br><br>FROM 2020 is organized by by the Faculty of Mathematics and Computer Science<br>at Babes-Bolyai University in Cluj-Napoca, the STAR-UBB Institute,<br>the Faculty of Computer Science of the Alexandru Ioan Cuza University of Iasi,<br>ICUB (The Research Institute of the University of Bucharest),<br>and the Faculty of Mathematics and Computer Science of the University of Bucharest.<br><br>Due to the current pandemic situation, FROM 2020 will happen as a fully virtual conference.<br><br>FROM 2020 is the fourth event in a yearly workshop series.<br>The first edition was held in 2017 in Bucharest (<a href="http://unibuc.ro/~conference/from2017">http://unibuc.ro/~conference/from2017</a>),<br>the second edition was held in 2018 in Iasi (<a href="http://fmse.info.uaic.ro/event/from-2018">http://fmse.info.uaic.ro/event/from-2018</a>),<br>and the third edition was held in 2019 in Timisoara (<a href="http://from2019.projects.uvt.ro/">http://from2019.projects.uvt.ro/</a>).<br>The second edition papers have been published in Fundamenta Informaticae, vol.l 173, no.l 2-3,<br>while the third edition papers are under review process in<br>Journal of Logical and Algebraic Methods in Programming.<br><br>The format of the symposium encourages interaction. The program<br>includes invited lectures and regular contributions such that<br>a wide range of people share their expertise, from experienced researchers<br>to beginning PhD students.<br><br>FROM welcomes submissions on technical contributions, case studies,<br>experience reports, challenge proposals, and position papers.<br><br>##Topics of Interest<br><br>Areas and formalisms of interest include:<br>+ Category theory in computer science<br>+ Distributed systems and concurrency<br>+ Formal languages and automata theory<br>+ Formal modelling, verification and testing<br>+ Logic in computer science<br>+ Logical frameworks<br>+ Mathematical structures in computer science<br>+ Models of computation<br>+ Semantics of programming languages<br>+ Type systems<br><br>Methods of interest include:<br>+ Automated reasoning and model generation<br>+ Automated induction<br>+ Certified programs<br>+ Data-flow and control-flow analysis<br>+ Deductive verification<br>+ Mechanized proofs<br>+ Model checking<br>+ Proof mining<br>+ Symbolic computation<br>+ Term rewriting<br><br>Applications of interest include:<br>+ Computational logic<br>+ Computer mathematics<br>+ Knowledge representation, ontology reasoning, deductive databases<br>+ Program analysis<br>+ Verification and synthesis of software and hardware<br>+ Uncertainty reasoning and soft computing<br><br>##Submissions<br><br>We expect two categories of contributions:<br><br>+Full Papers (maximum 15 pages, excluding references) present a<br>technical contribution, case study, or detailed experience report.<br>They must not have been published or be concurrently considered for<br>publication elsewhere. Full papers will be judged on the basis of originality,<br>contribution to the field, technical and presentation quality, and relevance to the conference.<br><br>+Short Papers (maximum 6 pages, excluding references) should advocate a<br>promising research direction, describe work in progress or provide system descriptions.<br>They need not be original. We encourage especially beginning researchers to present a planned<br>path to a PhD. Short papers will be evaluated based on their clarity and their potential to generate interesting<br>discussions.<br><br>Both types of contributions will benefit from feedback received at the<br>workshop. Submissions will be peer reviewed by at least three reviewers.<br>All submissions will be handled via the EasyChair Conference system at<br><a href="https://easychair.org/conferences/?conf=from20">https://easychair.org/conferences/?conf=from20</a><br>There is no need to indicate the paper category (long/short).<br><br>##Formatting and Publication<br><br>Papers should be written in English and should follow the formatting<br>requirements detailed at<br><a href="http://www.cs.ubbcluj.ro/~studia-i/journal/journal/about/submissions#authorGuidelines">http://www.cs.ubbcluj.ro/~studia-i/journal/journal/about/submissions#authorGuidelines</a>.<br><br>All accepted papers will be published online in Studia UBB Informatica (<a href="http://www.cs.ubbcluj.ro/~studia-i/journal/journal">http://www.cs.ubbcluj.ro/~studia-i/journal/journal</a>)<br>by default, though authors will be able to opt out of this publication, if desired. At least one author of an accepted paper<br>must attend the symposium to present the work and participate in the discussions.<br><br>The revised versions of the selected papers will be published in a post-proceedings after the conference. The post-proceedings will be published with Springer in their Communications in Computer and Information Science (CCIS) series (<a href="http://www.springer.com/series/7899">http://www.springer.com/series/7899</a>) . CCIS is abstracted/indexed in DBLP, Google Scholar, EI-Compendex, Mathematical Reviews, SCImago, Scopus. CCIS volumes are also submitted for the inclusion in ISI Proceedings.<br><br>Authors of the best original contributions will also be invited to submit extended versions to a special issue<br>of a prestigious international journal.<br><br><br><br>##Invited Speakers<br>Andrei Arusoaie (Alexandru Ioan Cuza University of Iasi, Romania)<br>Guangdong Bai (University of Queensland, Australia)<br>Marius Bozga (University of Grenoble, INSA, France)<br>Corina Carstea (University of Southampton, UK)<br>Wei Ngan Chin (National University of Singapore, Singapore)<br>Daniel David (Babes-Bolyai University, Romania)<br>Radu Grosu (Vienna University of Technology , Austria)<br>Zhenjiang Hu (Peking University, China)<br>Chao Huang (Northwestern University, US)<br>Tudor Jebelean (Johannes Kepler University Linz, Austria) <br>Yang Liu (Nanyang Technological University, Singapore)<br>Zhiming Liu (Southwest University, China)<br>Quang Loc Le (University College London, UK)<br>Ileana Ober (Université Paul Sabatier, Toulouse, France)<br>Jun Pang (University of Luxembourg, Luxembourg)<br>Grigore Rosu (University of Illinois at Urbana-Champaign, US)<br>Sebastian Rudolph (TU Dresden, Germany)<br>Traian Serbanuta (University of Bucharest, Romania)<br>Jun Sun (Singapore Management University, Singapore)<br>Meng Sun (Peking University, China)<br>Zhiwu Xu (Shenzhen University, China)<br>Hongseok Yang (Korea Advanced Institute of Science and Technology, Korea)<br>Naijun Zhan (Institute of Software, Chinese Academy of Sciences, China)<br><br><br>##Programme Committee<br>Zalan Bodo (Babes-Bolyai University, Romania)<br>Xin Chen (Nanjing University, China)<br>Christine Choppy (Université Paris Nord, France)<br>Stefan Ciobaca (Alexandru Ioan Cuza University of Iasi, Romania)<br>Florin Craciun (co-chair) (Babes-Bolyai University, Romania)<br>Septimiu Crivei (Babes-Bolyai University, Romania)<br>Mengda He (Teesside University, UK)<br>Zoltan Horvath (Eotvos Lorand University, Hungary)<br>Mehdi Jazayeri (University of Lugano, Switzerland)<br>Alexandra Jimborean (Uppsala University, Sweden)<br>Yanhong Huang (East China Normal University, China)<br>Temur Kutsia (Johannes Kepler University Linz, Austria)<br>Ton Chanh Le (Stevens Institute of Technology, US)<br>Laurentiu Leustean (University of Bucharest, Romania)<br>Yi Li (Nanyang Technological University)<br>David Lo (Singapore Management University, Singapore)<br>Dorel Lucanu (Alexandru Ioan Cuza University of Iasi, Romania)<br>Mircea Marin (West University of Timisoara, Romania)<br>Victor Mitrana (University of Bucharest, Romania)<br>Simona Motogna (co-chair) (Babes-Bolyai University, Romania)<br>Chunyan Mu (Teesside University, United Kingdom)<br>Iulian Ober (Universite Paul Sabatier, France)<br>Peter Csaba Olveczky (University of Oslo, Norway)<br>Ion Petre (University of Turku, Finland)<br>Shengchao Qin (co-chair) (Teesside University, UK) <br>Vlad Rusu (INRIA, France)<br>Christian Sacarea (Babes-Bolyai University, Romania)<br>Viorica Sofronie-Stokkermans (University Koblenz-Landau, Germany)<br>Anna Soos (Babes-Bolyai University, Romania)<br>Gheorghe Stefanescu (University of Bucharest, Romania)<br>Alin Stefanescu (University of Bucharest, Romania)<br>Sorin Stratulat (Universite de Lorraine, France)<br>Keming Wang (Southwest Jiaotong University, China)<br>Meng Wang (Bristol University, UK)<br>Hengjun Zhao (Southwest University, China)<br>Huibiao Zhu (East China Normal University, China) <br><br>##Local Organizing Committee<br>Arthur Molnar (Babes-Bolyai University, Romania) <br>Vladiela Petrascu (Babes-Bolyai University, Romania)<br><br>##General Chairs<br>Florin Craciun  (Babes-Bolyai University, Romania) <br>Simona Motogna (Babes-Bolyai University, Romania)<br></div>